Search results for: Alexandre Miguel Pinto
Lecture Notes in Computer Science > Progress in Artificial Intelligence > Chapter 1 – General Artificial Intelligence (GAIW 2005) > 29-42
Lecture Notes in Computer Science > Applications of Declarative Programming and Knowledge Management > Foundations and Extensions of Logic Programming > 70-84
Lecture Notes in Computer Science > Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning > Foundations: ASP and Theories of LP, KR, and NMR > 148-163
Lecture Notes in Computer Science > Applications of Declarative Programming and Knowledge Management > Foundations and Extensions of Logic Programming > 102-116
Studies in Computational Intelligence > Oppositional Concepts in Computational Intelligence > Part II: Search and Reasoning > 61-89
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Language Extensions and Implementation > 254-268
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 4. Short Papers > 450-456
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 454-468
Lecture Notes in Computer Science > Logic Programming > Short Papers > 519-524