When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in thi...
The paper has two goals: firstly, we explain how ontology mapping formalisms can be used to denote the many interpretations of a given legal concept; secondly, we provide a short c...
Piotr Stolarski, Tadeusz Tomaszewski, John Zelezni...
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
Many semantic parsing models use tree transformations to map between natural language and meaning representation. However, while tree transformations are central to several state-...
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...