• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 30 matches

• 1993
• 
  José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira:
  Scenario Semantics of Extended Logic Programs. LPNMR 1993: 334-348
• 
  Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian:
  Implementing Stable Semantics by Linear Programming. LPNMR 1993: 23-42
• 
  Piero A. Bonatti:
  Autoepistemic Logic Programming. LPNMR 1993: 151-167
• 
  Andrei Bondarenko, Francesca Toni, Robert A. Kowalski:
  An Assumption-Based Framework for Non-Monotonic Reasoning. LPNMR 1993: 171-189
• 
  Gerhard Brewka:
  An Abductive Framework for Generalized Logic Programs. LPNMR 1993: 349-364
• 
  Douglas R. Busch:
  A Sequent Axiomatization of Three-valued Logic with Two Negations. LPNMR 1993: 476-494
• 
  Jianhua Chen:
  Minimal Knowledge + Negation as Failure = Only Knowing (Sometimes). LPNMR 1993: 132-150
• 
  Stefania Costantini:
  Contributions to the Stable Model Semantics of Logic Programs with Negation. LPNMR 1993: 190-205
• 
  Marc Denecker, Danny De Schreye:
  Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs. LPNMR 1993: 365-379
• 
  Fangqing Dong, Laks V. S. Lakshmanan:
  Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract). LPNMR 1993: 437-456
• 
  Wlodzimierz Drabent:
  SLS-Resolution without Floundering. LPNMR 1993: 82-98
• 
  P. Geerts, Dirk Vermeir:
  A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information. LPNMR 1993: 380-396
• 
  Michael Gelfond, Halina Przymusinska:
  Reasoning on Open Domains. LPNMR 1993: 397-413
• 
  Georg Gottlob:
  Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract). LPNMR 1993: 265
• 
  Wolf Kohn, Anil Nerode:
  Autonomous Control of Hybrid Systems with Declarative Controllers. LPNMR 1993: 3-22
• 
  Vladimir Lifschitz, Grigori Schwarz:
  Extended Logic Programs as Autoepistemic Theories. LPNMR 1993: 101-114
• 
  V. Wiktor Marek, Miroslaw Truszczynski:
  Reflective Autoepistemic Logic and Logic Programming. LPNMR 1993: 115-131
• 
  L. Thorne McCarty, Ron van der Meyden:
  An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). LPNMR 1993: 417-436
• 
  Artur Mikitiuk, Miroslaw Truszczynski:
  Rational Default Logic and Disjunctive Logic Programming. LPNMR 1993: 283-299
• 
  Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi:
  Negation as Partial Failure. LPNMR 1993: 244-262
• 
  Martin Müller, Jürgen Dix:
  Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). LPNMR 1993: 43-59
• 
  David Pearce:
  Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. LPNMR 1993: 457-475
• 
  Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes:
  Diagnosis and Debugging as Contradiction Removal. LPNMR 1993: 316-330
• 
  Yehoshua Sagiv:
  Tools for Deductive Databases (Abstract). LPNMR 1993: 333
• 
  Chiaki Sakama, Katsumi Inoue:
  Relating Disjunctive Logic Programs to Default Theories. LPNMR 1993: 266-282
• 
  Frank Teusink:
  A Characterization of Stable Models using a Non-Monotonic Operator. LPNMR 1993: 206-222
• 
  Alberto Torres:
  Negation as Failure to Support. LPNMR 1993: 223-243
• 
  Radek Vingralek:
  Connectionist Approach to Finding Stable Models and Other Structures in Nonmonotonic Reasoning. LPNMR 1993: 60-81
• 
  Gerd Wagner:
  Reasoning with Inconsistency in Extended Deductive Databases. LPNMR 1993: 300-315
• 
  Luís Moniz Pereira, Anil Nerode:
  Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993. MIT Press 1993, ISBN 0-262-66083-0 [contents]