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 BibTeX
- Piero A. Bonatti:
A More General Solution to the Multiple Expansion Problem.
10-18 BibTeX
- Stefania Costantini, Gaetano Aurelio Lanzarone:
Metalevel Negation in Non-Monotonic Reasoning.
19-26 BibTeX
- Fosca Giannotti, Dino Pedreschi:
Declarative Semantics for Pruning Operators in Logic Programming.
27-37 BibTeX
- James P. Delgrande:
A Semantically Justified Approach to Nonmonotonic Reasoning in Logic Programming: Extended Abstract.
38-48 BibTeX
- Antonis C. Kakas, Paolo Mancarella:
Abductive Logic Programming.
49-61 BibTeX
- Els Laenens, Brigitte Verdonk, Dirk Vermeir:
The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming.
62-72 BibTeX
- V. S. Lakshmanan:
Autoepistemic Logic Revisited: The Bias-Free Stable Semantics.
73-80 BibTeX
- L. Thorne McCarty:
The Case for Explicit Exceptions.
81-94 BibTeX
- Stephen G. Pimentel, William L. Rodi:
Integrating Assumption-Based and Nonmonotonic Reasoning.
95-102 BibTeX
- Teodor C. Przymusinski:
Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs.
103-106 BibTeX
- Chiaki Sakama:
Possible Model Semantics for Disjunctive Databases II (Extended Abstract).
107-114 BibTeX
- Hirohisa Seki:
A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint.
115-123 BibTeX
- Liz Sonenberg, Rodney W. Topor:
A Preferred Model Semantics for Inheritance Systems.
124-131 BibTeX
- Marek A. Suchenek, Rajshekhar Sunderraman:
On reasoning from Closed World Databases with Disjunctive Views.
132-149 BibTeX
- Miroslaw Truszczynski:
Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule.
150-169 BibTeX
- Allen Van Gelder:
A New Form of Circumscription for Logic Programs (Extended Abstract).
170-177 BibTeX
- Feng Yang, Allen L. Brown Jr., Howard A. Blair:
Programming in Default Logic.
178-186 BibTeX
Copyright © Tue May 27 18:04:09 2008
by Michael Ley (ley@uni-trier.de)
