Logic programming and knowledge representation : third international workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers /
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1998]
|
| Series: | Lecture notes in computer science ;
1471. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
Table of Contents:
- Introduction : knowledge representation with logic programs / G. Brewka and J. Dix
- Disjunctive semantics : DATALOG with nested rules / S. Greco, N. Leone, and F. Scarcello
- Partial evidential stable models for disjunctive deductive databases / D. Siepel
- Disjunctive logic programming and autoepsitemic logic / L.-Y. Yuan, J.-H. You, and R. Goebel
- A system for abductive learning of logic programs / E. Lamma [and others]
- Refining action theories through abductive logic programming / R. Li, Moniz Pereira, and V. Dahl
- Abduction, argumentation and bi-disjunctive logic programs / K. Wang and H. Chen
- Reasoning with prioritized defaults / M. Gelfond and T.C. Son
- Generalizing updates : from models to programs / J.A. Leite and L. Moniz Pereira.