Author of the publication

Adaptive CHR Meets CHRv: An Extended Refined Operational Semantics for CHRv Based on Justifications.

, , and . Constraint Handling Rules, volume 5388 of Lecture Notes in Computer Science, Springer, (2008)

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

Adaptive CHR Meets CHRv: An Extended Refined Operational Semantics for CHRv Based on Justifications., , and . Constraint Handling Rules, volume 5388 of Lecture Notes in Computer Science, Springer, (2008)Controlling Content Realization with Functional Unification Grammars., and . NLG, volume 587 of Lecture Notes in Computer Science, page 89-104. Springer, (1992)Can Ontologies Improve Web Search Engine Effectiveness Before the Advent of the Semantic Web?, and . SBBD, page 157-169. UFAM, (2003)ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components., and . WLP, volume 1843-06-02 of INFSYS Research Report, page 192-199. Technische Universität Wien, Austria, (2006)Evaluating the Portability of Revision Rules for Incremental Summary Generation.. ACL, page 205-214. Morgan Kaufmann Publishers / ACL, (1996)REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges., , , , , , , and . TOOLS, volume 11771 of Lecture Notes in Computer Science, page 406-417. Springer, (2019)Online Verification through Model Checking of Medical Critical Intelligent Systems., , , , and . DSN Workshops, page 32-37. IEEE, (2020)A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence., , , , , and . SAFECOMP Workshops, volume 11699 of Lecture Notes in Computer Science, page 391-397. Springer, (2019)Avaliação Empírica da Expansão de Consultas Baseada em um Thesaurus: aplicação em um engenho de busca na Web., and . RITA, 10 (2): 9-28 (2004)Looking at both the present and the past to efficiently update replicas of web content., , , , and . WIDM, page 75-80. ACM, (2005)