Sciweavers

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

82

AAAI
1994

105views Intelligent Agents» more AAAI 1994»

Boosting the Correspondence between Description Logics and Propositional Dynamic Logics

15 years 4 months ago

Boosting the Correspondence between Description Logics and Propositional Dynamic Logics

Download www.dis.uniroma1.it

Giuseppe De Giacomo, Maurizio Lenzerini

Real-time Traffic

AAAI 1994 | Intelligent Agents |

claim paper

Related Content

» Optimising Propositional Modal Satisfiability for Description Logic Subsumption

» On the Undecidability of Description and Dynamic Logics with Recursion and Counting

» Comparing Subsumption Optimizations

» Logical Generative Models for Probabilistic Reasoning about Existence Roles and Identity

» Relevance Derogation and Permission

» The Architecture Description Language MoDeL

» A SATbased polynomial space algorithm for answer set programming

» SATBased Answer Set Programming

» Complexity Issues in Multiagent Logics

Post Info
More Details (n/a)

Added	02 Nov 2010
Updated	02 Nov 2010
Type	Conference
Year	1994
Where	AAAI
Authors	Giuseppe De Giacomo, Maurizio Lenzerini

Comments (0)