Sciweavers

17 search results - page 1 / 4
» jelia 2010
Sort
View
JELIA
2010
Springer
13 years 3 months ago
Efficient Inferencing for OWL EL
Markus Krötzsch
JELIA
2010
Springer
13 years 3 months ago
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter...
JELIA
2010
Springer
13 years 2 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
13 years 3 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