4617 search results - page 650 / 924 » Automation of Diagrammatic Reasoning |
213
click to vote
RWEB
2005
Springer
16 years 27 days ago
2005
Springer
A number of techniques have been developed to facilitate powerful data retrieval on the Web and Semantic Web. Three categories of Web query languages can be distinguished, accordin...
175
click to vote
RWEB
2005
Springer
16 years 27 days ago
2005
Springer
In this paper we address several issues of rule modeling on the basis of UML. We discuss the relationship between UML class models and OWL vocabularies. We show how certain rules c...
181
click to vote
TACAS
2005
Springer
16 years 27 days ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
176
click to vote
TARK
2005
Springer
16 years 27 days ago
2005
Springer
We analyze a model of interactive unawareness introduced by Heifetz, Meier and Schipper (HMS). We consider two axiomatizations for their model, which capture different notions of ...
173
click to vote
TARK
2005
Springer
16 years 27 days ago
2005
Springer
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...