3239 search results - page 8 / 648 » A Logical Process Calculus |
SSDBM
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper presents an approach to answering queries over an ontology modelled using a description logic. The ontology acts as a global schema, providing a declarative description...
CONCUR
2008
Springer
14 years 12 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
CADE
2008
Springer
15 years 2 days ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
ACL
1989
14 years 11 months ago
1989
The logic behind parsers for categorial grammars can be formalized in several different ways. Lambek Calculus (LC) constitutes an example for a natural deduction 1 style parsing m...
TABLEAUX
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a clausal connection calculus for first-order intuitionistic logic. It extends the classical connection calculus by adding prefixes that encode the character...