Search results for: Agustín Valverde
KI - Künstliche Intelligenz > 2018 > 32 > 2-3 > 109-118
Artificial Intelligence > 2017 > 246 > C > 22-33
Lecture Notes in Computer Science > Current Topics in Artificial Intelligence > Selected Papers from the 10th Conference of the Spanish Association for Artificial Intelligence (CAEPIA3) > 608-617
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Technical Papers > 188-200
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 2. Technical Papers > 58-70
Lecture Notes in Computer Science > Progress in Artificial Intelligence > Chapter 1 – General Artificial Intelligence (GAIW 2005) > 4-17
Lecture Notes in Computer Science > Advances in Artificial Intelligence — IBERAMIA 2002 > Knowledge Representation and Reasoning > 161-171
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 352-367
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Knowledge Representation and Non-monotonic Reasoning > 688-702
Lecture Notes in Computer Science > Logic Programming > Semantics > 346-360
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Regular Papers > 194-206
Lecture Notes in Computer Science > Logics in Artificial Intelligence > Logic Programming and Nonmonotonic Reasoning > 147-160
Knowledge and Information Systems > 2010 > 25 > 1 > 81-104
Annals of Mathematics and Artificial Intelligence > 2007 > 50 > 3-4 > 305-331
Studia Logica > 2005 > 80 > 2-3 > 321-346