Search results for: Hans Tompits
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Technical Papers > 175-187
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 100-114
Lecture Notes in Computer Science > Logic Programming > 189-203
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 3. Original Application Papers > 382-395
Lecture Notes in Computer Science > Applications of Declarative Programming and Knowledge Management > System Demonstrations > 241-246
Lecture Notes in Computer Science > Reasoning Web > 93-127
Lecture Notes in Computer Science > Logic Programming and Nonmotonic Reasoning > System Description > 397-401
Lecture Notes in Computer Science > Progress in Artificial Intelligence > Logics and Logic Programming for Artificial Intelligence > 306-320
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Short Technical Papers > 242-247
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning with Uncertainty > Contributed Papers > 510-521
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 511-527
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Technical Papers > 31-43
Lecture Notes in Computer Science > Applications of Declarative Programming and Knowledge Management > System Demonstrations > 247-252
Artificial Intelligence > 2008 > 172 > 12-13 > 1495-1539