2203 search results - page 163 / 441 » Temporal Abstract Interpretation |
88
Voted
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In the past few years there have been a number of proposals for mechanisms for negotiation between agents that make use of argumentation. These proposals have largely bee...
116
Voted
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual t...
141
Voted
ASM
2005
ASM
15 years 5 months ago
2005
ASM
Abstract. This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms act State Machines (ASMs) and takes the fo...
FOIS
2010
15 years 5 months ago
2010
Abstract. In this paper we show how the relationships between first-order ontologies within a repository can be used to support ontology verification. We discuss the use of represe...
123
click to vote
JURIX
2008
15 years 5 months ago
2008
Abstract. In the AVERs sense-making tool for crime analysis different types of information are represented in different ways. More precisely, narrative knowledge is represented in ...