3342 search results - page 202 / 669 » Automating Abstract Interpretation |
ECAI
2000
Springer
15 years 7 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...
122
click to vote
ECAI
1992
Springer
15 years 7 months ago
1992
Springer
Abstract. A key step in Natural Language Processing is creating representations of sentences and discourses. Sentences describe states and events. Thus a crucial component of seman...
106
Voted
ICALP
2000
Springer
15 years 6 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...
126
Voted
ASM
2005
ASM
15 years 4 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 4 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...