Results 41 to 50 of about 570,700 (231)
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
Achievements in answer set programming [PDF]
Theory and Practice of Logic Programming, 2017 AbstractThis paper describes an approach to the methodology of answer set programming that can facilitate the design of encodings that are easy to understand and provably correct. Under this approach, after appending a rule or a small group of rules to the emerging program, we include a comment that states what has been “achieved” so far. This strategy
openaire +3 more sources
Complexity of fuzzy answer set programming under Łukasiewicz semantics [PDF]
, 2014 Fuzzy answer set programming (FASP) is a generalization of answer set programming (ASP) in which propositions are allowed to be graded. Little is known about the computational complexity of FASP and almost no techniques are available to compute the ...
Blondeel, Marjon +3 more
core +2 more sources
Applications of Answer Set Programming
AI Magazine, 2016 Answer set programming (ASP) has been applied fruitfully to a wide range of areas in AI and in other fields, both in academia and in industry, thanks to the expressive representation languages of ASP and the continuous improvement of ASP solvers.
Erdem, Esra +2 more
openaire +4 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
Functional answer set programming [PDF]
Theory and Practice of Logic Programming, 2011 AbstractIn this paper we propose an extension of Answer Set Programming (ASP) to deal with (possibly partial) evaluable functions. To this aim, we start from the most general logical counterpart of ASP, Quantified Equilibrium Logic (QEL), and propose a variant QEL=ℱwhere the set of functions is partitioned into Herbrand functions (orconstructors) and ...
openaire +3 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
Shared aggregate sets in answer set programming [PDF]
Theory and Practice of Logic Programming, 2018 AbstractAggregates are among the most frequently used linguistic extensions of answer set programming. The result of an aggregation may introduce new constants during the instantiation of the input program, a feature known as value invention. When the aggregation involves literals whose truth value is undefined at instantiation time, modern grounders ...
ALVIANO M., DODARO C., MARATEA M.
openaire +2 more sources
Solving a Flowshop Scheduling Problem with Answer Set Programming: Exploiting the Problem to Reduce the Number of Combinations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Planning and scheduling have been a central theme of research in computer science. In particular, the simplicity of the theoretical approach of a no-wait flowshop scheduling problem does not allow to perceive the problem complexity at first sight.
Carmen Leticia García-Mata +1 more
doaj +1 more source
Entropy, 2021 This paper investigates the usage of logic and logic programming in the design of smart contracts. Our starting point is the logic-based programming language for smart contracts used in a recently proposed framework of quantum-secured blockchain, called ...
Xin Sun, Piotr Kulicki, Mirek Sopek
doaj +1 more source