Cover Image
Read Now

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

Full description

Bibliographic Details
Other Authors: Moniz Pereira, Luis (Editor), Przymusinski, Teodor C. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1998, 1998
Edition:1st ed. 1998
Series:Lecture Notes in Artificial Intelligence
Subjects:
Computer Systems
Programming Techniques
Computer System Implementation
Computer Programming
Artificial Intelligence
Formal Languages And Automata Theory
Machine Theory
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 02318nmm a2200361 u 4500
001 EB000659231
003 EBX01000000000000000512313
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9783540498728 
100 1 |a Moniz Pereira, Luis  |e [editor] 
245 0 0 |a Logic Programming and Knowledge Representation  |h Elektronische Ressource  |b Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers  |c edited by Luis Moniz Pereira, Teodor C. Przymusinski 
250 |a 1st ed. 1998 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 1998, 1998 
300 |a XII, 252 p  |b online resource 
505 0 |a 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 
653 |a Computer systems 
653 |a Programming Techniques 
653 |a Computer System Implementation 
653 |a Computer programming 
653 |a Artificial Intelligence 
653 |a Formal Languages and Automata Theory 
653 |a Machine theory 
653 |a Artificial intelligence 
700 1 |a Przymusinski, Teodor C.  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Lecture Notes in Artificial Intelligence 
028 5 0 |a 10.1007/BFb0054787 
856 4 0 |u https://doi.org/10.1007/BFb0054787?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004.2 
520 |a 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 process; also included is a comprehensive introduction surveying the state of the art in the area. The volume is divided into topical sections on disjunctive semantics, abduction, priorities, and updates 

Similar Items