1269 search results - page 26 / 254 » Pi-Calculus in Logical Form |
117
click to vote
ICCS
1998
Springer
15 years 5 months ago
1998
Springer
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics),...
80
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
It is well-known that the connection refinement of clause tableaux with paramodulation is incomplete (even with weak connections). In this paper, we present a new connection tablea...
80
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
133
click to vote
MSCS
2006
15 years 21 days ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
84
Voted
JAPLL
2007
15 years 19 days ago
2007
We propose a novel method of determining the appropriateness of an answer to a question through a proof of logical relevance rather than a logical proof of truth. We define logic...