2638 search results - page 113 / 528 » Frameworks for Reasoning about Agent Based Systems |
140
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
132
click to vote
AAAI
1992
15 years 5 months ago
1992
The family of terminological representation systems has its roots in the representation system kl-one. Since the development of kl-one more than a dozen similar representation sys...
138
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
150
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
144
click to vote
ICCBR
2005
Springer
15 years 10 months ago
2005
Springer
TIELT is a software testbed that facilitates the integration and testing of learning-embedded decision systems on user-selected tasks from virtual gaming simulators. A key componen...