Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
c1995.
|
| Series: | Lecture notes in computer science ;
927. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
| LEADER | 02570nam a2200373 a 4500 | ||
|---|---|---|---|
| 001 | c000162664 | ||
| 003 | CARM | ||
| 005 | 19970324000000.0 | ||
| 008 | 950515s1995 gw a b 100 0 eng | ||
| 010 | |a 95020072 //r973 | ||
| 019 | 1 | |a 11795223 |5 LACONCORD2021 | |
| 020 | |a 0387594671 |b (New York : alk paper) | ||
| 020 | |a 3540594671 |b (Berlin : alk. paper) | ||
| 035 | |a (OCoLC)32625357 |5 LACONCORD2021 | ||
| 040 | |a TOC |b eng |c TOC | ||
| 050 | 0 | 0 | |a QA76.63 |b .N68 1995 |
| 082 | 0 | 0 | |a 005.13/1 |2 20 |
| 111 | 2 | |a International Conference on Logic Programming |n (11th :, |d 1994 : |c Santa Margherita Ligure, Italy) | |
| 245 | 1 | 0 | |a Non-monotonic extensions of logic programming : |b ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers / |c Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds. |
| 260 | |a Berlin ; |a New York : |b Springer, |c c1995. | ||
| 300 | |a vi, 229 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 927. |a Lecture notes in artificial intelligence. | |
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a An Argumentation Theoretic Semantics Based on Non-Refutable Falsity / J. J. Alferes and L. M. Pereira -- From Disjunctive Programs to Abduction / V. Lifschitz and H. Turner -- Semantics of Normal and Disjunctive Logic Programs: A Unifying Framework / T. C. Przymusinski -- Every Normal Program has a Nearly-Stable Model / C. Witteveen -- Logic Programming with Assumption Denial / J.-H. You and L. Y. Yuan -- A Resolution-based Procedure for Default Theories with Extensions / M. D. Barback and J. Lobo -- A General Approach to Bottom-Up Computation of Disjunctive Semantics / S. Brass and J. Dix -- Static Semantics as Program Transformation and Well-founded Computation / S. Costantini and G. A. Lanzarone -- Magic Computation for Well-founded Semantics / L. Degerstedt and U. Nilsson -- Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs / C. Ruiz and J. Minker. | |
| 650 | 0 | |a Logic programming. | |
| 650 | 0 | |a Nonmonotonic reasoning. | |
| 700 | 1 | |a Pereira, Luĩs Moniz. | |
| 700 | 1 | |a Dix, J. |q (Jürgen), |d 1961- | |
| 700 | 1 | |a Przymusinski, Teodor C., |d 1947- | |
| 830 | 0 | |a Lecture notes in computer science ; |v 927. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 852 | 8 | |b CARM |h A2:AM07F0 |i C05499 |p 0214742 |f BK | |
| 999 | f | f | |i 80edd588-67e6-511d-ba0b-4d56e4dd9edb |s b3022e35-901c-5ab1-8ef9-db2d25baa5f0 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C05499 |f A2:AM07F0 |h Other scheme |i book |m 0214742 |