Search results for: Camilla Schwind
Lecture Notes in Computer Science > Advances in Artificial Intelligence – IBERAMIA 2010 > Knowledge Representation and Reasoning > 120-132
Lecture Notes in Computer Science > AI*IA 2003: Advances in Artificial Intelligence > Intelligent Agents > 262-274
Lecture Notes in Computer Science > AI*IA 2001: Advances in Artificial Intelligence > Multi-agent Systems > 237-248
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 81-101
Lecture Notes in Computer Science > Logics in Artificial Intelligence > Actions and Causation > 382-393
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 17-31
Lecture Notes in Computer Science > KI-99: Advances in Artificial Intelligence > Short Papers > 285-288
Journal of Applied Logic > 2007 > 5 > 2 > 214-234
Electronic Notes in Theoretical Computer Science > 2006 > 157 > 4 > 3-22
Artificial Intelligence > 2004 > 157 > 1-2 > 239-279
Annals of Mathematics and Artificial Intelligence > 2004 > 40 > 1-2 > 5-35
Theoretical Computer Science > 1997 > 171 > 1-2 > 247-280