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
