Information Retrieval Lab
IRlab
![Foto de Information Retrieval Lab](/img/grupo.png)
![Foto de Vienna University of Technology](/img/noimage_org.png)
Vienna University of Technology
Viena, AustriaPublicacións en colaboración con investigadores/as de Vienna University of Technology (4)
2023
-
Deontic Equilibrium Logic with eXplicit Negation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2022
-
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs
Algorithms, Vol. 15, Núm. 6
2014
-
A complexity assessment for queries involving sufficient and necessary causes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8761, pp. 297-310
-
Causal graph justifications of logic programs
Theory and Practice of Logic Programming