Pages that link to "Item:Q1104777"

The following pages link to A logical framework for default reasoning (Q1104777):

Displaying 34 items.

• ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS (Q3427869) (← links)
• The use of modal default reasoning in information systems (Q3691091) (← links)
• (Q4028783) (← links)
• (Q4244306) (← links)
• (Q4292815) (← links)
• Nonmonotonic reasoning based on incomplete logic (Q4380299) (← links)
• (Q4421944) (← links)
• (Q4442941) (← links)
• Declarative Representation of Revision Strategies* (Q4443396) (← links)
• Reasoning credulously and skeptically within a single extension (Q4453904) (← links)
• Modelling phenomena and dynamic logic of phenomena (Q4583147) (← links)
• A comparative survey of default logic variants (Q4632286) (← links)
• Nonmonotonic reasoning with multiple belief sets (Q4632309) (← links)
• Skeptical query-answering in Constrained Default Logic (Q4632323) (← links)
• Reasoning on the Web with Assumption-Based Argumentation (Q4647817) (← links)
• An assumption-based truth maintenance system dealing with non-ground justifications (Q4880539) (← links)
• REWARD VERSUS RISK IN UNCERTAIN INFERENCE: THEOREMS AND SIMULATIONS (Q4899961) (← links)
• Additive Consolidation with Maximal Change (Q4917996) (← links)
• 1998–99 Annual Meeting of the Association for Symbolic Logic (Q4940738) (← links)
• (Q4955339) (← links)
• A sphere world semantics for default reasoning (Q5101449) (← links)
• Hypothetical updates, priority and inconsistency in a logic programming language (Q5101451) (← links)
• Reasoning with stratified default theories (Q5101456) (← links)
• Computing the acceptability semantics (Q5101465) (← links)
• A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence (Q5172603) (← links)
• Twenty-Five Years of Preferred Subtheories (Q5172613) (← links)
• A query answering algorithm for Lukaszewicz' general open default theory (Q5236435) (← links)
• A system for computing constrained default logic extensions (Q5236437) (← links)
• Extensions for open default theories via the domain closure assumption (Q5236446) (← links)
• A simple signed system for paraconsistent reasoning (Q5236448) (← links)
• Logics in Artificial Intelligence (Q5394119) (← links)
• Constraints for input/output logics (Q5935791) (← links)
• Defeasible reasoning with variable degrees of justification (Q5958397) (← links)
• Abduction as deductive saturation: a proof-theoretic inquiry (Q6145029) (← links)