Pages that link to "Item:Q4327631"
From MaRDI portal
The following pages link to Mixed integer programming methods for computing nonmonotonic deductive databases (Q4327631):
Displaying 14 items.
- Computing minimal models by partial instantiation (Q672131) (← links)
- Logic programming in tensor spaces (Q825007) (← 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)
- A sequent calculus for skeptical Default Logic (Q4610318) (← links)
- Incremental methods for optimizing partial instantiation (Q5101457) (← links)
- Parallel instantiation of ASP programs: techniques and experiments (Q5299587) (← links)
- Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories (Q5504667) (← links)
- Prolegomena to logic programming for non-monotonic reasoning (Q6623791) (← links)