Publications

Filter by type:
. Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, 2018.

PDF

. The DLVHEX System. KI, 2018.

PDF DOI

. Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract). Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden, 2018.

PDF DOI

. Exploiting Justifications for Lazy Grounding of Answer Set Programs. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm,Sweden, 2018.

PDF DOI

. Techniques for Efficient Lazy-Grounding ASP Solving. Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers, 2017.

PDF DOI

. Preference-Based Inconsistency Management in Multi-Context Systems. J. Artif. Intell. Res., 2017.

PDF DOI

. Lazy-Grounding for Answer Set Programs with External Source Access. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, 2017.

PDF DOI

. Blending Lazy-Grounding and CDNL Search for Answer-Set Solving. Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, 2017.

PDF DOI

. Answer Set Programming with External Source Access. Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures, 2017.

PDF DOI

. Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, 2016.

PDF

. Preference-Based Diagnosis Selection in Multi-Context Systems. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, 2015.

PDF DOI

. Answer Set Application Programming: a Case Study on Tetris. Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015, 2015.

PDF

. Finding explanations of inconsistency in multi-context systems. Artif. Intell., 2014.

PDF DOI

. OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, 2012.

PDF DOI

. Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems. Advanced Information Systems Engineering Workshops - CAiSE 2011 International Workshops, London, UK, June 20-24, 2011. Proceedings, 2011.

PDF DOI

. Relational Information Exchange and Aggregation in Multi-Context Systems. Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings, 2011.

PDF DOI

. Managed Multi-Context Systems. IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,2011, 2011.

PDF DOI

. Comparing Inconsistency Resolutions in Multi-Context Systems. New Directions in Logic, Language and Computation - ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers, 2011.

PDF DOI

. Advancing Multi-Context Systems by Inconsistency Management. Proceedings of the 5th International RuleML2011@BRF Challenge, co-located with the 5th International Rule Symposium, Fort Lauderdale, Florida, USA, November 3-5, 2011, 2011.

PDF

. Preference-Based Inconsistency Assessment in Multi-Context Systems. Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, 2010.

PDF DOI

. Finding Explanations of Inconsistency in Multi-Context Systems. Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010.

PDF

. Labeling RDF Graphs for Linear Time and Space Querying. Semantic Web Information Management - A Model-Based Perspective, 2009.

PDF DOI

. Four Lessons in Versatility or How Query Languages Adapt to the Web. Semantic Techniques for the Web, The REWERSE Perspective, 2009.

PDF DOI