5243 search results - page 323 / 1049 » Reasoning About Strategies |
167
click to vote
HAIS
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a multi-agent system for security control on industrial environments. The system uses a set of wireless technologies and software agents which integrate reasoni...
162
click to vote
ENTCS
2008
15 years 6 months ago
2008
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He pr...
152
click to vote
FMSD
2006
15 years 6 months ago
2006
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
163
click to vote
JUCS
2010
15 years 5 months ago
2010
: In this paper we consider a multiagent system with multiple ontologies. The agents maintain the ontologies individually which leads to frequent changes and possible knowledge inc...
186
click to vote
JUCS
2010
15 years 5 months ago
2010
: We introduce a first-order temporal logic for reasoning about branching time. It is well known that the set of valid formulas is not recursively enumerable and there is no fini...