Wyniki wyszukiwania dla: Michael Thielscher
Lecture Notes in Computer Science > Machine Learning and Knowledge Discovery in Databases > Regular Papers > 95-110
Lecture Notes in Computer Science > AI 2011: Advances in Artificial Intelligence > Session 5: Logic and Reasoning > 511-520
Lecture Notes in Computer Science > AI 2010: Advances in Artificial Intelligence > Knowledge Representation and Reasoning > 1-10
Lecture Notes in Computer Science > KI 2003: Advances in Artificial Intelligence > Reasoning Methods > 209-223
Lecture Notes in Computer Science > AI 2009: Advances in Artificial Intelligence > Game Playing > 475-484
Lecture Notes in Computer Science > Practical Reasoning > 567-581
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2005 > Full Papers > 667-681
Lecture Notes in Computer Science > KI 2009: Advances in Artificial Intelligence > Knowledge Representation and Reasoning > 298-305
Lecture Notes in Computer Science > KI 2001: Advances in Artificial Intelligence > Papers on Foundations > 290-304