5451 search results - page 536 / 1091 » Typed Operational Semantics |
145
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
170
click to vote
IESA
2007
15 years 8 months ago
2007
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...
163
click to vote
OWLED
2007
15 years 8 months ago
2007
Existing approaches for querying OWL DL do either only operate on syntactic constructs without taking into account the semantics of OWL or do only have a restricted access to the T...
170
click to vote
AAAI
2006
15 years 8 months ago
2006
This paper describes a framework for recognizing contradictions between multiple text sources by relying on three forms of linguistic information: (a) negation; (b) antonymy; and ...
189
click to vote
DATESO
2004
15 years 8 months ago
2004
Discovering the complex relationships between entities is one way of benefitting from the Semantic Web. This paper discusses new approaches to implementing -operators into RDF quer...