3239 search results - page 8 / 648 » A Logical Process Calculus |
115
Voted
SSDBM
2002
IEEE
15 years 5 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...
111
click to vote
CONCUR
2008
Springer
15 years 2 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...
86
Voted
CADE
2008
Springer
15 years 2 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
110
Voted
ACL
1989
15 years 1 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...
99
Voted
TABLEAUX
2005
Springer
15 years 5 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...