Pages that link to "Item:Q1356221"

The following pages link to A theory of nonmonotonic rule systems I (Q1356221):

Displaying 37 items.

• Annotated nonmonotonic rule systems (Q673384) (← links)
• Resource-origins of nonmonotonicity (Q934827) (← links)
• My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
• Default logic generalized and simplified (Q1028638) (← links)
• Semantical considerations on nonmonotonic logic (Q1060866) (← links)
• How complicated is the set of stable models of a recursive logic program? (Q1192346) (← links)
• Nonmonotonic reasoning with multiple belief sets (Q1286411) (← 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)
• Nonmonotonic rule systems with recursive sets of restraints (Q1389245) (← links)
• An abstract, argumentation-theoretic approach to default reasoning (Q1402718) (← links)
• What is a (non-constructive) non-monotone logical system? (Q1575268) (← links)
• Nonmonotonicity in (the metamathematics of) arithmetic (Q1583789) (← links)
• Statics and dynamics of induced systems (Q1606298) (← 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)
• Nonmonotonic theories and their axiomatic varieties (Q1910893) (← links)
• The expressiveness of locally stratified programs (Q1924734) (← links)
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000 (Q2732529) (← links)
• RAA-coherent logics which are not RAA-extended are non-monotonic (Q2733984) (← links)
• The role of negation in nonmonotonic logic and defeasible reasoning (Q2751057) (← links)
• Some properties and theorems of belief logic (Q2769356) (← links)
• Disjunctive Programs with Set Constraints (Q2900542) (← links)
• Implementation einer musterorientierten Expertensystem-Shell und Kalküle für eine intuitionistische Modallogik als Basis des nicht- monotonen Schließens. (Implementation of a pattern-oriented expert system shell and calculi for an intuitionistic modal (Q3995696) (← links)
• 1998–1999 Winter Meeting of the Association for Symbolic Logic (Q4262607) (← links)
• Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations (Q4365321) (← 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)
• Bridges between Classical and Nonmonotonic Logic (Q4795876) (← 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. Sheraton New Orleans Hotel, New Orleans, Louisiana, January 12-13, 2001 (Q5890457) (← links)
• An implementation of nonmonotonic reasoning with system W (Q6045090) (← links)