Nonmonotonic Logic II
From MaRDI portal
Cited in
(71)- Default logic generalized and simplified
- A non-preferential semantics of non-monotonic modal logic
- A computational approach to fuzzy quantifiers in natural languages
- Some representational issues in default reasoning
- Semantical considerations on nonmonotonic logic
- A logic to reason about likelihood
- Nonmonotonic logic and temporal projection
- Efficient reasoning about rich temporal domains
- On the relationship between circumscription and negation as failure
- Programming in temporal-nonmonotonic reasoning
- The theory of nomic probability
- Nonmonotonicity and the scope of reasoning
- An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- On the relation between default and modal nonmonotonic reasoning
- Logic programs, well-orderings, and forward chaining
- Dualities between alternative semantics for logic programming and nonmonotonic reasoning
- A context for belief revision: forward chaining-normal nonmonotonic rule systems
- Minimal knowledge problem: A new approach
- Possible world semantics and autoepistemic reasoning
- Interpretations of open default theories in non-monotonic logics
- Counterfactual reasoning by (means of) defaults
- Modelling default and likelihood reasoning as probabilistic reasoning.
- Modal logic for default reasoning
- An abstract, argumentation-theoretic approach to default reasoning
- Dynamic reasoning with qualified syllogisms
- Definability and commonsense reasoning
- Default reasoning from conditional knowledge bases: Complexity and tractable cases
- Logic programming and knowledge representation---The A-Prolog perspective
- On the computational complexity of assumption-based argumentation for default reasoning.
- Uniform semantic treatment of default and autoepistemic logics
- In search of a ``true logic of knowledge: The nonmonotonic perspective
- Complexity of computing with extended propositional logic programs
- Modal nonmonotonic logics demodalized
- Brave induction: a logical framework for learning from incomplete information
- Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
- Revisiting \(\mathbb Z\)
- Any-world assumptions in logic programming
- Defaults with priorities
- Multi-modal nonmonotonic logics of minimal knowledge
- In search of a ``true logic of knowledge: the nonmonotonic perspective
- Autoepistemic logic revisited
- On embedding default logic into Moore's autoepistemic logic
- Information tradeoffs in model building: A network routing application
- A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
- Brave Induction
- Thirteen Definitions of a Stable Model
- A survey of non-monotonic reasoning
- Nonmonotonic consequence based on intuitionistic logic
- Modal logic based theory for non-monotonic reasoning
- Nonmonotonic reasoning based on incomplete logic
- Embedding Logics in the Local Computation Framework
- Algebraic semantics for modal and superintuitionistic non-monotonic logics
- On the semantics of the unknown
- Uniform and non uniform strategies for tableaux calculi for modal logics
- A uniform tableaux method for nonmonotonic modal logics
- Semantics and complexity of recursive aggregates in answer set programming
- Twelve Definitions of a Stable Model
- Using approximate reasoning to represent default knowledge
- Skepticism and floating conclusions
- On-line algorithms for satisfiability problems with uncertainty
- Strong backdoors for default logic
- Strong backdoors for default logic
- On-line algorithms for satisfiability problems with uncertainty
- Annotated nonmonotonic rule systems
- A logic of intentions and beliefs
- Probabilities and reasoning about possibilities
- Plausible inferences and plausible reasoning
- Grounded fixpoints and their applications in knowledge representation
- Semantic-based construction of arguments: an answer set programming approach
- On the associations between variables in expert systems including default relations
This page was built for publication: Nonmonotonic Logic II
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3933791)
