[PDF] Top 20 State Aggregation through Reasoning in Answer Set Programming

... eralize through logic ...generalizing through first- order lifted inference, RRL methods still calculate values and policies for the full domain, while our method uses ASP (in its propositional definition) ... See full document

... logical reasoning, used for complex inferences on event ...the state-of-the-art object detector YOLO (You only look once) [30] for extracting basic information (appearance and movement) about objects from ... See full document

... ABA reasoning to reasoning over AFs, we propose a direct approach to ABA reasoning based on encoding ABA reasoning tasks in an- swer set programming (ASP) (Gelfond and Lifschitz ... See full document

... commonsense reasoning using logical languages with nonmonotonic consequence relations, which allow new knowledge to invalidate some of the previous ...logic programming, another nonmonotonic lan- guage, ... See full document

... The paper proposes an ASP query answering approach for ontology-based knowledge bases equipped with non-monotonic rules within the framework of Cultural Heritage. It focuses on the Xlendi wreck case study. The knowledge ... See full document

... which is by applying a series of simple logical rules, each of which considers only a single horizontal or vertical line. Later on we will refer to them as being simple. These puzzles will always have a unique solution. ... See full document

... While in recent years machine learning (ML) based ap- proaches have been the popular approach in developing end- to-end question answering systems, such systems often strug- gle when additional knowledge is needed to ... See full document

... The work of Erdem et al. (Erdem, Aker, and Patoglu 2012) improves on existing ASP approaches for robot task planning by both using larger domains in simulation, as well as incorporating a constraint on the total time ... See full document

... in Answer Set Programming (ASP), a fully declarative language for Knowledge Representation and ...logic programming and nonmonotonic reasoning, and has been already exploited for ... See full document

... (ii) reasoning over the properties of a model [11, 12]; and (iii) repairing a model based on new data ...using Answer Set Pro- gramming (ASP) and focusing on the Boolean ... See full document

... of answer set programming with description logics for the semantic ...the answer set semantics, which can model uncertain, inexact information, and can deal with non monotonic ... See full document

... judgment aggregation, and we hope and expect that they will help bring interesting judgment aggregation problems to the attention of the auto- mated reasoning ...judgment aggregation: by ... See full document

... In this paper, we show that convex generalized atoms are indeed the only ones for which cautious reasoning under the FLP semantics remains in coN P . Our main result is that when a language allows any kind of ... See full document

... muti-potent state S, if a cell can later differentiate in two different types A and B, once in a type B, it can no longer change to type A without external ...multi-potent state where both A and B are ... See full document

... because they are highly expressive and enable a program- mer to state complex conditions in a very concise manner. The importance of aggregates is witnessed by a rich body of research, see e.g., (Greco 1999; ... See full document

... finite state seman- tics provides a compositional means of explicitly representing the set of worlds in which a proposition is ...true. Reasoning can be introduced by restricting the set using ... See full document

... to answer the ques- ...contain reasoning shortcuts through which models can directly locate the answer by word-matching the question with a sentence in the ...ent reasoning hops to ... See full document

... Some results in this paper are given for a special type of constraints L on materialized views: In those results, L is a singleton set L = {C}, C ² N. The storage-limit C means that the total size size(V(D)) of ... See full document

... (Baughman, Boyd, & Franz, 2012). Extension needs new strategies, methods, and partners to measure public value and to answer "so what?" about programs, but the organization lacks strong capacity and ... See full document

... the state of aggregation phase proximity of the nanopowder compacts and dispersed nanopowders (ac- cording to the classification of dispersed systems by the state of aggregation phase compacts ... See full document