Results 271 to 280 of about 106,052 (303)
Some of the next articles are maybe not open access.
Autoepistemic answer set programming
Artificial Intelligence, 2020zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cabalar, Pedro +2 more
openaire +2 more sources
Answer set programming and agents
The Knowledge Engineering Review, 2018Abstract In this paper, we discuss the potential role of answer set programming (ASP) in the context of approaches to the development of agents and multi-agent systems especially in the realm of Computational Logic. After shortly recalling the main (computational-logic-based) agent-oriented frameworks, we introduce ASP; then, we ...
Dyoub, Abeer +2 more
openaire +2 more sources
Matchmaking with Answer Set Programming
2013Matchmaking is a form of scheduling that aims at bringing companies or people together that share common interests, services, or products in order to facilitate future business partnerships.We begin by furnishing a formal characterization of the corresponding multi-criteria optimization problem.We then address this problem by Answer Set Programming in ...
Martin Gebser +3 more
openaire +1 more source
Aggregates in Answer Set Programming
KI - Künstliche Intelligenz, 2018Aggregates are among the most important linguistic extensions of Answer Set Programming (ASP), allowing for compact representations of properties and inductive definitions involving sets of propositions. Common use cases of aggregates in ASP are reported in this paper, which mainly focus on the semantics implemented by mainstream solvers, namely the F ...
Alviano M., Faber W.
openaire +1 more source
Coordination in answer set programming
ACM Transactions on Computational Logic, 2008This article studies a semantics of multiple logic programs, and synthesizes a program having such a collective semantics. More precisely, the following two problems are considered: given two logic programs P 1 and P 2 , which have the collections of answer sets
Chiaki Sakama, Katsumi Inoue
openaire +1 more source
Answer Set Programming Modulo Acyclicity
Fundamenta Informaticae, 2015Acyclicity constraints are prevalent in knowledge representation and applications where acyclic data structures such as DAGs and trees play a role. Recently, such constraints have been considered in the satisfiability modulo theories (SMT) framework, and in this paper we carry out an analogous extension to the answer set programming (ASP) paradigm. The
Jori Bomanson +4 more
openaire +4 more sources
Modular Answer Set Programming
2007In answer set programming (ASP) a problem is solved declaratively by writing down a logic program the answer sets of which correspond to the solutions of the problem, and computing the answer sets of the program using a special purpose search engine.The growing interest towards ASP is mostly due to efficient search engines, such as smodels and dlv ...
openaire +1 more source
Cooperating Answer Set Programming
2006We present a formalism for logic program cooperation based on the answer set semantics. The system consists of independent logic programs that are connected via a sequential communication channel. When presented with an input set of literals from its predecessor, a logic program computes its output as an answer set of itself, enriched with the input.
Vermeir, Dirk +2 more
openaire +2 more sources
On Testing Answer-Set Programs
2010Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support the development of answer-set programs. In particular, systematic testing of programs, constituting an integral part of conventional software development, has not been ...
Tomi Janhunen +4 more
openaire +1 more source
Preferences in Answer Set Programming
2006Preferences play a major role in many AI applications. We give a brief overview of methods for adding qualitative preferences to answer set programming, a promising declarative programming paradigm. We show how these methods can be used in a variety of different applications such as configuration, abduction, diagnosis, inconsistency handling and game ...
openaire +1 more source