We propose an approach based on Answer Set Programming for reasoning about actions
with domain descriptions including ontological knowledge, expressed in the lightweight …

Planning and reasoning about actions and processes, in addition to reasoning about
propositions, are important issues in recent logical and computer science studies. The …

Abstract Domain ontologies may provide the proper level of abstraction in modeling
semantic constraints and business rules in BPM; in fact, ontologies are intended to define …

Актуальность и цели. В задачах дискретной оптимизации мы рассматриваем
алгоритмы решения, основанные на расширениях метода ветвей и границ. Сами эти …

An agent is an autonomous entity that can perform actions to achieve its goals. It acts in a
dynamic environment that may engender failures regarding its behavior. Therefore, a formal …

In this extended abstract, we describe a line of research where logic-based knowledge
representation and reasoning is used for both representing process and system models in …

Multi-agent systems research community has developed solutions to model dynamic and
complex systems. Those solutions have generated a growing interest in a variety of domains …

The manipulation of exible object is of primary importance in industry 4.0 and in home
environments scenarios. Traditionally, this problem has been tackled by developing ad-hoc …

In this paper we show that Answer Set Programming (ASP) can accommodate for domain
ontologies in modeling and reasoning about Business Processes, especially for process …

Background. In discrete optimization problems, we consider decision algorithms based on
extensions of the branch and boundary method. These extensions themselves consist in the …