Author of the publication

Exploiting Unfounded Sets for HEX-Program Evaluation.

, , , , and . JELIA, volume 7519 of Lecture Notes in Computer Science, page 160-175. Springer, (2012)

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

Considerations on Updates of Logic Programs., , , and . JELIA, volume 1919 of Lecture Notes in Computer Science, page 2-20. Springer, (2000)The mcs-ie System for Explaining Inconsistency in Multi-Context Systems., , , and . JELIA, volume 6341 of Lecture Notes in Computer Science, page 356-359. Springer, (2010)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)Minimal Constraint Violation Probability in Model Predictive Control for Linear Systems., , , and . CoRR, (2024)Implementation of Linear Model Predictive Control - Tutorial.. CoRR, (2021)Comparison of Dynamic Tomato Growth Models for Optimal Control in Greenhouses., , , , , and . CoRR, (2023)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)