Information Retrieval Lab
IRlab
![Foto de Information Retrieval Lab](/img/grupo.png)
![Foto de Universidad Rey Juan Carlos](/img/noimage_org.png)
Universidad Rey Juan Carlos
Madrid, EspañaPublicacións en colaboración con investigadores/as de Universidad Rey Juan Carlos (12)
2023
-
Computational approaches to Explainable Artificial Intelligence: Advances in theory, applications and trends
Information Fusion, Vol. 100
2020
-
Artificial intelligence within the interplay between natural and artificial computation: Advances in data science, trends and applications
Neurocomputing, Vol. 410, pp. 237-270
2009
-
Well-founded and partial stable semantics logical aspects
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
A purely model-theoretic semantics for disjunctive logic programs with negation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Minimal logic programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Partial equilibrium logic
Annals of Mathematics and Artificial Intelligence
2006
-
Analysing and extending well-founded and partial stable semantics using partial equilibrium logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Logical foundations of well-founded semantics
Proceedings of the International Conference on Knowledge Representation and Reasoning
-
On the logic and computation of partial equilibrium models
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Strong negation in well-founded and partial stable semantics for logic programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2005
-
Reducing propositional theories in equilibrium logic to logic programs
CEUR Workshop Proceedings
-
Reducing propositional theories in equilibrium logic to logic programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)