The following pages link to (Q3486550):
Displaying 13 items.
- John McCarthy's legacy (Q543573) (← links)
- On the autoepistemic reconstruction of logic programming (Q685123) (← links)
- The alternating fixpoint of logic programs with negation (Q686646) (← links)
- Impediments to universal preference-based default theories (Q1182162) (← links)
- Three-valued nonmonotonic formalisms and semantics of logic programs (Q1182168) (← links)
- Autoepistemic circumscription and logic programming (Q1311407) (← links)
- Autoepistemic logic of first order and its expressive power (Q1344888) (← links)
- Dynamic reasoning with qualified syllogisms (Q1402719) (← links)
- The complexity of predicate default logic over a countable domain (Q1861328) (← links)
- Fuzzy autoepistemic logic and its relation to fuzzy answer set programming (Q2351607) (← links)
- Lifschitz and Circumscription (Q2900534) (← links)
- Embedding circumscriptive theories in general disjunctive programs (Q5101461) (← links)
- Logic programming (Q6602251) (← links)
