Author of the publication

A Logical Semantics for Description Logic Programs.

, and . JELIA, volume 6341 of Lecture Notes in Computer Science, page 156-168. Springer, (2010)

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

From Aardvark to Zorro: A Benchmark for Mammal Image Classification., and . Int. J. Comput. Vis., 77 (1-3): 143-156 (2008)Complexity Results for Checking Equivalence of Stratified Logic Programs., , , and . IJCAI, page 330-335. (2007)Advertisement Detection and Replacement using Acoustic and Visual Repetition., , and . MMSP, page 461-466. IEEE, (2006)A model building framework for answer set programming with external computations., , , , , and . Theory Pract. Log. Program., 16 (4): 418-464 (2016)Computing Repairs for Inconsistent DL-programs over EL Ontologies., , and . JELIA, volume 8761 of Lecture Notes in Computer Science, page 426-441. Springer, (2014)Detecting Ads in Video Streams Using Acoustic and Visual Cues., , and . Computer, 39 (12): 135-137 (2006)Relational Information Exchange and Aggregation in Multi-Context Systems., , and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 120-133. Springer, (2011)KMonitor - A Tool for Monitoring Plan Execution in Action Theories., , and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 416-421. Springer, (2005)Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems., , and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 107-119. Springer, (2011)Considerations on Updates of Logic Programs., , , and . JELIA, volume 1919 of Lecture Notes in Computer Science, page 2-20. Springer, (2000)