Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity

No abstract is available for this paper.

• Publication year

  2004

• Venue

  European Conference on Logics in Artificial Intelligence

• Publication date

  2004-09-27

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-540-30227-8_19
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Next Steps in Propositional Horn Contraction

  2009cited by this paper
• Set Constraints in Logic Programming

  2004influential reference
• Semantics of disjunctive programs with monotone aggregates - an operator-based approach

  2004influential reference
• Partial Stable Models for Logic Programs with Aggregates

  2004influential reference
• Aggregate Functions in DLV

  2003cited by this paper
• Under consideration for publication in Theory and Practice of Logic Programming 1 Weight Constraints as Nested Expressions

  2003cited by this paper
• Computational Logic: Logic Programming and Beyond

  2002cited by this paper
• Representing Knowledge in A-Prolog

  2002cited by this paper
• On logic programs with cardinality constraints

  2002cited by this paper
• Logic-Based Artificial Intelligence

  2000cited by this paper
• Declarative problem-solving using the DLV system

  2000cited by this paper
• Stable Model Semantics of Weight Constraint Rules

  1999cited by this paper
• Modular Logic Programming and Generalized Quantifiers

  1997cited by this paper
• Complexity and expressive power of logic programming

  1997cited by this paper
• Monotonic aggregation in deductive databases

  1992cited by this paper
• Semantics of Logic Programs with Aggregates

  1991cited by this paper
• The Magic of Duplicates and Aggregates

  1990cited by this paper

• Learning answer set programs with aggregates via sampling and genetic programming

  2025cites this paper
• Witnesses for Answer Sets of Basic Logic Programs

  2025influential citation
• Neural logic programs and neural nets

  2024cites this paper
• Solving Decision Theory Problems with Probabilistic Answer Set Programming

  2024cites this paper
• Operator-based semantics for choice programs: is choosing losing? (full version)

  2024influential citation
• Sequential composition of propositional logic programs

  2024cites this paper
• Explainable Answer-set Programming

  2023cites this paper
• Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report)

  2023cites this paper
• Sequential decomposition of propositional logic programs

  2023cites this paper
• The Stable Model Semantics of Datalog with Metric Temporal Operators

  2023cites this paper
• Explaining Answer-Set Programs with Abstract Constraint Atoms

  2023cites this paper
• Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version)

  2023cites this paper
• Abduction in (Probabilistic) Answer Set Programming

  2022cites this paper
• Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming

  2022cites this paper
• Existential Abstraction on Argumentation Frameworks via Clustering

  2021cites this paper
• Sequential Composition of Answer Set Programs

  2021cites this paper
• DatalogMTL with Negation Under Stable Models Semantics

  2021cites this paper
• Algebraic answer set programming

  2021cites this paper
• Sequential

  2020cites this paper
• Sequential composition of propositional logic programs

  2020cites this paper
• Weighted LARS for Quantitative Stream Reasoning

  2020cites this paper
• Reasoning Web. Declarative Artificial Intelligence: 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures

  2020cites this paper
• Fixed Point Semantics for Stream Reasoning

  2020cites this paper
• Deep Learning and Graph Theory for Brain Connectivity Analysis in Multiple Sclerosis

  2020cites this paper
• Explaining Non-Acceptability in Abstract Argumentation

  2020cites this paper
• Omission-Based Abstraction for Answer Set Programs

  2020cites this paper
• Incremental maintenance of overgrounded logic programs with tailored simplifications

  2020cites this paper
• Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems

  2019cites this paper
• Determining inference semantics for disjunctive logic programs

  2019cites this paper
• Incremental Answer Set Programming with Overgrounding

  2019cites this paper
• ASP-Core-2 Input Language Format

  2019cites this paper
• An Infrastructure for Multi-shot Reasoning with Incremental Grounding

  2019cites this paper
• ANSWER SET PROGRAMS

  2019cites this paper
• The Hexlite Solver - Lightweight and Efficient Evaluation of HEX Programs

  2019cites this paper
• Integrated Algorithms for HEX-Programs and Applications in Machine Learning

  2019cites this paper
• Chain Answer Sets for Logic Programs with Generalized Atoms

  2019cites this paper
• Relating Two Dialects of Answer Set Programming

  2019cites this paper
• A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders

  2019influential citation
• Title Embedding non-ground logic programs into autoepistemiclogic for knowledge base combination

  2019cites this paper
• Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+

  2019cites this paper
• Vicious circle principle, aggregates, and formation of sets in ASP based languages

  2019cites this paper
• Abstraction for Non-ground Answer Set Programs

  2019cites this paper
• LARS: A Logic-based framework for Analytic Reasoning over Streams

  2018cites this paper
• Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework

  2018cites this paper
• Multi-Context Reasoning in Continuous Data-Flow Environments

  2018cites this paper
• Towards Abstraction in ASP with an Application on Reasoning about Agent Policies

  2018cites this paper
• RECONSIDERING ANSWER SET SEMANTICS

  2018cites this paper
• logic programs into

  2018cites this paper
• On the Properties of Atom Definability and Well-Supportedness in Logic Programming

  2017cites this paper
• Preference-Based Inconsistency Management in Multi-Context Systems

  2017cites this paper
• The Sixth Answer Set Programming Competition

  2017cites this paper
• Expressive Stream Reasoning with Laser

  2017cites this paper
• Answer Set Programming and Its Applications in Planning and Multi-agent Systems

  2017cites this paper
• Answer Set Programming with External Source Access

  2017cites this paper
• I-DLV: The new intelligent grounder of DLV

  2017cites this paper
• Stepwise debugging of answer-set programs*

  2017influential citation
• au Forgetting in Managing Rules and Ontologies

  2017cites this paper
• I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector

  2017cites this paper
• Loop Formulas for Alog Answer Set Programs

  2017cites this paper
• Problem Solving Using the HEX Family

  2016cites this paper
• Equivalent Stream Reasoning Programs

  2016cites this paper
• A framework for easing the development of applications embedding answer set programming

  2016cites this paper
• Stream reasoning-based control of caching strategies in CCN routers

  2016influential citation
• Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments

  2016cites this paper
• Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks

  2016cites this paper
• A Prototype for Incremental Rule-based Stream Reasoning

  2016cites this paper
• Argumentation-Based Semantics for Logic Programs with First-Order Formulae

  2016influential citation
• Information diffusion in a multi-social-network scenario: framework and ASP-based analysis

  2016cites this paper
• Design and results of the Fifth Answer Set Programming Competition

  2016cites this paper
• Answer Sets and the Language of Answer Set Programming

  2016cites this paper
• Boosting the Development of ASP-Based Applications in Mobile and General Scenarios

  2016cites this paper
• Reasoning about Truthfulness of Agents Using Answer Set Programming

  2016cites this paper
• Advances in Multi-engine ASP Solving

  2015cites this paper
• LARS: A Logic-Based Framework for Analyzing Reasoning over Streams

  2015cites this paper
• Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms

  2015cites this paper
• Handling Probability and Inconsistency in Answer Set Programming

  2015cites this paper
• Multi-Context Systems with Preferences

  2015cites this paper
• Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications

  2015cites this paper
• An ASP Approach for the Valves Positioning Optimization in a Water Distribution System

  2015cites this paper
• Markov Logic Style Weighted Rules under the Stable Model Semantics

  2015cites this paper
• I N F S Y S Problem Solving Using the Hex Family Infsys Forschungsbericht Problem Solving Using the Hex Family

  2015cites this paper
• Formal Methods for Answer Set Programming

  2015cites this paper
• "Add Another Blue Stack of the Same Height!": ASP Based Planning and Plan Failure Analysis

  2015cites this paper
• LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract)

  2015cites this paper
• FLP answer set semantics without circular justifications for general logic programs

  2014cites this paper
• An approach to handling Information Diffusion problem in a Multi-Social-Network Scenario

  2014cites this paper
• Semantics and Compilation of Answer Set Programming with Generalized Atoms

  2014cites this paper
• Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario

  2014cites this paper
• Preference-Based Diagnosis Selection in Multi-Context Systems

  2014cites this paper
• On the relation between SPARQL1.1 and Answer Set Programming

  2013influential citation
• Hex Semantics via Approximation Fixpoint Theory

  2013cites this paper
• Answer Set Programming

  2013cites this paper
• Arithmetic and Modularity in Declarative Languages for Knowledge Representation

  2013cites this paper
• Constructing Models for Continuous-Time and Continuous-Change Event Calculus

  2013cites this paper
• The Role of Functions in the Stable Model Semantics

  2013cites this paper
• Automated Selection of Grounding Algorithm in Answer Set Programming

  2013cites this paper
• Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers

  2013influential citation
• Answer Set Programming and Other Computing Paradigms

  2013cites this paper
• USING ANSWER SET PROGRAMMING TO FIND MAXIMUM HEIGHT SPANNING TREES

  2013cites this paper
• Properties of Answer Set Programming with Convex Generalized Atoms

  2013cites this paper