Logic programming and knowledge representation : Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers
This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA, in October 1997. The eight revised full papers presented have undergone a two-round reviewing pro...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science. Lecture notes in artificial intelligence
1471 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic programming and knowledge representation, Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, selected papers, Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds), 1998, New York, Springer, 1 vol. (VIII-246 p.), Lecture notes in computer science, 3-540-64958-1 • Logic Programming and Knowledge Representation, Texte imprimé, 9783662189658 |
Taula de continguts:
- Knowledge representation with logic programs
- Datalog with nested rules
- Partial evidential stable models for disjunctive deductive databases
- Disjunctive logic programming and autoepistemic logic
- A system for abductive learning of logic programs
- Refining action theories through abductive logic programming
- Abduction, argumentation and bi-disjunctive logic programs
- Reasoning with prioritized defaults
- Generalizing updates: From models to programs.