827 search results - page 68 / 166 » Proof-Theoretic Soundness and Completeness |
DEXAW
2009
IEEE
14 years 4 months ago
2009
IEEE
— The amount of semantic data on the Web has increased exponentially in the last years. One of the main reasons for this is the use of RDB2RDF systems, which generate RDF data fr...
TIME
2009
IEEE
14 years 4 months ago
2009
IEEE
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...
LICS
2009
IEEE
14 years 4 months ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...
LICS
2009
IEEE
14 years 4 months ago
2009
IEEE
Several dynamical systems, such as deterministic automata and labelled transition systems, can be described as coalgebras of so-called Kripke polynomial functors, built up from co...
APN
2009
Springer
14 years 4 months ago
2009
Springer
In the world of Service Oriented Architectures, one deals with networks of cooperating components. A component offers services; to deliver a service it possibly needs services of ...