Author of the publication

Realizing Default Logic over Description Logic Knowledge Bases.

, , and . ECSQARU, volume 5590 of Lecture Notes in Computer Science, page 602-613. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

First-Order Encodings for Modular Nonmonotonic Datalog Programs., , , and . Datalog, volume 6702 of Lecture Notes in Computer Science, page 59-77. Springer, (2010)Equivalent Stream Reasoning Programs., , and . IJCAI, page 929-935. IJCAI/AAAI Press, (2016)Linked Stream Data Processing Engines: Facts and Figures., , , , , and . ISWC (2), volume 7650 of Lecture Notes in Computer Science, page 300-312. Springer, (2012)The Fourth Answer Set Programming Competition: Preliminary Report., , , , , , , , , and 8 other author(s). LPNMR, volume 8148 of Lecture Notes in Computer Science, page 42-53. Springer, (2013)A Query Model to Capture Event Pattern Matching in RDF Stream Processing Query Languages., , , , and . EKAW, volume 10024 of Lecture Notes in Computer Science, page 145-162. (2016)OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver., , , , and . JELIA, volume 7519 of Lecture Notes in Computer Science, page 480-483. Springer, (2012)LARS: A Logic-Based Framework for Analyzing Reasoning over Streams., , , and . AAAI, page 1431-1438. AAAI Press, (2015)Model Streaming for Distributed Multi-Context Systems., , , and . Log-IC@LPNMR, volume 738 of CEUR Workshop Proceedings, page 11-22. CEUR-WS.org, (2011)Answer Update for Rule-Based Stream Reasoning., , and . IJCAI, page 2741-2747. AAAI Press, (2015)Towards Comparing RDF Stream Processing Semantics., , and . HiDeSt@KI, volume 1447 of CEUR Workshop Proceedings, page 15-27. CEUR-WS.org, (2015)