Logic Programming and Knowledge Representation Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Moniz Pereira, Luis (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Przymusinski, Teodor C. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Έκδοση: 1st ed. 1998.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1471
• Θέματα: Architecture, Computer.; Artificial intelligence.; Mathematical logic.; Computer programming.; Computer System Implementation.; Artificial Intelligence.; Mathematical Logic and Formal Languages.; Programming Techniques.

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...

Πίνακας περιεχομένων:

• 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.