Proudly presenting the link to the newest (co-)publication in Artificial Intelligence about Abstraction!
Zeynep Gozen Saribatur and Thomas Eiter and Peter Schüller. Abstraction for non-ground answer set programs. Artificial Intelligence 300, pages 103563, 2021, DOI: 10.1016/j.artint.2021.103563
My YouTube Podcast “Human – Technology – Future” has started – check it out, subscribe, and join the journey through Artificial Intelligence and Spaceflight!
A new Plugin for the Hexlite Solver and the HEX Language makes it possible, to use OWL Ontologies from HEX Programs using a bidirectional OWLAPI integration. That is, the Answer Set can modify the ontology and the ontology can influence the truth of rules in the Answer Set Program. The publication also concerns the question, how Explainability can be defined in the context of Logic Programming.
Another publication that I coauthored has been accepted and presented at the ICLP conference 2019 “Partial Compilation of ASP Programs“- it is about compiling ASP programs into C++ source code for more efficient evaluation of constraints that would be huge when instantiated as is usually done. The paper is published in the journal Theory and Practice of Logic Programming.