Answer Set Programming (ASP)
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics
... basic Answer Set Programming language have been proposed by allowing more general atoms in rule bodies, for example aggregate atoms, HEX atoms, dl-atoms, generalized quantifiers, or abstract ...
7
Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming
... Answer-Set Programming (ASP) is an expressive rule-based knowledge-representation formalism whose success is much due to efficient solver technology available for evaluation (Gebser, Kaufmann, and ...
9
Solving the Pixel Puzzle under Answer Set Programming
... using answer set ...clues. Answer Set Programming (ASP) has been used to solve NP-complete ...problems. Answer set programming (ASP) is a new programming ...
7
Properties of Answer Set Programming with Convex Generalized Atoms
... basic Answer Set Programming language have been proposed by allowing more general atoms in rule bodies, for example aggregate atoms, HEX atoms, dl-atoms, generalized quantifiers, or abstract ...
14
PP 2019 21: Answer Set Programming for Judgment Aggregation
... of answer set programming (ASP) matches that of most problems in judgment ...for answer set solv- ing algorithms; and (2) providing an automated tool for researchers in the area of ...
7
Answer Set Programming - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials
... semantics.” Answer set programming (ASP)—the form of logic programming described in this book—is closer to the ideal of ...called answer set solvers, and their operation is ...
198
Semantics and complexity of recursive aggregates in answer set programming
... Around 1960, McCarthy proposed the use of logical formulas as a basis for a knowledge representation language [3,4]. It was soon realized, however, that clas- sical logic is not always adequate to model commonsense ...
39
Forgetting in Modular Answer Set Programming
... Modular programming facilitates the creation and reuse of large software, and has recently gathered considerable inter- est in the context of Answer Set Programming ...that answer sets ...
8
Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming
... In this article, we formally introduce the notion of bifurcation transitions in discrete dynamics of automata networks (ANs) and we provide a scalable method for their identification that relies on declarative program- ...
14
Planning in answer set programming while learning action costs for mobile robots
... tions. Answer Set Programming (ASP) provides an el- egant way of formalizing domains which involve indi- rect effects of an action and recursively defined ...
9
Equivalence in Answer Set Programming
... We present now several results on intuitionistic and Jankov logics, which will be used later to prove and construct other properties and transformations related to Answer Set Programming. However ...
19
State Aggregation through Reasoning in Answer Set Programming
... We propose a method to perform state aggregation based on reasoning in answer set programming. The method allows the robot to realize, before execution, what pieces of infor- mation are certainly ...
8
Repairing Boolean logical models from time-series data using Answer Set Programming
... When modelling biological systems, there are three main problems to be considered: (i) inferring the network topology based on data [8–10]; (ii) reasoning over the properties of a model [11, 12]; and (iii) repairing a ...
16
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings
... structured argumentation formalisms which provides a suit- able model for various application scenarios (Craven et al. 2012; Fan et al. 2014; Matt et al. 2008). We propose a new computational approach to reason in ABA ...
8
Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming
... Calimeri, F.; Cozza, S.; Ianni, G.; and Leone, N. 2008. Com- putable functions in asp: Theory and implementation. In In- ternational Conference on Logic Programming. Springer. Chen, Q.; Zhu, X.; Ling, Z.-H.; ...
8
Representing and Learning Grammars in Answer Set Programming
... Context-sensitive grammars are often used in specifying the semantics of programming languages. For instance, attribute grammars (Knuth 1968; 1990) are used in tools for gener- ating parsers and compilers (for ...
10
Transforming Controlled Natural Language Biomedical Queries into Answer Set Programs
... One such formalism is Answer Set Programming (ASP) (Baral, 2003). ASP is a new knowledge rep- resentation and reasoning paradigm which supports representation of defaults, constraints, preferences, ...
8
Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming
... In this paper we approach the event recognition problem by aiming at bridging the gap between the methods based on deep learning, used in the extraction of events from the visual data, and logical reasoning, used for ...
12
Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning
... Besides, Answer Set Programming [21] (ASP) is an efficient unified formalism for both knowledge representation and reasoning in Artificial Intelligence ...logic programming language allowing ...
14
ON MODELING TRACES IN A COMPUTING ENVIRONMENT FOR HUMAN LEARNING BASED INDICATORS
... in Answer Set Programming (ASP), a fully declarative language for Knowledge Representation and ...logic programming and nonmonotonic reasoning, and has been already exploited for solving ...
7