Search results for: Luigia Carlucci Aiello
Artificial Intelligence > 2016 > 235 > C > 58-62
Lecture Notes in Computer Science > Practical Reasoning > 126-140
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Agents and Planning > 494-513
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Applications in Logic > 533-560
Lecture Notes in Computer Science
Applied Intelligence > 2016 > 44 > 1 > 43-66
Electronic Notes in Theoretical Computer Science > 2003 > 55 > 1 > 51-68
Artificial Intelligence > 1997 > 93 > 1-2 > 169-199
Studia Logica > 1997 > 59 > 1 > 103-120