| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pedro Cabalar, Carlos Pérez, Gilberto Pérez |
Equilibrium graphs.  |
Ann. Math. Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano |
Multi-context systems in dynamic environments. |
Ann. Math. Artif. Intell. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal |
Forgetting auxiliary atoms in forks. |
Artif. Intell. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
Gelfond-Zhang aggregates as propositional formulas. |
Artif. Intell. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thiago Freitas dos Santos, Paulo E. Santos, Leonardo Anjoletto Ferreira, Reinaldo A. C. Bianchi, Pedro Cabalar |
Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro |
Founded World Views with Autoepistemic Equilibrium Logic. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro |
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez, Francisco Suárez |
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation. |
ICLP Technical Communications |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal |
Revisiting Explicit Negation in Answer Set Programming. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal |
Revisiting Explicit Negation in Answer Set Programming. |
TPLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Torsten Schaub |
Dynamic and Temporal Answer Set Programming on Linear Finite Traces. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Torsten Schaub |
Temporal Logic Programs with Temporal Description Logic Axioms. |
Description Logic, Theory Combination, and All That |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro |
Splitting Epistemic Logic Programs. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub |
telingo = ASP + Time. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro |
Founded World Views with Autoepistemic Equilibrium Logic. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Martín Diéguez, Torsten Schaub |
Towards Dynamic Answer Set Programming over Finite Traces. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
Lower Bound Founded Logic of Here-and-There. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Manuel Rey, Concepción Vidal |
A Complete Planner for Temporal Answer Set Programming. |
EPIA (2) |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, David Pearce 0001, Agustín Valverde |
Answer Set Programming from a Logical Point of View. |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann |
Temporal Answer Set Programming on Finite Traces. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001 |
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro |
Splitting Epistemic Logic Programs. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann |
Temporal Answer Set Programming on Finite Traces. |
TPLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001 |
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. |
TPLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thiago Freitas dos Santos, Paulo Santos, Leonardo Anjoletto Ferreira, Reinaldo A. C. Bianchi, Pedro Cabalar |
Solving a Spatial Puzzle Using Answer Set Programming Integrated with Markov Decision Process. |
BRACIS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub |
Introducing Temporal Stable Models for Linear Dynamic Logic. |
KR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce 0001 |
A short biography of Luis Fariñas del Cerro. |
Journal of Applied Non-Classical Logics |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal |
Temporal Equilibrium Logic with past operators. |
Journal of Applied Non-Classical Logics |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, David Pearce 0001, Agustín Valverde |
Stable reasoning. |
Journal of Applied Non-Classical Logics |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez |
Temporal logic programs with variables. |
TPLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno |
Enablers and inhibitors in causal justifications of logic programs. |
TPLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Felicidad Aguado, Pablo Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
Verification for ASP denotational semantics: A case study using the PVS theorem prover. |
Logic Journal of the IGPL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal |
Forgetting Auxiliary Atoms in Forks. |
ASPOCP@LPNMR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Stefania Costantini, Andrea Formisano |
Multi-Context Systems: Dynamics and Evolution. |
ASPOCP@LPNMR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
Gelfond-Zhang Aggregates as Propositional Formulas. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde |
On the Properties of Atom Definability and Well-Supportedness in Logic Programming. |
EPIA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Rodrigo Martín |
haspie - A Musical Harmonisation Tool Based on ASP. |
EPIA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Paulo E. Santos |
A qualitative spatial representation of string loops as holes. |
Artif. Intell. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo E. Santos, Pedro Cabalar |
Framing holes within a loop hierarchy. |
Spatial Cognition & Computation |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno |
Justifications for Programs with Disjunctive and Causal-choice Rules. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Carlos Pérez, Gilberto Pérez |
Equilibrium Graphs. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno |
Enablers and Inhibitors in Causal Justifications of Logic Programs. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal |
Temporal Logic Programs with Variables. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno |
Justifications for programs with disjunctive and causal-choice rules. |
TPLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub |
An ASP Semantics for Default Reasoning with Constraints. |
IJCAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Felicidad Aguado, Pedro Cabalar, David Pearce 0001, Gilberto Pérez, Concepción Vidal |
A Denotational Semantics for Equilibrium Logic. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Felicidad Aguado, Pedro Cabalar, David Pearce 0001, Gilberto Pérez, Concepción Vidal |
A denotational semantics for equilibrium logic. |
TPLP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Martín Diéguez, Concepción Vidal |
An infinitary encoding of temporal equilibrium logic. |
TPLP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandiño |
Explaining Preferences and Preferring Explanations. |
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar |
Stable Models for Temporal Theories - - Invited Talk -. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno |
Enablers and Inhibitors in Causal Justifications of Logic Programs. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Michael Fink 0001 |
Causal Graph Justifications of Logic Programs. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Michael Fink 0001 |
Causal Graph Justifications of Logic Programs. |
TPLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandiño, Michael Fink 0001 |
A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde |
A Free Logic for Stable Models with Partial Intensional Functions. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Martín Diéguez |
Strong Equivalence of Non-Monotonic Temporal Theories. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno |
An Algebra of Causal Chains. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Agustín Valverde |
Foreword. |
Journal of Applied Non-Classical Logics |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal |
Temporal equilibrium logic: a survey. |
Journal of Applied Non-Classical Logics |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Tran Cao Son (eds.) |
Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo E. Santos, Pedro Cabalar |
An Investigation of Actions, Change and Space. |
ICAPS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar |
Causal Logic Programming. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal |
Paving the Way for Temporal Grounding. |
ICLP (Technical Communications) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar |
A logical characterisation of ordered disjunction. |
AI Commun. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Paulo E. Santos |
Formalising the Fisherman's Folly puzzle. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar |
Functional answer set programming. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar |
Answer Set; Programming? |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Martín Diéguez |
STeLP - A Tool for Temporal Answer Set Programming. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar |
Temporal Equilibrium Logic. |
Log-IC@LPNMR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
Loop Formulas for Splitable Temporal Logic Programs. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar |
Logic Programs and Causal Proofs. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Stéphane Demri |
Automata-Based Computation of Temporal Equilibrium Models. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar |
A Logical Charaterisation of Ordered Disjunction |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar |
Functional Answer Set Programming |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar |
A Normal Form for Linear Temporal Equilibrium Logic. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, David Pearce 0001, Agustín Valverde |
A Revised Concept of Safety for General Answer Set Programs. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001 |
Well-Founded and Partial Stable Semantics Logical Aspects. |
CSR |
2009 |
DBLP DOI BibTeX RDF |
partial stable models, equilibrium logic, partial equilibrium logic, well-founded semantics |
| 1 | Paulo E. Santos, Pedro Cabalar |
The Space within Fisherman's Folly: Playing with a Puzzle in Mereotopology. |
Spatial Cognition & Computation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar |
Partial Functions and Equality in Answer Set Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
Strongly Equivalent Temporal Logic Programs. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde |
Partial equilibrium logic. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 03B60, 03B55 |
| 1 | Pedro Cabalar, Paolo Ferraris |
Propositional theories are strongly equivalent to logic programs |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Paolo Ferraris |
Propositional theories are strongly equivalent to logic programs. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, David Pearce 0001, Agustín Valverde |
Minimal Logic Programs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
minimisation of boolean and multivalued functions, logic programming, answer set programming |
| 1 | Pedro Cabalar, David Pearce 0001, Panos Rondogiannis, William W. Wadge |
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo E. Santos, Pedro Cabalar |
Holes, Knots and Shapes: A Spatial Ontology of a Puzzle. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2007 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Gilberto Pérez Vega |
Temporal Equilibrium Logic: A First Approach. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde |
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde |
On the Logic and Computation of Partial Equilibrium Models. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001 |
Logical Foundations of Well-Founded Semantics. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Paulo E. Santos |
Strings and Holes: An Exercise on Spatial Reasoning. |
IBERAMIA-SBIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001 |
Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. |
IBERAMIA-SBIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, David Pearce 0001, Agustín Valverde |
Reducing Propositional Theories in Equilibrium Logic to Logic Programs. |
EPIA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, David Pearce 0001, Agustín Valverde |
Reducing Propositional Theories in Equilibrium Logic to Logic Programs. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, David Lorenzo |
New Insights on the Intuitionistic Interpretation of Default Logic. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, David Lorenzo |
Logic Programs with Functions and Default Values. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar |
Alternative Characterizations for Strong Equivalence of Logic Programs |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar |
Alternative characterizations for strong equivalence of logic programs. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar |
A Rewriting Method for Well-Founded Semantics with Explicit Negation. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar |
A Three-Valued Characterization for Strong Equivalence of Logic Programs. |
AAAI/IAAI |
2002 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license