Pages that link to "Item:Q543600"
From MaRDI portal
The following pages link to Semantics and complexity of recursive aggregates in answer set programming (Q543600):
Displaying 50 items.
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- Evaluating epistemic negation in answer set programming (Q286399) (← links)
- A framework for modular ERDF ontologies (Q360258) (← links)
- John McCarthy's legacy (Q543573) (← links)
- Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
- Ordered completion for logic programs with aggregates (Q892233) (← links)
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition (Q1621888) (← links)
- The complexity and generality of learning answer set programs (Q1647512) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← links)
- Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
- Modular materialisation of Datalog programs (Q2144176) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference (Q2206456) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- Complexity results for probabilistic answer set programming (Q2302961) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Supportedly stable answer sets for logic programs with generalized atoms (Q2360180) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Simulating Production Rules Using ACTHEX (Q2900521) (← links)
- Stepwise Debugging of Description-Logic Programs (Q2900544) (← links)
- Well-Supported Semantics for Logic Programs with Generalized Rules (Q2900549) (← links)
- Exploiting Unfounded Sets for HEX-Program Evaluation (Q2915067) (← links)
- Vicious Circle Principle and Logic Programs with Aggregates (Q2931266) (← links)
- On Cascade Products of Answer Set Programs (Q2931275) (← links)
- Logic programs with propositional connectives and aggregates (Q2946644) (← links)
- (Q3112638) (← links)
- On Reductive Semantics of Aggregates in Answer Set Programming (Q3643117) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates (Q4559801) (← links)
- Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning (Q4559814) (← links)
- Scaling-up reasoning and advanced analytics on BigData (Q4559832) (← links)
- Evaluating Answer Set Programming with Non-Convex Recursive Aggregates (Q4589242) (← links)
- Fixpoint semantics and optimization of recursive Datalog programs with aggregates (Q4592728) (← links)
- Rewriting recursive aggregates in answer set programming: back to monotonicity (Q4592997) (← links)
- Complexity and compilation of GZ-aggregates in answer set programming (Q4592998) (← links)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- Query answering in resource-based answer set semantics (Q4593046) (← links)
- The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description) (Q4593064) (← links)
- Stepwise debugging of answer-set programs (Q4603428) (← links)
- Conflict-driven ASP solving with external sources (Q4911141) (← links)
- Inlining External Sources in Answer Set Programs (Q4957183) (← links)
- ASP-Core-2 Input Language Format (Q4957196) (← links)
- selp: <i>A Single-Shot Epistemic Logic Program Solver</i> (Q4957201) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- (Q5020542) (← links)
- (Q5020979) (← links)
- Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory (Q5038459) (← links)
- Strong Equivalence of Logic Programs with Counting (Q5038462) (← links)
