The following pages link to Maarten Mariën (Q3498481):
Displaying 8 items.
- Integrating Inductive Definitions in SAT (Q3498482) (← links)
- SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions (Q3502709) (← links)
- Grounding FO and FO(ID) with Bounds (Q3563101) (← links)
- Satisfiability Checking for PC(ID) (Q5387866) (← links)
- Logics in Artificial Intelligence (Q5394118) (← links)
- (Q5422271) (← links)
- (Q5422272) (← links)
- Predicate Introduction Under Stable and Well-Founded Semantics (Q5449604) (← links)
