343 search results - page 16 / 69 » Complete Axiomatizations for Reasoning About Knowledge and T... |
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
TARK
2007
Springer
14 years 2 months ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In contrast to Bayesian networks, a logical approach can easily cope with i...
KR
2010
Springer
14 years 17 days ago
2010
Springer
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...
CMPB
2010
13 years 7 months ago
2010
Ligand prediction has been driven by a fundamental desire to understand more about how biomolecules recognize their ligands and by the commercial imperative to develop new drugs. ...