Sciweavers

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