Pages that link to "Item:Q4327631"
From MaRDI portal
The following pages link to Mixed integer programming methods for computing nonmonotonic deductive databases (Q4327631):
Displayed 9 items.
- Computing minimal models by partial instantiation (Q672131) (← links)
- Reasoning with minimal models: efficient algorithms and applications (Q1127346) (← links)
- Computing definite logic programs by partial instantiation (Q1326778) (← links)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- Default reasoning from conditional knowledge bases: Complexity and tractable cases (Q1589638) (← links)
- Extending and implementing the stable model semantics (Q1603743) (← links)
- Many-valued logic and mixed integer programming (Q1924752) (← links)
- An incremental algorithm for generating all minimal models (Q2457647) (← links)
- Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories (Q5504667) (← links)