Pages that link to "Item:Q532633"
From MaRDI portal
The following pages link to Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday (Q532633):
Displaying 10 items.
- Paracoherent answer set computation (Q2238696) (← links)
- A parallel memory-efficient epistemic logic program solver: harder, better, faster (Q2317970) (← links)
- Contextual Abductive Reasoning with Side-Effects (Q2931270) (← links)
- On Cascade Products of Answer Set Programs (Q2931275) (← links)
- Model enumeration in propositional circumscription via unsatisfiable core analysis (Q4592705) (← links)
- Improved answer-set programming encodings for abstract argumentation (Q4592988) (← links)
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (Q4593015) (← links)
- Justifying answer sets using argumentation (Q4593019) (← links)
- Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) (Q4593048) (← links)
- Range-based argumentation semantics as two-valued models (Q4593079) (← links)
