Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers /
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , , |
| Natura: | Atti del Convegno Libro |
| Lingua: | English |
| Pubblicazione: |
Berlin ; New York :
Springer,
c1995.
|
| Serie: | Lecture notes in computer science ;
927. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Soggetti: |
Sommario:
- 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.