[PDF] Top 20 Representing and Learning Grammars in Answer Set Programming

... by representing each constraint : - body as the rule vio : - body (where vio is a new atom that in- dicates that at least one constraint has been ...unique answer set of the (stratified) pro- gram ... See full document

... Automated planning provides great flexibility over direct implementation of behaviors for robotic tasks. In mobile robotics, uncertainty about the environment stems from many sources. This is particularly true for ... See full document

... Event Calculus. Event Calculus (EC) was first introduced by Kowalski and Sergot in [22] as a logic framework for representing and reasoning about events and their effects. EC has been frequently used for event ... See full document

... modern answer set solvers and be- cause they allow for several aggregation problems to be imple- mented by representing them as judgment aggregation prob- ...of answer set im- ... See full document

... formula representing an aggregate not satisfied by I will be completely replaced by ⊥ (falsity), rendering the corresponding rule irrelevant in the ...formula representing an aggregate satisfied by I will ... See full document

... 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 ... 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 solving ... See full document

... 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 correctly an- swer ... See full document

... Logic Programming (ILP) Aleph is an ILP machine learning system that searches for a hypothesis, given positive (and, if avail- able, negative) data in the form of ground Prolog terms and background ... 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; Simons, ... 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

... teach programming to school children in Malaysia. Embedded Systems Programming (ESP) module is a module which was developed by adapting teaching methods that are based on embedded systems and robotic as it ... See full document

... ogy learning technique that uses statistical mea- sures and linguistic ...Adaptor Grammars in the case of complex Indian languages and showed that it can be used in languages with complex mor- phology and ... See full document

... Declarative Programming languages and applications, with a focus on Logic and Constraint programming as well as efficient and transparent parallel program ... See full document

... to measure and identify them. One of the main advantage of the photogrammetric process is to pro- vide several 2D representations of the measured artifacts. This first ontology is built from an existing JAVA code in ... See full document

... Question Answering (QA) naturally reduces to an entailment problem, namely, verifying whether some text entails the answer to a ques- tion. However, for multi-hop QA tasks, which require reasoning with multiple ... See full document

... context-free grammars and attribute grammars that enable the specification of binary file formats are ...of grammars are then ...string grammars, in ... See full document

... This work was undertaken jointly with Philip Kernick who, in particular, implemented the user interfaces and carried out the exlferiments whose results are reported in Table 1 as part of[r] ... See full document

... Also, our learner used virtually no supervision for example parsed corpora, and did not start with a given lexicon: learning using parsed corpora is substantiMly easier than learning fro[r] ... See full document

... correct answer. For example, our ques- tion set contains a single math problem, How long does it take for Earth to rotate on its axis seven times? (A) one day (B) one week (C) one month (D) one ...the ... See full document