1318 search results - page 164 / 264 » The formal semantics of the timeER model |
168
click to vote
TMRA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...
161
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
240
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
162
click to vote
IJCAI
1993
15 years 7 months ago
1993
Several formalizations of cognitive state that include intentions and beliefs based on normal modal logics (NMLs) have appeared in the recent literature. We argue that NMLs are no...
188
click to vote
DLOG
2000
15 years 7 months ago
2000
Recently, there has been a wide interest in using ontologies on the Web. As a basis for this, RDF Schema (RDFS) provides means to define vocabulary, structure and constraints for ...