Pages that link to "Item:Q1123011"
From MaRDI portal
The following pages link to Minimalism, justification and non-monotonicity in deductive databases (Q1123011):
Displayed 4 items.
- Program equilibrium -- a program reasoning approach (Q361805) (← links)
- Negation in rule-based database languages: A survey (Q753476) (← links)
- Negation by default and unstratifiable logic programs (Q753501) (← links)
- General logical databases and programs: Default logic semantics and stratification (Q1173955) (← links)