Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers 1998 ed. [Pehme köide]

Introduction Knowledge Representation with Logic Programs 1(51) G. Brewka J. Dix Disjunctive Semantics Datalog with Nested Rules 52(14) S. Greco N. Leone F. Scarcello Partial Evidential Stable Models for Disjunctive Deductive Databases 66(19) D. Seipel Disjunctive Logic Programming and Autoepistemic Logic 85(17) L.-Y. Yuan J.-H. You R. Goebel Abduction A System for Abductive Learning of Logic Programs 102(21) E. Lamma P. Mello M. Milano F. Riguzzi Refining Action Theories through Abductive Logic Programming 123(16) R. Li L. Moniz Pereira V. Dahl Abduction, Argumentation and Bi-Disjunctive Logic Programs 139(25) K. Wang H. Chen Priorities Reasoning with Prioritized Defaults 164(60) M. Gelfond T.C. Son Updates Generalizing Updates: From Models to Programs 224 J.A. Leite L. Moniz Pereira