Author of the publication

Generating Optimal Code Using Answer Set Programming.

, , , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 554-559. 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

An Ordered Choice Logic Programming Front-End for Answer Set Solvers.. APPIA-GULP-PRODE, page 362-373. (2003)Logic Programming Agents and Game Theory., and . Answer Set Programming, (2001)CBA: A cluster-based client/server data aggregation routing protocol., , and . Ad Hoc Networks, (2016)Argumentation-Based Reasoning about Plans, Maintenance Goals, and Norms., , , and . ACM Trans. Auton. Adapt. Syst., 14 (3): 9:1-9:39 (2020)Revising Institutions Governed by Institutions for Compliant Regulations., , , , , and . COIN@AAMAS/IJCAI, volume 9628 of Lecture Notes in Computer Science, page 191-208. Springer, (2015)Contextualized Institutions in Virtual Organizations., , , , , and . COIN@AAMAS/PRIMA, volume 8386 of Lecture Notes in Computer Science, page 136-154. Springer, (2013)Debugging Logic Programs under the Answer Set Semantics., and . Answer Set Programming, volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)Normative Run-Time Reasoning for Institutionally-Situated BDI Agents., , and . COIN@AAMAS&WI-IAT, page 129-148. Springer, (2011)ODRL Policy Modelling and Compliance Checking., , , and . RuleML+RR, volume 11784 of Lecture Notes in Computer Science, page 36-51. Springer, (2019)Modelling Normative Frameworks Using Answer Set Programing., , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 548-553. Springer, (2009)