José Pedro
Cabalar Fernández
Catedrático de Universidade
Universidad Rey Juan Carlos
Madrid, EspañaPublications in collaboration with researchers from Universidad Rey Juan Carlos (10)
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
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Reducing propositional theories in equilibrium logic to logic programs
CEUR Workshop Proceedings