# 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

*wysiwyg*editor which allows the input of complex mathematical formulae. This allows the collection of dialog corpora consisting of natural language interleaved with non-trivial mathematical expressions, which is not offered by other Wizard-of-Oz...

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

*RU*ε adapting FO RUE-Resolution [Dig79] to classical type theory, i.e., HO logic based on Church’s simply typed λ-calculus. ε

*P*and ε

*RU*ε extend the extensional HO resolution approach ε

*R*[BK98a]. In...

Lecture Notes in Computer Science > KI 2007: Advances in Artificial Intelligence > Posters > 435-439

*Ω*MEGA [7], a mathematical assistant environment comprising an interactive proof assistant, a proof planner, a structured knowledge base, a graphical user interface, access to external reasoners, etc., is being developed since the early 90’s at Saarland University. Similar to HOL4, Isabelle/HOL, Coq, or Mizar, the overall goal of the project is to develop a system platform for formal methods...

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

*within*and

*about*embedded logics. In this paper we focus on reasoning

*about*modal logics and exploit our framework for the automated verification...