Author of the publication

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

Datalog Development Tools - (Extended Abstract)., , , , and . Datalog, volume 7494 of Lecture Notes in Computer Science, page 81-85. Springer, (2012)The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track., , , , , , , , , and 9 other author(s). LPNMR, volume 6645 of Lecture Notes in Computer Science, page 388-403. Springer, (2011)A Visual Interface for Drawing ASP Programs., , and . CILC, volume 598 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)Development Tools for Datalog., , , , and . SEBD, page 385-392. Curran Associates, (2013)ASPIDE: Integrated Development Environment for Answer Set Programming., , and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 317-330. Springer, (2011)Extending ASPIDE with User-defined Plugins., , , and . CILC, volume 857 of CEUR Workshop Proceedings, page 236-240. CEUR-WS.org, (2012)Testing ASP programs in ASPIDE., , and . CILC, volume 810 of CEUR Workshop Proceedings, page 115-129. CEUR-WS.org, (2011)JASP: A Framework for Integrating Answer Set Programming with Java., , , and . KR, AAAI Press, (2012)A graphic tool for ontology reasoning under Datalog∃., , , , and . SEBD, page 51-62. Curran Associates, (2013)Unit Testing in ASPIDE., , , and . INAP/WLP, volume 7773 of Lecture Notes in Computer Science, page 345-364. Springer, (2011)