Pages that link to "Item:Q1356221"
From MaRDI portal
The following pages link to A theory of nonmonotonic rule systems I (Q1356221):
Displaying 22 items.
- Annotated nonmonotonic rule systems (Q673384) (← links)
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- Default logic generalized and simplified (Q1028638) (← links)
- How complicated is the set of stable models of a recursive logic program? (Q1192346) (← links)
- Logic programs, well-orderings, and forward chaining (Q1295428) (← links)
- A context for belief revision: forward chaining-normal nonmonotonic rule systems (Q1326782) (← links)
- A theory of nonmonotonic rule systems. II (Q1354038) (← links)
- An abstract, argumentation-theoretic approach to default reasoning (Q1402718) (← links)
- Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics (Q1776197) (← links)
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games (Q1855240) (← links)
- The complexity of predicate default logic over a countable domain (Q1861328) (← links)
- Reasoning with power defaults (Q1882904) (← links)
- The expressiveness of locally stratified programs (Q1924734) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
- Disjunctive Programs with Set Constraints (Q2900542) (← links)
- 1998–1999 Winter Meeting of the Association for Symbolic Logic (Q4262607) (← links)
- Studying properties of classes of default logics (Q4421278) (← links)
- 2000 Annual Meeting of the Association for Symbolic Logic (Q4527937) (← links)
- Solving stable matching problems using answer set programming (Q4593026) (← links)
- Default consequence relations as a logical framework for logic programs (Q5101454) (← links)
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (Q5504658) (← links)
- 2000-2001 Winter Meeting of the Association for Symbolic Logic (Q5890457) (← links)
