Pages that link to "Item:Q1123011"
From MaRDI portal
The following pages link to Minimalism, justification and non-monotonicity in deductive databases (Q1123011):
Displaying 9 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)
- Saturation, nonmonotonic reasoning and the closed-world assumption (Q1060864) (← links)
- General logical databases and programs: Default logic semantics and stratification (Q1173955) (← links)
- First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment (Q1311412) (← links)
- Negation and minimality in disjunctive databases (Q3125092) (← links)
- On the relationship between CWA, minimal model, and minimal herbrand model semantics (Q3201764) (← links)
- CWA Extensions to Multi-Valued Logics (Q3647206) (← links)