Pages that link to "Item:Q3572044"
From MaRDI portal
The following pages link to Knowledge Representation, Reasoning and Declarative Problem Solving (Q3572044):
Displayed 9 items.
- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition (Q1621888) (← links)
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- Pinpointing axioms in ontologies via ASP (Q2694580) (← links)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
- Argumentation-Based Semantics for Logic Programs with First-Order Formulae (Q4571139) (← links)
- (Q5020542) (← links)
- (Q5020582) (← links)
- (Q5020986) (← links)
- Debugging Non-ground ASP Programs: Technique and Graphical Tools (Q5197755) (← links)