Marcello Balduccini

Akanksha Sinha

AI Soc., April, 2023

Pushing the Limits of Clingo's Incremental Grounding and Solving Capabilities in Practical Applications.

[BibT_eX]

[DOI]

Michael Barborak

David A. Ferrucci

Algorithms, March, 2023

Machines as Thought Partners: Reflections on 50 Years of Prolog.

[BibT_eX]

[DOI]

Proceedings of the Prolog: The Next 50 Years, 2023

Answer Set Planning: A Survey.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2023

Explanations for Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

Formalizing and Reasoning About Supply Chain Contracts Between Agents.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2023

Advancements in xASP, an XAI System for Answer Set Programming.

[BibT_eX]

[DOI]

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

2022

People, Ideas, and the Path Ahead.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2022

xASP: An Explanation Generation System for Answer Set Programming.

[BibT_eX]

[DOI]

Ly Ly T. Trieu

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

2021

Preface.

[BibT_eX]

[DOI]

Stefan Woltran

Theory Pract. Log. Program., 2021

Generating explanations for answer set programming applications.

[BibT_eX]

[DOI]

CoRR, 2021

Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE World Forum on Internet of Things, 2021

exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules.

[BibT_eX]

[DOI]

Ly Ly T. Trieu

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

2020

Action-Centered Information Retrieval.

[BibT_eX]

[DOI]

Kathleen Campbell Garwood

Emily C. LeBlanc

Theory Pract. Log. Program., 2020

Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP.

[BibT_eX]

[DOI]

Edward R. Griffor

Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020

An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Action Languages and COVID-19: Lessons Learned.

[BibT_eX]

[DOI]

Kathleen Campbell Garwood

Michael Barborak

David A. Ferrucci

Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

Dynamic Collaborative Visualization of the United Nations Sustainable Development Goals (SDGs): Creating an SDG Dashboard for Reporting and Best Practice Sharing.

[BibT_eX]

[DOI]

David Steingard

Proceedings of the 15th International Joint Conference on Computer Vision, 2020

2019

Explaining Actual Causation via Reasoning About Actions and Change.

[BibT_eX]

[DOI]

Emily C. LeBlanc

Joost Vennekens

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, 2019

2018

An ASP Methodology for Understanding Narratives about Stereotypical Activities.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Answer Set Planning in Single- and Multi-agent Environments.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Reasoning about Smart City.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Smart Computing, 2018

Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning.

[BibT_eX]

[DOI]

Claire Vishik

Proceedings of the Security Standardisation Research - 4th International Conference, 2018

2017

CASP solutions for planning in hybrid domains.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

Constraint answer set solver EZCSP and why integration schemas matter.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

CASP for Robot Control in Hybrid Domains.

[BibT_eX]

[DOI]

Ryan Young

Ankush Israney

Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, 2017

Understanding Restaurant Stories Using an ASP Theory of Intentions.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

2016

PDDL+ Planning via Constraint Answer Set Programming.

[BibT_eX]

[DOI]

Daniele Magazzeni

Marco Maratea

CoRR, 2016

Reasoning about Truthfulness of Agents Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015

Ontology-Driven Data Semantics Discovery for Cyber-Security.

[BibT_eX]

[DOI]

Sarah Kushner

Jacquelin Speck

Proceedings of the Practical Aspects of Declarative Languages, 2015

A Theory of Intentions for Intelligent Agents - (Extended Abstract).

[BibT_eX]

[DOI]

Justin Blount

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Making Sense of Future Cybersecurity Technologies: Using Ontologies for Multidisciplinary Domain Analysis.

[BibT_eX]

[DOI]

Claire Vishik

Proceedings of the ISSE 2015, 2015

Military Ontologies for Information Dissemination at the Tactical Edge.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Reasoning about Truthfulness of Agents Using Answer Set Programming.

[BibT_eX]

[DOI]

Enrico Pontelli

Proceedings of the 2015 AAAI Fall Symposia, Arlington, Virginia, USA, November 12-14, 2015, 2015

2014

Towards an ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (Extended Abstract).

[BibT_eX]

[DOI]

William C. Regli

Duc N. Nguyen

CoRR, 2014

An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report.

[BibT_eX]

[DOI]

William C. Regli

Duc N. Nguyen

CoRR, 2014

Coordinating UAVs in Dynamic Environments by Network-Aware Mission Planning.

[BibT_eX]

[DOI]

Duc N. Nguyen

William C. Regli

Proceedings of the 2014 IEEE Military Communications Conference, 2014

Towards a Theory of Intentional Agents.

[BibT_eX]

[DOI]

Justin Lane Blount

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Integration Schemas for Constraint Answer Set Programming: a Case Study.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

ASP with non-herbrand partial functions: a language and system for practical use.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules

[BibT_eX]

[DOI]

CoRR, 2013

Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration.

[BibT_eX]

[DOI]

CoRR, 2013

Prolog and ASP Inference under One Roof.

[BibT_eX]

[DOI]

Peter Schüller

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Some Recent Advances in Answer Set Programming (from the Perspective of NLP).

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), 2013

2012

Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2012

An Answer Set Solver for non-Herbrand Programs: Progress Report.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions.

[BibT_eX]

[DOI]

Proceedings of the Correct Reasoning, 2012

2011

Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case

[BibT_eX]

[DOI]

CoRR, 2011

Special issue on answer set programming.

[BibT_eX]

[DOI]

Stefan Woltran

AI Commun., 2011

Learning and using domain-specific heuristics in ASP solvers.

[BibT_eX]

[DOI]

AI Commun., 2011

Industrial-Size Scheduling with ASP+CP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory.

[BibT_eX]

[DOI]

Sara Girotto

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

Formalization of psychological knowledge in answer set programming and its application.

[BibT_eX]

[DOI]

Sara Girotto

Theory Pract. Log. Program., 2010

Formalizing Psychological Knowledge in Answer Set Programming.

[BibT_eX]

[DOI]

Sara Girotto

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Learning Domain-Specific Heuristics for Answer Set Solvers.

[BibT_eX]

[DOI]

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

2009

CR-Prolog as a Specification Language for Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Splitting a CR-Prolog Program.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008

Knowledge Representation and Question Answering.

[BibT_eX]

[DOI]

Chitta Baral

Proceedings of the Handbook of Knowledge Representation, 2008

AAAI 2008 Spring Symposia Reports.

[BibT_eX]

[DOI]

AI Mag., 2008

The AAA Architecture: An Overview.

[BibT_eX]

[DOI]

Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

Organizing Committee.

[BibT_eX]

[DOI]

Chitta Baral

Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

2007

cr-models: An Inference Engine for CR-Prolog.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Learning Action Descriptions with A-Prolog: Action Language C.

[BibT_eX]

[DOI]

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006

Answer set based design of knowledge systems.

[BibT_eX]

[DOI]

Monica L. Nogueira

Ann. Math. Artif. Intell., 2006

2005

Answer set based design of highly autonomous, rational agents.

[BibT_eX]

[DOI]

PhD thesis, 2005

Issues in parallel execution of non-monotonic reasoning systems.

[BibT_eX]

[DOI]

Parallel Comput., 2005

2004

USA-Smart: Improving the Quality of Plans in Answer Set Planning.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

2003

Diagnostic reasoning with A-Prolog.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2003

Non-monotonic Reasoning on Beowulf Platforms.

[BibT_eX]

[DOI]

Enrico Pontelli

F. Bermudez

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

CR-Prolog with Ordered Disjunction.

[BibT_eX]

[DOI]

Veena S. Mellarkod

Proceedings of the Answer Set Programming, 2003

2001

Diagnosing Physical Systems in A-Prolog.

[BibT_eX]

[DOI]

Joel Galloway

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

The USA-Advisor: A Case Study in Answer Set Planning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

An A Prolog decision support system for the Space Shuttle.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

2000

Experiments in Answer Sets Planning.

[BibT_eX]

[DOI]

Gaetano Aurelio Lanzarone

Gianpaolo Brignoli

F. Magni

Alessandro Provetti

Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000

A Framework for Interleaving Planning-while-Learning and Execution.

[BibT_eX]

[DOI]