Results 41 to 50 of about 106,052 (303)
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs
Algorithms, 2022 Answer Set Programming (ASP) is a well established logical approach in artificial intelligence that is widely used for knowledge representation and problem solving.
Jorge Fandinno +3 more
doaj +1 more source
Epistemic Answer Set Programming [PDF]
, 2019 This paper introduces a new epistemic extension of answer set programming (\(\mathsf {ASP}\)) called epistemic ASP (\(\mathsf {E\text {-}\mathsf {ASP}}\)). Then, it compares \(\mathsf {E\text {-}\mathsf {ASP}}\) with existing approaches, showing the advantages and the novelties of the new semantics and discusses which formalisms provide more intuitive ...
openaire +2 more sources
Equivalence in Answer Set Programming [PDF]
, 2002 We study the notion of strong equivalence between two Answer Set programs and we show how some particular cases of testing strong equivalence between programs can be reduced to verify if a formula is a theorem in intuitionistic or classical logic.
Mauricio Osorio 0001 +2 more
openaire +1 more source
The Answer Set Programming Paradigm [PDF]
AI Magazine, 2016 In this article, we give an overview of the answer set programming paradigm, explain its strengths, and illustrate its main features in terms of examples and an application problem.
Niemelä, Ilkka, Janhunen, Tomi
openaire +5 more sources
Splitting Computation of Answer Set Program and Its Application on E-service [PDF]
International Journal of Computational Intelligence Systems, 2011 As a primary means for representing and reasoning about knowledge, Answer Set Programming (ASP) has been applying in many areas such as planning, decision making, fault diagnosing and increasingly prevalent e-service.
Bo Yang +3 more
doaj +1 more source
Temporal Answer Set Programming
CoRR, 2020 We present an overview on Temporal Logic Programming under the perspective of its application for Knowledge Representation and declarative problem solving. Such programs are the result of combining usual rules with temporal modal operators, as in Linear-time Temporal Logic (LTL). We focus on recent results of the non-monotonic formalism called Temporal
Felicidad Aguado +6 more
openaire +2 more sources
Epistemic Logic Programs: A Different World View [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Epistemic Logic Programs (ELPs), an extension of Answer Set Programming (ASP) with epistemic operators, have received renewed attention from the research community in recent years.
Michael Morak
doaj +1 more source
Rewriting recursive aggregates in answer set programming: back to monotonicity
, 2015 Aggregation functions are widely used in answer set programming for representing and reasoning on knowledge involving sets of objects collectively. Current implementations simplify the structure of programs in order to optimize the overall performance ...
Alviano, Mario +2 more
core +1 more source
Constraint Answer Set Programming Systems [PDF]
, 2010 We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a very early stage, we motivate constraint answer set programming and report on related
Drescher, Christian
core +1 more source
Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance
Proceedings of the International Florida Artificial Intelligence Research Society ConferenceAnswer set programming (ASP) is a declarative programming language suited to solve complex combinatorial search problems. Prioritized ASP is the subdiscipline of ASP which aims at prioritizing the models (answer sets) of ASP programs.
Marco Wilhelm +2 more
doaj +1 more source