The following pages link to (Q4207881):
Displaying 13 items.
- Minimal belief and negation as failure (Q1342215) (← links)
- What is failure? An approach to constructive negation (Q1346220) (← links)
- A theory of truth that prefers falsehood (Q1366760) (← links)
- Fixpoint semantics for logic programming a survey (Q1605173) (← links)
- Yet some more complexity results for default logic (Q1606113) (← links)
- Default reasoning using classical logic (Q2171265) (← links)
- An incremental algorithm for generating all minimal models (Q2457647) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- Negation as failure. II (Q3740275) (← links)
- (Q3826525) (← links)
- Negation as failure in the head (Q4208854) (← links)
- (Q4448344) (← links)
- Twelve Definitions of a Stable Model (Q5504644) (← links)