Circumscriptive theories: A logic-based framework for knowledge representation

No abstract is available for this paper.

• Publication year

  1988

• Venue

  Journal of Philosophical Logic

• Publication date

  1988-11-01

• Fields of study

  Mathematics, Philosophy, Computer Science

• Identifiers
  DOI 10.1007/BF00297512
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Towards a Theory of Declarative Knowledge

  1988influential reference
• Negation as Failure using Tight Derivations for General Logic Programs

  1988cited by this paper
• Applications of Circumscription to Formalizing Common Sense Knowledge

  1987cited by this paper
• On the Declarative Semantics of Logic Programs with Negation

  1987influential reference
• Circumscribing with Sets

  1987influential reference
• Pointwise Circumscription: Preliminary Report

  1986cited by this paper
• Design Overview of the NAIL! System

  1986influential reference
• Computing Circumscription

  1985cited by this paper
• The Mathematics of Inheritance Systems

  1984cited by this paper
• Circumscription - A Form of Non-Monotonic Reasoning

  1980cited by this paper
• Programs with common sense

  1960cited by this paper
• Completeness in the theory of types

  1950influential reference

• Acquiring New Definitions of Entities

  2020cites this paper
• Artificial Intelligence for Customer Relationship Management: Keeping Customers Informed

  2020cites this paper
• Knowledge Representation for Philosophers

  2018cites this paper
• Guest Editors’ Introduction

  2015cites this paper
• Guest Editors’ Introduction

  2015cites this paper
• Causativization and event structure

  2014cites this paper
• Empowering Non-conservative Parallelizing Refactoring by Non-monotonic Reasoning

  2012cites this paper
• ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web

  2011cites this paper
• Origins of Answer-Set Programming - Some Background And Two Personal Accounts

  2011cites this paper
• Formal Semantics for Causal Constructions

  2010cites this paper
• On the number of minimal transversals in 3-uniform hypergraphs

  2008cites this paper
• The formalization of causal constructions as a logicist project

  2007cites this paper
• Deenitional Constraints

  2007cites this paper
• E cient Credulous Inheritance Reasoning

  2007cites this paper
• Nonmonotonic Logics and Their Algebraic Foundations

  2006cites this paper
• Representing Defaults and Negative Information Without Negation-as-Failure

  2006cites this paper
• Computing minimal models, stable models and answer sets

  2006cites this paper
• Negation-as-failure considered harmful

  2006cites this paper
• A base logic for default reasoning

  2006cites this paper
• Formalizing the Semantics of Derived Words

  2005cites this paper
• Inductive Policy: The Pragmatics of Bias Selection

  2004cites this paper
• Non-Monotonic Formalisms for Natural Language Semantics

  2004cites this paper
• Logic-Based Subsumption Architecture : Empirical Evaluation ( Status Report )

  2000cites this paper
• Pointwise Circumscription Revisited

  1998cites this paper
• Logic and Artificial Intelligence: Divorced, Still Married, Separated ...?

  1998cites this paper
• Dynamic Reasoning with Qualified Syllogisms

  1997cites this paper
• Reasoning about Dynamic Preferences in Circumscriptive Theory by Logic Programming

  1997cites this paper
• A FOUR-VALUED APPROACH FOR HANDLING INCONSISTENCY IN PRIORITIZED KNOWLEDGE-BASES

  1997cites this paper
• Nonmonotonic Reasoning as Sat Search

  1997cites this paper
• Point-sensitive Circumscription

  1997cites this paper
• Representation theory for default logic

  1997cites this paper
• Argument-Based Extended Logic Programming with Defeasible Priorities

  1997cites this paper
• Definitional Constraints

  1996cites this paper
• Revisable knowledge discovery in databases

  1996cites this paper
• Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief

  1996cites this paper
• Prioritizing Multiple, Contradictory Sources in Common-Sense Learning by Being Told; or, Advice-Take

  1995cites this paper
• Defeasible and Pointwise Prioritization: Preliminary Report

  1995cites this paper
• Changing Preferences

  1995influential citation
• Transforming Prioritized Defaults and Specificity into Parallel Defaults

  1995cites this paper
• Reasoning about Beliefs: An Inference Network Approach

  1994cites this paper
• Indefeasible Semantics and Defeasible Pragmatics

  1994cites this paper
• Representing and Reasoning with Defaults For Learning Agents

  1993cites this paper
• Logical Theory of Concurrent Actions: Extended and Enlarged Abstract

  1993cites this paper
• Inconsistency Management and Prioritized Syntax-Based Entailment

  1993cites this paper
• RES: A formalism for reasoning with relative-strength defaults

  1993cites this paper
• Reformulating Non-Monotonic Theories for Inference and Updating

  1992cites this paper
• Conditional Entailment: Bridging two Approaches to Default Reasoning

  1992cites this paper
• Management of Preferences in Assumption-Based Reasoning

  1992cites this paper
• Representing and Reasoning with DefaultsFor Learning

  1992cites this paper
• Autoepistemic logic

  1991cites this paper
• System-Z+: A Formalism for Reasoning with Variable-Strength Defaults

  1991cites this paper
• The Semantics of Incomplete Databases as an Expression of Preferences

  1991cites this paper
• Some Lectures on Modal Logic

  1991cites this paper
• Backward chaining evaluation in stratified disjunctive theories

  1990cites this paper
• Artificial Intelligence, Logic and Formalizing Common Sense

  1989cites this paper
• Logics for Inheritance Theory

  1989cites this paper
• On Universal Theories of Defaults

  1988cites this paper
• Nonmonotonic Reasoning

  1988cites this paper
• Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00

  1988cites this paper