Search results for: Renate A. Schmidt
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Verifying Agent’s Mental States > 33-47
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Guarded Logics > 85-99
Lecture Notes in Computer Science > Automated Deduction in Classical and Non-Classical Logics > Contributed Papers > 191-205
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 4 > 500-519
Lecture Notes in Computer Science > Relational and Kleene-Algebraic Methods in Computer Science > Contributed Papers > 238-251
Lecture Notes in Computer Science > The Semantic Web > Research Track > 438-451
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Contributed Research Papers > 187-201
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Comparison > 36-37
Lecture Notes in Computer Science > Theory and Applications of Relational Structures as Knowledge Instruments > 38-67
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 13. Tableaux and First-Order Systems > 514-520
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 242-247