1941 search results - page 145 / 389 » Reasoning about Computations Using Two-Levels of Logic |
133
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
153
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
156
Voted
NMR
2004
Springer
15 years 8 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
194
Voted
KRDB
2003
15 years 4 months ago
2003
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...
151
click to vote
BIRTHDAY
2009
Springer
15 years 1 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...