A rational reconstruction of nonmonotonic truth maintenance systems
From MaRDI portal
Publication:2638808
Cites work
- scientific article; zbMATH DE number 4174350 (Why is no real title available?)
- scientific article; zbMATH DE number 3821130 (Why is no real title available?)
- scientific article; zbMATH DE number 4104921 (Why is no real title available?)
- scientific article; zbMATH DE number 43398 (Why is no real title available?)
- scientific article; zbMATH DE number 4185060 (Why is no real title available?)
- A logic for default reasoning
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- On the Complexity of Timetable and Multicommodity Flow Problems
- On the relation between default and autoepistemic logic
- Semantical considerations on nonmonotonic logic
Cited in
(32)- Compromised updates in labelled databases
- The alternating fixpoint of logic programs with negation
- Propositional truth maintenance systems: Classification and complexity analysis
- An incremental algorithm for generating all minimal models
- LARS: a logic-based framework for analytic reasoning over streams
- Stable models and difference logic
- Extending and implementing the stable model semantics
- Propositional semantics for disjunctive logic programs
- A decision method for nonmonotonic reasoning based on autoepistemic reasoning
- Consistency-based and abductive diagnoses as generalised stable models
- scientific article; zbMATH DE number 4106294 (Why is no real title available?)
- scientific article; zbMATH DE number 67479 (Why is no real title available?)
- Ticker: a system for incremental ASP-based stream reasoning
- scientific article; zbMATH DE number 67477 (Why is no real title available?)
- scientific article; zbMATH DE number 176519 (Why is no real title available?)
- scientific article; zbMATH DE number 1532780 (Why is no real title available?)
- Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
- A general framework for reason maintenance
- Translating multi-agent autoepistemic logic into logic program
- Logic programming and knowledge representation---The A-Prolog perspective
- Truth maintenance systems and their application for verifying expert system knowledge bases
- Truth maintenance systems. ECAI '90 Workshop, Stockholm, Sweden, August 6, 1990. Proceedings
- Revision in ACMS
- Default reasoning using classical logic
- scientific article; zbMATH DE number 140412 (Why is no real title available?)
- scientific article; zbMATH DE number 4185060 (Why is no real title available?)
- Modeling the suppression task under weak completion and well-founded semantics
- scientific article; zbMATH DE number 17802 (Why is no real title available?)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- Thirteen Definitions of a Stable Model
- Contributions to the stable model semantics of logic programs with negation
- On the impact of stratification on the complexity of nonmonotonic reasoning
This page was built for publication: A rational reconstruction of nonmonotonic truth maintenance systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2638808)
