Pages that link to "Item:Q1342221"

The following pages link to Alternative approaches to default logic (Q1342221):

Displaying 27 items.

• On prediction in Theorist (Q685340) (← links)
• On the complexity of extension checking in default logic (Q844157) (← links)
• Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
• Compiling specificity into approaches to nonmonotonic reasoning (Q1402752) (← links)
• Specifying causality in action theories: A default logic approach (Q1575839) (← links)
• Alternative foundations for Reiter's default logic (Q1589575) (← links)
• The qualification problem: A solution to the problem of anomalous models (Q1606323) (← links)
• Default reasoning by deductive planning (Q1896366) (← links)
• A new methodology for query answering in default logics via structure-oriented theorem proving (Q1896370) (← links)
• Connections between default reasoning and partial constraint satisfaction (Q1961815) (← links)
• A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
• Redundancy in logic. III: Non-monotonic reasoning (Q2389660) (← links)
• Consistency defaults (Q2454638) (← links)
• Seminormalizing a default theory (Q3647232) (← links)
• Towards a classification of defaults logics (Q4380300) (← links)
• Studying properties of classes of default logics (Q4421278) (← links)
• A note on the cumulativity of justified default logic (Q4421279) (← links)
• Conservative extension concepts for nonmonotonic knowledge bases (Q4509297) (← links)
• A comparative survey of default logic variants (Q4632286) (← links)
• Skeptical query-answering in Constrained Default Logic (Q4632323) (← links)
• XRay: A prolog technology theorem prover for default reasoning: A system description (Q4647525) (← links)
• (Q5018505) (← links)
• A system for computing constrained default logic extensions (Q5236437) (← links)
• Constraints for input/output logics (Q5935791) (← links)
• Artificial nonmonotonic neural networks (Q5958708) (← links)
• Knowledge representation: modalities, conditionals, and nonmonotonic reasoning (Q6602216) (← links)
• Nonmonotonic reasoning by monotonic inferences with priority constraints (Q6623795) (← links)