Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

DALT
2008
Springer

favoriteEmaildiscussreport

163views Intelligent Agents» more DALT 2008»

A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

13 years 5 months ago

A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

Download www.di.unito.it

Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other multi-agent concepts. Also I give some arguments in favor of taking STIT formalisms instead of dynamic logics as the basis for logics for representing multi-agent system concepts.

Jan Broersen

Real-time Traffic

Complete Temporal Stit | DALT 2008 | Intelligent Agents | Multi-agent Concepts | STIT Formalisms |

claim paper

Related Content

» Approximation of action theories and its application to conformant planning

» On Some Tractable Cases of Logical Filtering

» Generalizing the AGM postulates preliminary results and applications

» Quantifying over coalitions in epistemic logic

» The Logic of Communication Graphs

» The permutable POMDP fast solutions to POMDPs for preference elicitation

» CEL A PolynomialTime Reasoner for Life Science Ontologies

» A ModelTheoretic Approach to the Verification of Situated Reasoning Systems

» MDWEnet A Practical Approach to Achieving Interoperability of ModelDriven Web Engineering ...

Post Info
More Details (n/a)

Added	09 Nov 2010
Updated	09 Nov 2010
Type	Conference
Year	2008
Where	DALT
Authors	Jan Broersen

Comments (0)