600 search results - page 31 / 120 » An Extended Interpreted System Model for Epistemic Logics |
AUSAI
2003
Springer
15 years 1 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
AISC
2008
Springer
14 years 11 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
IWPC
2003
IEEE
15 years 3 months ago
2003
IEEE
Many applications have one or more important modules that are written in a language other than conventional procedural or object oriented languages. These languages are often tran...
CADE
2002
Springer
15 years 10 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
104
click to vote
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...