Giovambattista Ianni

Proceedings of the 38th Italian Conference on Computational Logic, 2023

2022

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.

[BibT_eX]

[DOI]

Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

Declarative AI design in Unity using Answer Set Programming.

[BibT_eX]

[DOI]

Denise Angilica

Proceedings of the IEEE Conference on Games, CoG 2022, Beijing, 2022

AI and Videogames: a "Drosophila" for Declarative Methods.

[BibT_eX]

[DOI]

Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28, 2022

2020

Incremental maintenance of overgrounded logic programs with tailored simplifications.

[BibT_eX]

[DOI]

Jessica Zangari

Theory Pract. Log. Program., 2020

ASP-Core-2 Input Language Format.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

2019

Incremental Answer Set Programming with Overgrounding.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

An Infrastructure for Multi-shot Reasoning with Incremental Grounding.

[BibT_eX]

[DOI]

Jessica Zangari

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Tight Integration of Rule-Based Tools in Game Development.

[BibT_eX]

[DOI]

Denise Angilica

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018

The DLVHEX System.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

Integrating Rule-Based AI Tools into Mainstream Game Development.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

2016

A model building framework for answer set programming with external computations.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Intell. AI Games, 2016

2014

The third open answer set programming competition.

[BibT_eX]

[DOI]

Francesco Ricca

Theory Pract. Log. Program., 2014

2013

ActHEX: Implementing HEX Programs with Action Atoms.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

VCWC: A Versioning Competition Workflow Compiler.

[BibT_eX]

[DOI]

Lara Katharina Spendier

Johannes Peter Wallner

Guohui Xiao

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

The Fourth Answer Set Programming Competition: Preliminary Report.

[BibT_eX]

[DOI]

Lara Katharina Spendier

Johannes Peter Wallner

Guohui Xiao

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

A Domain Meta-wrapper Using Seeds for Intelligent Author List Extraction in the Domain of Scholarly Articles.

[BibT_eX]

[DOI]

Francesco Cauteruccio

Proceedings of the Research and Advanced Technology for Digital Libraries, 2013

AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

2012

The Answer Set Programming Competition.

[BibT_eX]

[DOI]

AI Mag., 2012

2011

Well-founded semantics for description logic programs in the semantic web.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2011

Finitely recursive programs: Decidability and bottom-up computation.

[BibT_eX]

[DOI]

AI Commun., 2011

Towards a Policy Language for Managing Inconsistency in Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011

Pushing Efficient Evaluation of HEX Programs by Modular Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.

[BibT_eX]

[DOI]

Maria Carmela Santoro

Marco Sirianni

Giorgio Terracina

Pierfrancesco Veltri

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

2010

HEX Programs with Action Atoms.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

Enhancing ASP by Functions: Decidable Classes and Implementation Techniques.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Hybrid Reasoning with Rules and Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Techniques for the Web, The REWERSE Perspective, 2009

Efficiently Querying RDF(S) Ontologies with Answer Set Programming.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Answer Set Programming: A Primer.

[BibT_eX]

[DOI]

Thomas Eiter

Thomas Krennwallner

Proceedings of the Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30, 2009

An ASP System with Functions, Lists, and Sets.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Combining Nonmonotonic Knowledge Bases with External Sources.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

A Rule System for Querying Persistent RDFS Data.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2009

2008

Exploiting conjunctive queries in description logic programs.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2008

Combining answer set programming with description logics for the Semantic Web.

[BibT_eX]

[DOI]

Artif. Intell., 2008

Rules and Ontologies for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web, 2008

Computable Functions in ASP: Theory and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 3rd Asian Semantic Web Conference, 2008

2007

External sources of knowledge and value invention in logic programming.

[BibT_eX]

[DOI]

Susanna Cozza

Ann. Math. Artif. Intell., 2007

Some Experiments on the Usage of a Deductive Database for RDFS Querying and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 4th Italian Semantic Web Workshop, Dipartimento di Informatica - Universita' degli Studi di Bari, 2007

2006

Template programs for Disjunctive Logic Programming: An operational semantics.

[BibT_eX]

[DOI]

AI Commun., 2006

dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework.

[BibT_eX]

[DOI]

Proceedings of the 20th Workshop on Logic Programming, 2006

Protection Techniques from Information Extraction.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

Forgetting in Managing Rules and Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

Reasoning with Rules and Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web, 2006

Decidable Fragments of Logic Programming with Value Invention.

[BibT_eX]

[DOI]

Susanna Cozza

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2006

2005

The INFOMIX system for advanced integration of incomplete and inconsistent data.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005

Data Integration: a Challenging ASP Application.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

External Sources of Computation for Answer Set Solvers.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Specification of Assessment-test Criteria through ASP Specifications.

[BibT_eX]

[DOI]