LPNMR B

19 papers

YearTitle / Authors
1990A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint.
Hirohisa Seki
1990A More General Solution to the Multiple Expansion Problem.
Piero A. Bonatti
1990A New Form of Circumscription for Logic Programs (Extended Abstract).
Allen Van Gelder
1990A Preferred Model Semantics for Inheritance Systems.
Liz Sonenberg, Rodney W. Topor
1990A Semantically Justified Approach to Nonmonotonic Reasoning in Logic Programming: Extended Abstract.
James P. Delgrande
1990Abductive Logic Programming.
Antonis C. Kakas, Paolo Mancarella
1990Autoepistemic Logic Revisited: The Bias-Free Stable Semantics.
V. S. Lakshmanan
1990Declarative Semantics for Pruning Operators in Logic Programming.
Fosca Giannotti, Dino Pedreschi
1990Integrating Assumption-Based and Nonmonotonic Reasoning.
Stephen G. Pimentel, William L. Rodi
1990Metalevel Negation in Non-Monotonic Reasoning.
Stefania Costantini, Gaetano Aurelio Lanzarone
1990Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule.
Miroslaw Truszczynski
1990On reasoning from Closed World Databases with Disjunctive Views.
Marek A. Suchenek, Rajshekhar Sunderraman
1990Possible Model Semantics for Disjunctive Databases II (Extended Abstract).
Chiaki Sakama
1990Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, Austin, TX, USA, November 1-2, 1990
V. Wiktor Marek, Anil Nerode, Dino Pedreschi, V. S. Subrahmanian
1990Programming in Default Logic.
Feng Yang, Allen L. Brown Jr., Howard A. Blair
1990The Case for Explicit Exceptions.
L. Thorne McCarty
1990The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming.
Els Laenens, Brigitte Verdonk, Dirk Vermeir
1990The meaning of Negative Premises in Transition System Specifications.
Roland N. Bol, Jan Friso Groote
1990Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs.
Teodor C. Przymusinski