Sciweavers

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

7

AUSAI
2003
Springer

favoriteEmaildiscussreport

76views Artificial Intelligence» more AUSAI 2003»

A Tableaux System for Deontic Interpreted Systems

13 years 9 months ago

A Tableaux System for Deontic Interpreted Systems

Download espace.uq.edu.au

Guido Governatori, Alessio Lomuscio, Marek J. Serg

Real-time Traffic

Artificial Intelligence | AUSAI 2003 |

claim paper

Related Content

» A Logic for Knowledge Correctness and Real Time

» Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra

» Specifying and Reasoning with Institutional Agents

» Tableau Systems for Logics of Subinterval Structures over Dense Orderings

» A Logical Framework to Deal with Variability

» An Improved OnTheFly Tableau Construction for a RealTime Temporal Logic

Post Info
More Details (n/a)

Added	06 Jul 2010
Updated	06 Jul 2010
Type	Conference
Year	2003
Where	AUSAI
Authors	Guido Governatori, Alessio Lomuscio, Marek J. Sergot

Comments (0)