Search results for: Christoph Benzmüller
Lecture Notes in Computer Science > KI 2009: Advances in Artificial Intelligence > Knowledge Representation and Reasoning > 289-297
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Applications of Logics > 277-296
Logic and Logical Philosophy > 2016 > 25 > 4 > 535-554
Journal of Philosophical Logic > 2017 > 46 > 3 > 333-353
Lecture Notes in Computer Science > KI 2006: Advances in Artificial Intelligence > Session 4B. Reasoning > 159-173
Lecture Notes in Computer Science > Automated Reasoning > Session 5: System Descriptions 1 > 162-170
Lecture Notes in Computer Science > Mathematical Knowledge Management > Session IV: Proving > 126-142
Lecture Notes in Computer Science > KI 2007: Advances in Artificial Intelligence > Posters > 435-439
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 3. Minimal Unsatisfiability and Automated Reasoning Support > 116-130
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Regular Papers > 33-48
Lecture Notes in Computer Science > KI 2004: Advances in Artificial Intelligence > Invited Talks > 3-28
Lecture Notes in Computer Science > KI 2001: Advances in Artificial Intelligence > Papers on Applications > 409-424
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 415-431