Sciweavers

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

6

AI
2004
Springer

favoriteEmaildiscussreport

112views Artificial Intelligence» more AI 2004»

E-connections of abstract description systems

13 years 4 months ago

E-connections of abstract description systems

Download www.cs.man.ac.uk

Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Z

Real-time Traffic

AI 2004 | Artificial Intelligence |

claim paper

Related Content

» Fusions of Description Logics and Abstract Description Systems

» Beluga A Framework for Programming and Reasoning with Deductive Systems System Description

» OntoComP System Description

» Delimited Control in OCaml Abstractly and Concretely System Description

» IMPS System Description

» System Description Aspects as Syntactic Sugar

» Automated Evaluation of Description Logic Reasoning Systems

» Semialgebraic Description of the Equilibria of Dynamical Systems

» A Formal Description of VHDLAMS Analogue Systems

Post Info
More Details (n/a)

Added	16 Dec 2010
Updated	16 Dec 2010
Type	Journal
Year	2004
Where	AI
Authors	Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev

Comments (0)