14 citations · 60 across the 17 of their papers we have counts for
12 papers · 1 filter
The RatioLog Project: Rational Extensions of Logical Reasoning
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg +2
Higher-level cognition includes logical reasoning and the ability of question answering with common sense. The RatioLog project addresses the problem of rational reasoning in deep…
Automation of Mathematical Induction as part of the History of Logic
J Strother Moore, Claus-Peter Wirth
We review the history of the automation of mathematical induction
David Poole's Specificity Revised
Claus-Peter Wirth, Frieder Stolzenburg
In the middle of the 1980s, David Poole introduced a semantical, model-theoretic notion of specificity to the artificial-intelligence community. Since then it has found further app…
A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice
Claus-Peter Wirth
Free variables occur frequently in mathematics and computer science with ad hoc and altering semantics. We present the most recent version of our free-variable framework for two-va…
Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization
Claus-Peter Wirth
We present a combination of raising, explicit variable dependency representation, the liberalized delta-rule, and preservation of solutions for first-order deductive theorem provin…
An Algebraic Dexter-Based Hypertext Reference Model
Volker Mattick, Claus-Peter Wirth
We present the first formal algebraic specification of a hypertext reference model. It is based on the well-known Dexter Hypertext Reference Model and includes modifications with r…