Pages that link to "Item:Q1117211"

The following pages link to Results on translating defaults to circumscription (Q1117211):

Displaying 10 items.

• Evaluating the effect of semi-normality on the expressiveness of defaults (Q814438) (← links)
• On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics (Q825004) (← links)
• On the relation between default and autoepistemic logic (Q1104771) (← links)
• On the relationship between circumscription and negation as failure (Q1115207) (← links)
• General logical databases and programs: Default logic semantics and stratification (Q1173955) (← links)
• The relationship between stable, supported, default and autoepistemic semantics for general logic programs (Q1199545) (← links)
• Reducing belief revision to circumscription (and vice versa) (Q1402725) (← links)
• Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics (Q2814376) (← links)
• Seminormalizing a default theory (Q3647232) (← links)
• Some (in)translatability results for normal logic programs and propositional theories (Q3647255) (← links)