Information Retrieval Lab
IRlab
![Foto de Information Retrieval Lab](/img/grupo.png)
![Foto de Universidad Politécnica de Madrid](/img/noimage_org.png)
Universidad Politécnica de Madrid
Madrid, EspañaPublicacións en colaboración con investigadores/as de Universidad Politécnica de Madrid (23)
2024
-
Syntactic ASP forgetting with forks
Artificial Intelligence, Vol. 326
2023
-
Computational approaches to Explainable Artificial Intelligence: Advances in theory, applications and trends
Information Fusion, Vol. 100
-
Logic, Accountability and Design: Extended Abstract
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2022
-
A polynomial reduction of forks into logic programs
Artificial Intelligence, Vol. 308
-
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs
Algorithms, Vol. 15, Núm. 6
-
Syntactic ASP Forgetting with Forks
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020
-
Artificial intelligence within the interplay between natural and artificial computation: Advances in data science, trends and applications
Neurocomputing, Vol. 410, pp. 237-270
-
Forgetting Auxiliary Atoms in Forks
PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE
-
Forgetting auxiliary atoms in forks
IJCAI International Joint Conference on Artificial Intelligence
2019
-
Forgetting auxiliary atoms in forks
Artificial Intelligence, Vol. 275, pp. 575-601
-
Revisiting Explicit Negation in Answer Set Programming
Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 908-924
2018
-
Answer Set Programming from a Logical Point of View
KI - Kunstliche Intelligenz, Vol. 32, Núm. 2-3, pp. 109-118
-
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)
-
Stable reasoning
Journal of Applied Non-Classical Logics, Vol. 27, Núm. 3-4, pp. 238-254
2015
-
A denotational semantics for equilibrium logic
Theory and Practice of Logic Programming, Vol. 15, Núm. 4-5, pp. 620-634
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
2009
-
A revised concept of safety for general answer set programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)