Sciweavers

17 search results - page 1 / 4
» jelia 2010
Sort
View
JELIA
2010
Springer
14 years 10 months ago
Efficient Inferencing for OWL EL
Markus Krötzsch
JELIA
2010
Springer
14 years 10 months ago
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter...
JELIA
2010
Springer
14 years 9 months ago
Rational Closure for Defeasible Description Logics
In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark, and we are going to see that such a construction can be characterised by means o...
Giovanni Casini, Umberto Straccia
JELIA
2010
Springer
14 years 10 months ago
Coala: A Compiler from Action Languages to ASP
Action languages allow for compactly describing dynamic domains. They are usually implemented by compilation, e.g., to Answer Set Programming. To this end, we developed a tool, cal...
Martin Gebser, Torsten Grote, Torsten Schaub