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
8112013
Setheo: A high-performance theorem prover
R Letz, J Schumann, S Bayerl, W Bibel
Journal of Automated Reasoning 8, 183-212, 1992
4161992
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
1971986
Matings in matrices
W Bibel
Communications of the ACM 26 (11), 844-852, 1983
1531983
Wissensrepräsentation und Inferenz: eine grundlegende Einführung
W Bibel, S Hölldobler, T Schaub
Springer-Verlag, 2013
1452013
leanCoP: lean connection-based theorem proving
J Otten, W Bibel
Journal of Symbolic Computation 36 (1-2), 139-161, 2003
1422003
Syntax-directed, semantics-supported program synthesis
W Bibel
Artificial Intelligence 14 (3), 243-261, 1980
1181980
Deduction: automated logic
W Bibel, S Hölldobler, G Neugebauer
Academic Press, 1993
1091993
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
922000
Constraint satisfaction from a deductive viewpoint
W Bibel
Artificial Intelligence 35 (3), 401-413, 1988
871988
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
732013
Fundamentals of artificial intelligence: an advanced course
W Bibel, P Jorrand
Springer-Verlag, 1986
721986
Let's plan it deductively!
W Bibel
Artificial Intelligence 103 (1-2), 183-208, 1998
701998
LOPS-a system based on a strategical approach to program synthesis
W Bibel, KM Hörnig
Automatic program construction techniques, 69-89, 1984
681984
Methods and calculi for deduction
W Bibel, E Eder
Verlag nicht ermittelbar, 1991
641991
A comparative study of several proof procedures
W Bibel
Artificial Intelligence 18 (3), 269-293, 1982
641982
Deduktion: Automatisierung der Logik
W Bibel
Walter de Gruyter GmbH & Co KG, 2020
63*2020
Artificial Intelligence in a historical perspective
W Bibel
AI Communications 27 (1), 87-102, 2014
632014
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
The system can't perform the operation now. Try again later.
Articles 1–20