44 search results - page 8 / 9 » Partial Order Semantics of Types of Nets |
176
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
124
Voted
NDJFL
2000
15 years 3 months ago
2000
We present an approach to combining three areas of research which we claim are all based on information theory: knowledge representation in Artificial Intelligence and Cognitive Sc...
143
Voted
EON
2008
15 years 5 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
140
Voted
LACL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...
150
Voted
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...