answer set programming
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics
... years, Answer Set Programming (ASP), logic programming under the stable model or answer set semantics, has seen several extensions by generalizing the notion of an atom in these ...
7
State Aggregation through Reasoning in Answer Set Programming
... Answer set programming allows us to write very compact models, and the answer set solver clingo can return not just one plan but all plans that fulfill certain constraints, which will ...
8
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
Answer Set Programming - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials
... In my younger years, I was fortunate to meet a few outstanding scientists and to have an opportunity to take their classes and talk to them. I learned logic from Nikolai Shanin (1919– 2011), Sergei Maslov (1939–1982) and ...
198
PP 2019 21: Answer Set Programming for Judgment Aggregation
... and answer set solvers [see, e.g., Gebser et al. 2018]. Answer set solvers should be of particular interest for judgment aggregation, since the un- derlying language (answer set ...
7
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
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
... Answer Set Programming is a totally declarative ...the answer set or solutions, the program is grounded by a ...of answer sets is done in two phases: (i) grounding of the logic ...
7
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
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
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
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
Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming
... Event recognition in videos mostly focuses on understanding videos by classifying them ac- cording to predefined set of action classes. Traditional approaches for event recognition make use of the dense ...
12
DETECTING SUSPICIOUS INPUT IN INTELLIGENT SYSTEMS USING ANSWER SET PROGRAMMING NICHOLAS GIANOUTSOS, B.S. A THESIS COMPUTER SCIENCE
... When presented with bad information people tend to make bad decisions. Even a rational person is unable to consistently make good decisions when presented with unsound information. The same holds true for intelligent ...
84
Repairing Boolean logical models from time-series data using Answer Set Programming
... Ostrowski et al. [9] successfully used ASP to infer net- works based on time-series data. The objective is to find all networks that satisfy the time-series data sets. To achieve this goal, all combinations of edges and ...
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
... declarative programming provides a natural solution for adding background ...declarative programming based ques- tion answering methods demand the premises (here the life cycle text) to be given in a ...
8
Representing and Learning Grammars in Answer Set Programming
... real set- tings if the required level of choice is known a priori then inputting it in the initial language will save time, but in cases where it is unknown then unstratified ASGs are ...
10
Transforming Controlled Natural Language Biomedical Queries into Answer Set Programs
... Answer Set Programming (ASP) (Lifschitz, 1999; Marek and Truszczy´nski, 1999; Niemel¨a, 1999; Baral, 2003) is a new knowledge representation and reasoning paradigm which supports representa- tion of ...
8
Is It the Right Answer? Exploiting Web Redundancy for Answer Validation
... terns is that when we search for them on the Web they usually produce many hits, thus making statis- tical approaches applicable. In contrast, searching for strict validation statements generally results in a small ...
8