LPNMR 1990:
Austin, Texas, USA
V. Wiktor Marek, Anil Nerode, Dino Pedreschi, V. S. Subrahmanian (Organizers):
Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, Austin, TX, November 1-2, 1990
- Roland N. Bol, Jan Friso Groote:
The meaning of Negative Premises in Transition System Specifications.
2-9

- Piero A. Bonatti:
A More General Solution to the Multiple Expansion Problem.
10-18

- Stefania Costantini, Gaetano Aurelio Lanzarone:
Metalevel Negation in Non-Monotonic Reasoning.
19-26

- Fosca Giannotti, Dino Pedreschi:
Declarative Semantics for Pruning Operators in Logic Programming.
27-37

- James P. Delgrande:
A Semantically Justified Approach to Nonmonotonic Reasoning in Logic Programming: Extended Abstract.
38-48

- Antonis C. Kakas, Paolo Mancarella:
Abductive Logic Programming.
49-61

- Els Laenens, Brigitte Verdonk, Dirk Vermeir:
The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming.
62-72

- V. S. Lakshmanan:
Autoepistemic Logic Revisited: The Bias-Free Stable Semantics.
73-80

- L. Thorne McCarty:
The Case for Explicit Exceptions.
81-94

- Stephen G. Pimentel, William L. Rodi:
Integrating Assumption-Based and Nonmonotonic Reasoning.
95-102

- Teodor C. Przymusinski:
Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs.
103-106

- Chiaki Sakama:
Possible Model Semantics for Disjunctive Databases II (Extended Abstract).
107-114

- Hirohisa Seki:
A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint.
115-123

- Liz Sonenberg, Rodney W. Topor:
A Preferred Model Semantics for Inheritance Systems.
124-131

- Marek A. Suchenek, Rajshekhar Sunderraman:
On reasoning from Closed World Databases with Disjunctive Views.
132-149

- Miroslaw Truszczynski:
Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule.
150-169

- Allen Van Gelder:
A New Form of Circumscription for Logic Programs (Extended Abstract).
170-177

- Feng Yang, Allen L. Brown Jr., Howard A. Blair:
Programming in Default Logic.
178-186

Last update Thu May 23 02:40:46 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page