Pages that link to "Item:Q5277803"
From MaRDI portal
The following pages link to A logic of nonmonotone inductive definitions (Q5277803):
Displayed 18 items.
- Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- Connecting First-Order ASP and the Logic FO(ID) through Reducts (Q2900547) (← links)
- SAT Modulo Graphs: Acyclicity (Q2938490) (← links)
- A Semantic Account for Modularity in Multi-language Modelling of Search Problems (Q3172899) (← links)
- CP-logic: A language of causal probabilistic events and its relation to logic programming (Q3393227) (← links)
- FO(FD): Extending classical logic with rule-based fixpoint definitions (Q3585169) (← links)
- Semantics of templates in a compositional framework for building logics (Q4593008) (← links)
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (Q4593015) (← links)
- On local domain symmetry for model expansion (Q4593047) (← links)
- The KB paradigm and its application to interactive configuration (Q4593081) (← links)
- Stepwise debugging of answer-set programs (Q4603428) (← links)
- Relational theories with null values and non-herbrand stable models (Q4911135) (← links)
- Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory (Q5038459) (← links)
- A compositional typed higher-order logic with definitions (Q5240216) (← links)
- Debugging for Model Expansion (Q5325763) (← links)
- Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic (Q5504646) (← links)
- FOLASP<i>: FO(·) as Input Language for Answer Set Solvers</i> (Q6063868) (← links)