Pages that link to "Item:Q2638808"
From MaRDI portal
The following pages link to A rational reconstruction of nonmonotonic truth maintenance systems (Q2638808):
Displaying 23 items.
- Contributions to the stable model semantics of logic programs with negation (Q672705) (← links)
- The alternating fixpoint of logic programs with negation (Q686646) (← links)
- Stable models and difference logic (Q1028651) (← links)
- A general framework for reason maintenance (Q1187218) (← links)
- Truth maintenance systems and their application for verifying expert system knowledge bases (Q1193853) (← links)
- Truth maintenance systems. ECAI '90 Workshop, Stockholm, Sweden, August 6, 1990. Proceedings (Q1202063) (← links)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Extending and implementing the stable model semantics (Q1603743) (← links)
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- A decision method for nonmonotonic reasoning based on autoepistemic reasoning (Q1891263) (← links)
- Propositional truth maintenance systems: Classification and complexity analysis (Q1924776) (← links)
- Consistency-based and abductive diagnoses as generalised stable models (Q1924796) (← links)
- Propositional semantics for disjunctive logic programs (Q1924819) (← links)
- Default reasoning using classical logic (Q2171265) (← links)
- An incremental algorithm for generating all minimal models (Q2457647) (← links)
- Translating multi-agent autoepistemic logic into logic program (Q2844920) (← links)
- Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches (Q3128369) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- On the impact of stratification on the complexity of nonmonotonic reasoning (Q4317728) (← links)
- Modeling the suppression task under weak completion and well-founded semantics (Q4583344) (← links)
- Ticker: A system for incremental ASP-based stream reasoning (Q4592708) (← links)
- Compromised updates in labelled databases (Q6560373) (← links)