Results 91 to 100 of about 570,700 (231)
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
, 2014 To appear in Theory and Practice of Logic Programming (TPLP). Building on the award-winning, portfolio-based ASP solver claspfolio, we present claspfolio 2, a modular and open solver architecture that integrates several different portfolio-based ...
Hoos, Holger +2 more
core +1 more source
Counting Answer Sets of Disjunctive Answer Set Programs
Theory and Practice of Logic ProgrammingAbstract Answer Set Programming (ASP) provides a powerful declarative paradigm for knowledge representation and reasoning. Recently, counting answer sets has emerged as an important computational problem with applications in probabilistic reasoning, network reliability analysis, and other domains.
MD MOHIMENUL KABIR +2 more
openaire +2 more sources
Fages' Theorem and Answer Set Programming
, 2000 We generalize a theorem by Francois Fages that describes the relationship between the completion semantics and the answer set semantics for logic programs with negation as failure.
Babovich, Yuliya +2 more
core +1 more source
A Theoretical Bound Which Improves the Performance of Compilation-Based Multi-Agent Path Finding
IEEE AccessA well-known approach to optimally solving Multi-Agent Path Finding (MAPF) is by compilation to Boolean Satisfiability or Answer Set Programming. Such compilation-based approaches to MAPF are superior to others on dense, relatively small instances ...
Rodrigo Lopez +2 more
doaj +1 more source
Using Answer Set Programming for pattern mining [PDF]
, 2014 Serial pattern mining consists in extracting the frequent sequential patterns from a unique sequence of itemsets. This paper explores the ability of a declarative language, such as Answer Set Programming (ASP), to solve this issue efficiently. We propose
Guyet, Thomas +2 more
core +3 more sources
Retrieval-augmented Generative Intelligence Question Answering Technology Based on Knowledge Graph [PDF]
Jisuanji kexueA knowledge graph-based retrieval-augmented generation framework is proposed to achieve military intelligence question answering.The framework effectively acquires background knowledge through question classification,entity recognition,entity linking,and
CHENG Zhiyu, CHEN Xinglin, WANG Jing, ZHOU Zhongyuan, ZHANG Zhizheng
doaj +1 more source
The Sixth Answer Set Programming Competition
Journal of Artificial Intelligence Research, 2017 Answer Set Programming (ASP) is a well-known paradigm of declarative programming with roots in logic programming and non-monotonic reasoning. Similar to other closely related problem-solving technologies, such as SAT/SMT, QBF, Planning and Scheduling, advancements in ASP solving are assessed in competition events.
Martin Gebser +2 more
openaire +7 more sources
Possibilistic Answer Set Programming Revisited [PDF]
, 2010 Possibilistic answer set programming (PASP) extends answer set programming (ASP) by attaching to each rule a degree of certainty. While such an extension is important from an application point of view, existing semantics are not well-motivated, and do not always yield intuitive results.
Bauters, Kim +3 more
openaire +4 more sources
Controlled Natural Language Processing as Answer Set Programming: an Experiment
, 2014 Most controlled natural languages (CNLs) are processed with the help of a pipeline architecture that relies on different software components. We investigate in this paper in an experimental way how well answer set programming (ASP) is suited as a ...
M. Gebser +4 more
core +1 more source
Fuzzy Answer Set Programming: An Introduction [PDF]
, 2013 In this chapter, we present a tutorial about fuzzy answer set programming (FASP); we give a gentle introduction to its basic ideas and definitions. FASP is a combination of answer set programming and fuzzy logics which has recently been proposed. From the answer set semantics, FASP inherits the declarative nonmonotonic reasoning capabilities, while ...
Blondeel, Marjon +3 more
openaire +4 more sources