Information Retrieval Lab
IRlab
![Foto de Information Retrieval Lab](/img/grupo.png)
![Foto de Sobolev Institute of Mathematics](/img/noimage_org.png)
Sobolev Institute of Mathematics
Novosibirsk, RusiaPublicaciones en colaboración con investigadores/as de Sobolev Institute of Mathematics (6)
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
-
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)