Search results for: Ullrich Hustadt
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
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 7. Resolution-Based Systems for Non-classical Logics > 245-260
Lecture Notes in Computer Science > Automated Deduction – CADE-19 > Session 8: System Descriptions > 274-278
Lecture Notes in Computer Science > Relational and Kleene-Algebraic Methods in Computer Science > Contributed Papers > 238-251
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 21-35
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 7. Resolution-Based Systems for Non-classical Logics > 261-276
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 Reasoning with Analytic Tableaux and Related Methods > Comparison > 67-71