Author of the publication

Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix.

, , and . ICLP (Technical Communications), volume 17 of LIPIcs, page 86-97. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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

Identifying Goals of Agents by Learning from Observations., , and . MIWAI, volume 11248 of Lecture Notes in Computer Science, page 125-138. Springer, (2018)Circumscription Policies for Induction., and . ILP, volume 3194 of Lecture Notes in Computer Science, page 164-179. Springer, (2004)Non-monotone Dualization via Monotone Dualization., , and . ILP (Late Breaking Papers), volume 975 of CEUR Workshop Proceedings, page 74-79. CEUR-WS.org, (2012)Grammatical Concept Representation for Randomised Optimisation Algorithms in Relational Learning., , and . ISDA, page 1450-1455. IEEE Computer Society, (2009)Partition-Based Consequence Finding., and . ICTAI, page 641-648. IEEE Computer Society, (2011)FPGA-based frequent items counting using matrix of equality comparators., , , , , , and . MWSCAS, page 285-288. IEEE, (2017)Learning Inference by Induction., , and . ILP, volume 9575 of Lecture Notes in Computer Science, page 183-199. Springer, (2015)A BDD-Based Algorithm for Learning from Interpretation Transition., , and . ILP, volume 8812 of Lecture Notes in Computer Science, page 47-63. Springer, (2013)Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation., and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 277-282. IOS Press, (2010)Model and Algorithm for Dynamic Multi-Objective Distributed Optimization., , , and . PRIMA, volume 8291 of Lecture Notes in Computer Science, page 413-420. Springer, (2013)