Sciweavers

15033 search results - page 55 / 3007
» Complexity Theory and Algorithms
Sort
View
106
Voted
CORR
2007
Springer
117views Education» more  CORR 2007»
15 years 3 months ago
Alternative axiomatics and complexity of deliberative STIT theories
We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the delib...
Philippe Balbiani, Andreas Herzig, Nicolas Troquar...