99 search results - page 3 / 20 » Modal Systems Based on Many-valued Logics |
CJ
2002
13 years 5 months ago
2002
ENTCS
2006
13 years 5 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
ECAI
2006
Springer
13 years 9 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
DLOG
1998
13 years 7 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
FMCO
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...