2573 search results - page 354 / 515 » Combinations of Modal Logics |
187
click to vote
LPAR
2007
Springer
16 years 20 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
171
click to vote
ACISICIS
2005
IEEE
16 years 4 days ago
2005
IEEE
Uncertainty always exists as an unavoidable factor in any pervasive context-aware applications. This is mostly caused by the imperfectness and incompleteness of data. In this pape...
173
click to vote
GLVLSI
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper describes a SPICE model development methodology for Quantum-Dot Cellular Automata (QCA) cells and presents a SPICE model for QCA cells. The model is validated by simula...
206
click to vote
ASP
2005
Springer
16 years 2 days ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
172
click to vote
DALT
2005
Springer
16 years 1 days ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...