Pedro Cabalar

François Laferrière

Thiago Freitas dos Santos

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

2022

Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles.

[BibT_eX]

[DOI]

Leonardo Anjoletto Ferreira

Reinaldo A. C. Bianchi

Appl. Intell., 2022

A polynomial reduction of forks into logic programs.

[BibT_eX]

[DOI]

Artif. Intell., 2022

Metric Temporal Answer Set Programming over Timed Traces.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

A MaxSAT Solver Based on Differential Evolution (Preliminary Report).

[BibT_eX]

[DOI]

Manuel Framil

José Santos

Proceedings of the Progress in Artificial Intelligence, 2022

2021

Splitting Epistemic Logic Programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Editor's Note.

[BibT_eX]

[DOI]

Amparo Alonso-Betanzos

Graçaliz Pereira Dimuro

Marcos García

José Hernández-Orallo

Raquel Hervás

Angeles Manjarés

Fernando Martínez-Plumed

Inmaculada Mora-Jiménez

Miquel Sànchez-Marrè

Int. J. Interact. Multim. Artif. Intell., 2021

Representing and Solving Spatial Problems (Dagstuhl Seminar 21492).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2021

Explainable Machine Larning for liver transplantation.

[BibT_eX]

[DOI]

CoRR, 2021

Towards a Semantics for Hybrid ASP systems.

[BibT_eX]

[DOI]

CoRR, 2021

Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments").

[BibT_eX]

[DOI]

CoRR, 2021

Temporal ASP: From Logical Foundations to Practical Use with telingo.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2021

Automata for Dynamic Answer Set Solving: Preliminary Report.

[BibT_eX]

[DOI]

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

2020

Modular Answer Set Programming as a Formal Specification Language.

[BibT_eX]

[DOI]

Yuliya Lierler

Theory Pract. Log. Program., 2020

eclingo : A Solver for Epistemic Logic Programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

Towards Metric Temporal Answer Set Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

A System for Explainable Answer Set Programming.

[BibT_eX]

[DOI]

Brais Muñiz

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Temporal Answer Set Programming.

[BibT_eX]

[DOI]

CoRR, 2020

Implementing Dynamic Answer Set Programming.

[BibT_eX]

[DOI]

CoRR, 2020

Autoepistemic answer set programming.

[BibT_eX]

[DOI]

Artif. Intell., 2020

Temporal Modalities in Answer Set Programming (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020

Spatial Reasoning about String Loops and Holes in Temporal ASP.

[BibT_eX]

[DOI]

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

A Uniform Treatment of Aggregates and Constraints in Hybrid ASP.

[BibT_eX]

[DOI]

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

On the Splitting Property for Epistemic Logic Programs (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Forgetting Auxiliary Atoms in Forks (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning.

[BibT_eX]

[DOI]

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

An ASP Semantics for Constraints Involving Conditional Aggregates.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Implementing Dynamic Answer Set Programming over Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Explicit Negation in Linear-Dynamic Equilibrium Logic.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Revisiting Explicit Negation in Answer Set Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

The knowledge of knots: an interdisciplinary literature review.

[BibT_eX]

[DOI]

Roberto Casati

Spatial Cogn. Comput., 2019

A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Equilibrium graphs.

[BibT_eX]

[DOI]

Carlos Pérez

Gilberto Pérez

Ann. Math. Artif. Intell., 2019

Multi-context systems in dynamic environments.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2019

Gelfond-Zhang aggregates as propositional formulas.

[BibT_eX]

[DOI]

Artif. Intell., 2019

Forgetting auxiliary atoms in forks.

[BibT_eX]

[DOI]

Artif. Intell., 2019

telingo = ASP + Time.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Founded World Views with Autoepistemic Equilibrium Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Towards Dynamic Answer Set Programming over Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Lower Bound Founded Logic of Here-and-There.

[BibT_eX]

[DOI]

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

A Complete Planner for Temporal Answer Set Programming.

[BibT_eX]

[DOI]

Manuel Rey

Concepción Vidal

Proceedings of the Progress in Artificial Intelligence, 2019

Dynamic and Temporal Answer Set Programming on Linear Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the Datalog 2.0 2019, 2019

Temporal Logic Programs with Temporal Description Logic Axioms.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

Temporal Answer Set Programming on Finite Traces.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Answer Set Programming from a Logical Point of View.

[BibT_eX]

[DOI]

Thiago Freitas dos Santos

Künstliche Intell., 2018

Introducing Temporal Stable Models for Linear Dynamic Logic.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Solving a Spatial Puzzle Using Answer Set Programming Integrated with Markov Decision Process.

[BibT_eX]

[DOI]

Paulo Santos

Leonardo Anjoletto Ferreira

Reinaldo A. C. Bianchi

Proceedings of the 7th Brazilian Conference on Intelligent Systems, 2018

2017

Enablers and inhibitors in causal justifications of logic programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

Temporal logic programs with variables.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

Stable reasoning.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2017

A short biography of Luis Fariñas del Cerro.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2017

Temporal Equilibrium Logic with past operators.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2017

Verification for ASP denotational semantics: A case study using the PVS theorem prover.

[BibT_eX]

[DOI]

Log. J. IGPL, 2017

Multi-Context Systems: Dynamics and Evolution.

[BibT_eX]

[DOI]

Stefania Costantini

Andrea Formisano

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

haspie - A Musical Harmonisation Tool Based on ASP.

[BibT_eX]

[DOI]

Rodrigo Martín

Proceedings of the Progress in Artificial Intelligence, 2017

On the Properties of Atom Definability and Well-Supportedness in Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2017

2016

Justifications for programs with disjunctive and causal-choice rules.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Framing holes within a loop hierarchy.

[BibT_eX]

[DOI]

Spatial Cogn. Comput., 2016

A qualitative spatial representation of string loops as holes.

[BibT_eX]

[DOI]

Artif. Intell., 2016

An ASP Semantics for Default Reasoning with Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

An infinitary encoding of temporal equilibrium logic.

[BibT_eX]

[DOI]

Concepción Vidal

Theory Pract. Log. Program., 2015

A denotational semantics for equilibrium logic.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Stable Models for Temporal Theories - - Invited Talk -.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Explaining Preferences and Preferring Explanations.

[BibT_eX]

[DOI]

Jorge Fandiño

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

Causal Graph Justifications of Logic Programs.

[BibT_eX]

[DOI]

Michael Fink

Theory Pract. Log. Program., 2014

Strong Equivalence of Non-Monotonic Temporal Theories.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

A Complexity Assessment for Queries Involving Sufficient and Necessary Causes.

[BibT_eX]

[DOI]

Jorge Fandiño

Michael Fink

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

A Free Logic for Stable Models with Partial Intensional Functions.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

Foreword.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2013

Temporal equilibrium logic: a survey.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2013

An Algebra of Causal Chains.

[BibT_eX]

[DOI]

CoRR, 2013

An Investigation of Actions, Change and Space.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012

Paving the Way for Temporal Grounding.

[BibT_eX]

[DOI]

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

Causal Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Correct Reasoning, 2012

2011

Functional answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

A logical characterisation of ordered disjunction.

[BibT_eX]

[DOI]

AI Commun., 2011

Formalising the Fisherman's Folly puzzle.

[BibT_eX]

[DOI]

Artif. Intell., 2011

STeLP - A Tool for Temporal Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Temporal Equilibrium Logic.

[BibT_eX]

[DOI]

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

Loop Formulas for Splitable Temporal Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Automata-Based Computation of Temporal Equilibrium Models.

[BibT_eX]

[DOI]

Stéphane Demri

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

Answer Set; Programming?

[BibT_eX]

[DOI]

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

Logic Programs and Causal Proofs.

[BibT_eX]

[DOI]

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

A Logical Charaterisation of Ordered Disjunction

[BibT_eX]

[DOI]

CoRR, 2010

A Normal Form for Linear Temporal Equilibrium Logic.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

A Revised Concept of Safety for General Answer Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Well-Founded and Partial Stable Semantics Logical Aspects.

[BibT_eX]

[DOI]

Sergei P. Odintsov

Proceedings of the Computer Science, 2009

2008

The Space within Fisherman's Folly: Playing with a Puzzle in Mereotopology.

[BibT_eX]

[DOI]

Spatial Cogn. Comput., 2008

Strongly Equivalent Temporal Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Partial Functions and Equality in Answer Set Programming.

[BibT_eX]

[DOI]

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

2007

Propositional theories are strongly equivalent to logic programs.

[BibT_eX]

[DOI]

Paolo Ferraris

Theory Pract. Log. Program., 2007

Partial equilibrium logic.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Minimal Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

Temporal Equilibrium Logic: A First Approach.

[BibT_eX]

[DOI]

Gilberto Pérez Vega

Proceedings of the Computer Aided Systems Theory, 2007

Holes, Knots and Shapes: A Spatial Ontology of a Puzzle.

[BibT_eX]

[DOI]

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006

Logical Foundations of Well-Founded Semantics.

[BibT_eX]

[DOI]

Sergei P. Odintsov

Proceedings of the Proceedings, 2006

On the Logic and Computation of Partial Equilibrium Models.

[BibT_eX]

[DOI]

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

Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 22nd International Conference, 2006

Strings and Holes: An Exercise on Spatial Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2006

Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs.

[BibT_eX]

[DOI]

Sergei P. Odintsov

Proceedings of the Advances in Artificial Intelligence, 2006

2005

Reducing Propositional Theories in Equilibrium Logic to Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2005

2004

Logic Programs with Functions and Default Values.

[BibT_eX]

[DOI]

David Lorenzo

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

New Insights on the Intuitionistic Interpretation of Default Logic.

[BibT_eX]

David Lorenzo

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2002

Alternative characterizations for strong equivalence of logic programs.

[BibT_eX]

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

A Rewriting Method for Well-Founded Semantics with Explicit Negation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 18th International Conference, 2002

A Three-Valued Characterization for Strong Equivalence of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001

Well Founded Semantics as Two dimensional Here and There.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

2000

PAL: Pertinence Action Language

[BibT_eX]

[DOI]