Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLPNMR 1990: Austin, Texas, USA
- V. Wiktor Marek, Anil Nerode, Dino Pedreschi, V. S. Subrahmanian:
Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, Austin, TX, USA, November 1-2, 1990. 1990 - Roland N. Bol, Jan Friso Groote:
The meaning of Negative Premises in Transition System Specifications. LPNMR 1990: 2-9 - Piero A. Bonatti:
A More General Solution to the Multiple Expansion Problem. LPNMR 1990: 10-18 - Stefania Costantini, Gaetano Aurelio Lanzarone:
Metalevel Negation in Non-Monotonic Reasoning. LPNMR 1990: 19-26 - Fosca Giannotti, Dino Pedreschi:
Declarative Semantics for Pruning Operators in Logic Programming. LPNMR 1990: 27-37 - James P. Delgrande:
A Semantically Justified Approach to Nonmonotonic Reasoning in Logic Programming: Extended Abstract. LPNMR 1990: 38-48 - Antonis C. Kakas, Paolo Mancarella:
Abductive Logic Programming. LPNMR 1990: 49-61 - Els Laenens, Brigitte Verdonk, Dirk Vermeir:
The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming. LPNMR 1990: 62-72 - V. S. Lakshmanan:
Autoepistemic Logic Revisited: The Bias-Free Stable Semantics. LPNMR 1990: 73-80 - L. Thorne McCarty:
The Case for Explicit Exceptions. LPNMR 1990: 81-94 - Stephen G. Pimentel, William L. Rodi:
Integrating Assumption-Based and Nonmonotonic Reasoning. LPNMR 1990: 95-102 - Teodor C. Przymusinski:
Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs. LPNMR 1990: 103-106 - Chiaki Sakama:
Possible Model Semantics for Disjunctive Databases II (Extended Abstract). LPNMR 1990: 107-114 - Hirohisa Seki:
A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint. LPNMR 1990: 115-123 - Liz Sonenberg, Rodney W. Topor:
A Preferred Model Semantics for Inheritance Systems. LPNMR 1990: 124-131 - Marek A. Suchenek, Rajshekhar Sunderraman:
On reasoning from Closed World Databases with Disjunctive Views. LPNMR 1990: 132-149 - Miroslaw Truszczynski:
Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule. LPNMR 1990: 150-169 - Allen Van Gelder:
A New Form of Circumscription for Logic Programs (Extended Abstract). LPNMR 1990: 170-177 - Feng Yang, Allen L. Brown Jr., Howard A. Blair:
Programming in Default Logic. LPNMR 1990: 178-186
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-23 18:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
