• No results found

answer set

Transforming Controlled Natural Language Biomedical Queries into Answer Set Programs

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

The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics

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

Properties of Answer Set Programming with Convex Generalized Atoms

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

Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming

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

Semantics and complexity of recursive aggregates in answer set programming

Semantics and complexity of recursive aggregates in answer set programming

... the answer set semantics for standard ASP in a simple and elegant way, through a new definition of reduct which is simpler than the original one and treats negative literals, positive lit- erals, and ...

39

Solving the Pixel Puzzle under Answer Set Programming

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 language paradigm ...

7

PP 2019 21: 
  Answer Set Programming for Judgment Aggregation

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 judgment ...

7

State Aggregation through Reasoning in Answer Set Programming

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 be ...

8

Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming

Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming

... There is a domain dom with 2 elements and a non- deterministic guess over a, b and c such that a and b cannot both hold (cf. (Calimeri et al. 2012) for the employed lan- guage constructs). Atoms exp(0 ) and exp (1) are ...

9

Planning in answer set programming while learning action costs for mobile robots

Planning in answer set programming while learning action costs for mobile robots

... In recent years, action languages and answer set pro- gramming have begun to be used for robot task planning (Caldiran et al. 2009; Erdem and Patoglu 2012; Erdem et al. 2013; Havur et al. 2013). In these ...

9

Unfounded Sets and Well Founded Semantics of Answer Set Programs with Aggregates

Unfounded Sets and Well Founded Semantics of Answer Set Programs with Aggregates

... each answer set (Theorem 16), and that the well-founded model is computable in polyno- mial time (Theorem ...of answer sets by means of un- founded sets, and an implemented system computing the ...

41

Representing and Learning Grammars in Answer Set Programming

Representing and Learning Grammars in Answer Set Programming

... unique answer set of the (stratified) pro- gram should not prove vio (which is equivalent to saying that none of the constraints should be ...unique answer set of the (stratified) program must ...

10

Answer Set Programming - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials

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

Equivalence in Answer Set Programming

Equivalence in Answer Set Programming

... It is also interesting to study some program transformations that preserve these equivalence notions. Some basic transformation rules for logic programs were defined in [19] and shown to be of great interest for several ...

19

Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming

Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming

... using Answer Set Pro- gramming and some of its recent features (function symbols) to call external modules that are trained to do simple tex- tual entailment, it is possible do declaratively reasoning over ...

8

Forgetting in Modular Answer Set Programming

Forgetting in Modular Answer Set Programming

... of Answer Set Programming ...that answer sets of modules can still be composed, and how the module theorem can always be pre- served if we further allow the reconfiguration of ...

8

Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings

Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings

... Focusing on assumption-based argumentation (ABA) as a central structured formalism to AI argumentation, we pro- pose a new approach to reasoning in ABA with and without preferences. While previous approaches apply either ...

8

Repairing Boolean logical models from time-series data using Answer Set Programming

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

Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming

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

Keyset User Guide—without Display Item Number 699030

Keyset User Guide—without Display Item Number 699030

... As the Conference Controller (the person who set up the conference), you can exit the call at any time. If you are leaving a single inside party connected to two external parties, simply hang up and control of the ...

76

Show all 10000 documents...

Related subjects