Search results for: Arild Waaler
Journal of Biomedical Semantics > 2017 > 8 > 1 > 1-13
IEEE Internet Computing > 2016 > 20 > 6 > 62 - 66
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Foundational Aspects of Agency > 77-95
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 33-47
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Foundational Aspects of Agency > 96-111
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 4. Intuitionistic Logic > 132-146
Lecture Notes in Computer Science > Logics in Artificial Intelligence > Modal, Spacial, and Temporal Logics > 500-512
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 214-229
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Foundations > 304-316
Lecture Notes in Computer Science
Journal of Symbolic Computation > 2012 > 47 > 9 > 1046-1065
Electronic Notes in Theoretical Computer Science > 2009 > 238 > 3 > 173-188
Journal of Applied Logic > 2007 > 5 > 3 > 492-518
Journal of Automated Reasoning > 2007 > 38 > 1-3 > 3-30