Sciweavers

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

129

Voted

AUSAI
2003
Springer

76views Artificial Intelligence» more AUSAI 2003»

A Tableaux System for Deontic Interpreted Systems

16 years 11 days 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)