Author of the publication

Modeling production of resources using Answer Set Planning.

, , , , , and . CONIELECOMP, page 244-249. IEEE Computer Society, (2011)

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

Béziau's SP3A Logic and Logic Programming., , and . Res. Comput. Sci., 148 (3): 309-320 (2019)An Alternative Definition of Stable Models Via Łukasiewicz Logic., , and . Computación y Sistemas (CyS), (2023)0-1 Integer Programming for Computing Semi-Stable Semantics of Argumentation Frameworks., , and . Computación y Sistemas, (2017)Semantics for Possibilistic Disjunctive Programs., , and . Theory Pract. Log. Program., 13 (1): 33-70 (2013)Revisiting ℤ., , and . Notre Dame J. Formal Log., 55 (1): 129-155 (2014)Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics., and . Answer Set Programming, volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)Applications of Preferences using Answer Set Programming., , , , and . Answer Set Programming, volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)Characterizing stage argumentation semantics based on stable abducible semantics., , and . LANMR, volume 1659 of CEUR Workshop Proceedings, page 41-49. CEUR-WS.org, (2016)A Single Proof of Classical Behaviour in da Costa's Cn Systems., and . LANMR (Selected Papers), volume 315 of Electronic Notes in Theoretical Computer Science, page 3-16. Elsevier, (2014)Mining Common Patterns on Graphs., , and . CIS (1), volume 3801 of Lecture Notes in Computer Science, page 41-48. Springer, (2005)