Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers /
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1997]
|
| Series: | Lecture notes in computer science ;
1216. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
Table of Contents:
- Prolegomena to logic programming for non-monotonic reasoning / J. Dix, L.M. Pereira, and T. Przymusinski
- On logics and semantics for general logic programs / A. Bochman
- A new logical characterization of stable models and answer sets / D. Pearce
- Aggregation and well-founded semantics / M. Osorio, B. Jayaraman
- Nonmonotonic reasoning by monotonic inferences + priority constraints / X. Wang, J.-H. You, L.-Y. Yuan
- Update-programs can update programs / J.J. Alferes, L.M. Pereira
- An abductive procedure for reasoning about actions in modal LP / M. Baldoni ... [et al.]
- Update rule programs versus revision programs / N. Bidoit, S. Maabout
- Transformation-based bottom-up computation of the well-founded model / S. Brass, S. Zukowski, H. Freitag
- Computation of non-ground disjunctive well-founded semantics with constraint logic programming / J. Dix, F. Stolzenburg.