Follow
Wolfgang Bibel
Wolfgang Bibel
Professor emer. für Informatik, Darmstadt University of Technology
No verified email - Homepage
Title
Cited by
Cited by
Year
Automated theorem proving
W Bibel
Springer Science & Business Media, 2013
7852013
Setheo: A high-performance theorem prover
R Letz, J Schumann, S Bayerl, W Bibel
Journal of Automated Reasoning 8, 183-212, 1992
4181992
On matrices with connections
W Bibel
Journal of the ACM (JACM) 28 (4), 633-645, 1981
2911981
A deductive solution for plan generation
W Bibel
New Generation Computing 4, 115-132, 1986
1941986
Matings in matrices
W Bibel
Communications of the ACM 26 (11), 844-852, 1983
1501983
Wissensrepräsentation und Inferenz: eine grundlegende Einführung
W Bibel, S Hölldobler, T Schaub
Springer-Verlag, 2013
1412013
leanCoP: lean connection-based theorem proving
J Otten, W Bibel
Journal of Symbolic Computation 36 (1-2), 139-161, 2003
1382003
Syntax-directed, semantics-supported program synthesis
W Bibel
Artificial Intelligence 14 (3), 243-261, 1980
1191980
Deduction: automated logic
W Bibel, S Hölldobler, G Neugebauer
Academic Press, 1993
1101993
Constraint satisfaction from a deductive viewpoint
W Bibel
Artificial Intelligence 35 (3), 401-413, 1988
871988
AI's greatest trends and controversies
HA Simon, W Bibel, A Bundy, H Berliner, EA Feigenbaum, BG Buchanan, ...
IEEE Intelligent Systems and Their Applications 15 (1), 8-17, 2000
842000
Automated Deduction-A Basis for Applications Volume I Foundations-Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
W Bibel, PH Schmitt
Springer Science & Business Media, 2013
692013
Let's plan it deductively!
W Bibel
Artificial Intelligence 103 (1-2), 183-208, 1998
681998
Fundamentals of artificial intelligence: an advanced course
W Bibel, P Jorrand
Springer-Verlag, 1986
671986
LOPS-a system based on a strategical approach to program synthesis
W Bibel, KM Hörnig
Automatic program construction techniques, 69-89, 1984
661984
A comparative study of several proof procedures
W Bibel
Artificial Intelligence 18 (3), 269-293, 1982
641982
Methods and calculi for deduction
W Bibel, E Eder
Verlag nicht ermittelbar, 1991
631991
Deduktion: Automatisierung der Logik
W Bibel
Walter de Gruyter GmbH & Co KG, 2020
62*2020
An introduction to automated deduction
W Bibel, AW Biermann, JP Delgrande, G Huet, P Jorrand, J Mylopoulos, ...
Fundamentals of Artificial Intelligence: An Advanced Course, 75-132, 1987
601987
Komet
W Bibel, S Brüning, U Egly, T Rath
Automated Deduction—CADE-12: 12th International Conference on Automated …, 1994
541994
The system can't perform the operation now. Try again later.
Articles 1–20