11436 search results - page 227 / 2288 » Modeling Real Reasoning |
143
Voted
MKM
2009
Springer
15 years 10 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
132
Voted
KCAP
2009
ACM
15 years 10 months ago
2009
ACM
The extensive work on Knowledge Engineering in the 1990s has resulted in a systematic analysis of task-types, and the corresponding problem solving methods that can be deployed fo...
123
click to vote
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
114
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
To increase the assurance with which agents can be deployed in operational settings, we have been developing the KAoS policy and domain services. In conjunction with Nomads strong...
116
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...