Search results for: Mauricio Osorio
Fungal Biology > 2018 > 122 > 8 > 752-760
Mathematical Methods in the Applied Sciences > 41 > 7 > 2795 - 2810
Logica Universalis > 2017 > 11 > 4 > 507-524
Electronic Notes in Theoretical Computer Science > 2016 > 328 > C > 59-71
Journal of Applied Logic > 2016 > 16 > C > 111-127
Lecture Notes in Computer Science > MICAI 2004: Advances in Artificial Intelligence > Logic and Constraint Programming > 202-211
Lecture Notes in Computer Science > Advances in Artificial Intelligence > Automated Reasoning and Multi-Agent Systems > 16-27
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Posters > 315-320
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Transformation and Equivalence > 57-75
Lecture Notes in Computer Science > MICAI 2009: Advances in Artificial Intelligence > Logic and Reasoning > 15-26
Lecture Notes in Computer Science > MICAI 2005: Advances in Artificial Intelligence > Knowledge Representation and Management > 109-118
Lecture Notes in Computer Science > Advances in Artificial Intelligence > Stratified Partial-Order Logic Programming > 225-235
Lecture Notes in Computer Science > MICAI 2006: Advances in Artificial Intelligence > Knowledge Representation and Reasoning > 59-69
Lecture Notes in Computer Science > Computational Intelligence and Security > Learning and Fuzzy Systems > 41-48
Lecture Notes in Computer Science > Advances in Artificial Intelligence > Logic and Distributed Systems > 362-373
Lecture Notes in Computer Science > MICAI 2007: Advances in Artificial Intelligence > Knowledge Representation and Reasoning > 283-293
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 4. Short Papers > 464-469