Search results for: Katarina Britz
Annals of Mathematics and Artificial Intelligence > 2019 > 87 > 1-2 > 83-108
Journal of Logic, Language and Information > 2018 > 27 > 2 > 133-155
Lecture Notes in Computer Science > AI 2011: Advances in Artificial Intelligence > Session 5: Logic and Reasoning > 491-500
Lecture Notes in Computer Science > PRICAI 2008: Trends in Artificial Intelligence > Keynotes > 370-381
Lecture Notes in Computer Science > AI 2009: Advances in Artificial Intelligence > Knowledge Representation and Reasoning > 506-516
Lecture Notes in Computer Science > AI 2003: Advances in Artificial Intelligence > Reasoning and Logic > 402-413
Electronic Notes in Theoretical Computer Science > 2011 > 278 > Complete > 55-69
Logica Universalis > 2011 > 5 > 2 > 327-350
Journal of Philosophical Logic > 2009 > 38 > 4 > 433-446