Abstract Logic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on abductive logic programming, it combines rules with programs, database and causal theory that specifies transitions between the states of database. This paper proposes systematic mapping Kernel this (called KELPS) into an answer set program (ASP). For purpose new variant KELPS finite mod...

Let G be a matching-covered graph, i.e., every edge is contained in a perfect matching. An edge subsetX ofG is feasible if there exists two perfect matchingsM1 andM2 such that |M1∩X| 6≡ |M2∩X| (mod 2). Lukot’ka and Rollová proved that an edge subset X of a regular bipartite graph is not feasible if and only if X is switching-equivalent to ∅, and they further ask whether a non-feasible set of a ...

Our QA system consists of two different components. One is for the factoid and list questions, and the other is for the other questions. The components are processed individually, and each result is combined into our submitted run. For the factoid questions, we have tried to find answers by proximity-based named entity search. Given a question, fine-grained named entities for candidate answers ...

Life-long learning is more and more playing a key role for economical, personal and social success. Therefore the management and development of skills and knowledge is of premier importance in industry and, on the other hand, a major expense factor. So called examination management systems assist teachers and trainers through an automatic compilation of documents, in particular assessment tests...

In this paper we investigate Multi-Objective Integer Linear Programming (MOILP) problems with unbounded feasible region and introduce recession direction for MOILP problems. Then we present necessary and sufficient conditions to have unbounded feasible region and infinite optimal values for objective functions of MOILP problems. Finally we present some examples with unbounded feasible region and fi...