José Pedro
Cabalar Fernández
Catedrático de Universidade
Université de Toulouse
Tolosa, FranciaPublications in collaboration with researchers from Université de Toulouse (20)
2023
-
Metric dynamic equilibrium logic
Journal of Applied Non-Classical Logics, Vol. 33, Núm. 3-4, pp. 495-519
-
Probabilistic Autoepistemic Equilibrium Logic
Intelligent Systems Reference Library (Springer Science and Business Media Deutschland GmbH), pp. 81-87
2020
-
Autoepistemic answer set programming
Artificial Intelligence, Vol. 289
-
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning
CEUR Workshop Proceedings
-
On the Splitting Property for Epistemic Logic Programs
PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE
-
On the splitting property for epistemic logic programs (extended abstract)
IJCAI International Joint Conference on Artificial Intelligence
-
Splitting Epistemic Logic Programs
Theory and Practice of Logic Programming
2019
-
Forgetting auxiliary atoms in forks
Artificial Intelligence, Vol. 275, pp. 575-601
-
Founded World Views with Autoepistemic Equilibrium Logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Gelfond–Zhang aggregates as propositional formulas
Artificial Intelligence, Vol. 274, pp. 26-43
-
Lower Bound Founded Logic of Here-and-There
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Revisiting Explicit Negation in Answer Set Programming
Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 908-924
-
Splitting Epistemic Logic Programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
-
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
Theory and Practice of Logic Programming
2017
-
A short biography of Luis Fariñas del Cerro
Journal of Applied Non-Classical Logics
-
Forgetting auxiliary atoms in forks
CEUR Workshop Proceedings
-
On the properties of atom definability and well-supportedness in logic programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Temporal Equilibrium Logic with past operators
Journal of Applied Non-Classical Logics, Vol. 27, Núm. 3-4, pp. 161-177
2015
-
An infinitary encoding of temporal equilibrium logic
Theory and Practice of Logic Programming, Vol. 15, Núm. 4-5, pp. 666-680
2014
-
A free logic for stable models with partial intensional functions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8761, pp. 340-354