Wolfgang Bibel
Technische Universität Darmstadt(DE)Technical University of Darmstadt(DE)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Semantic Web and Ontologies, AI-based Problem Solving and Planning
Most-Cited Works
- → Automated Theorem Proving(1987)461 cited
- → SETHEO: A high-performance theorem prover(1992)235 cited
- → On Matrices with Connections(1981)182 cited
- → Automated Deduction — A Basis for Applications(1998)138 cited
- → leanCoP: lean connection-based theorem proving(2003)87 cited
- → Matings in matrices(1983)85 cited
- Deduction: Automated Logic(1993)
- → Constraint satisfaction from a deductive viewpoint