Wolfgang Bibel

113 papers A* 5A 6B 5C 1Misc 4Journal 48Unranked 29

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A Conjecture for ATP Research. CoRR Wolfgang Bibel
2024	J	`jnl`	Investigations into Proof Structures. J. Autom. Reason. Christoph Wernhard, Wolfgang Bibel
2024	—	`ed.`	Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), Prague, Czech Republic, September 18, 2023. AReCCa@TABLEAUX Jens Otten, Wolfgang Bibel
2023	—	`conf`	Comparison of Proof Methods. AReCCa@TABLEAUX Wolfgang Bibel
2023	J	`jnl`	Investigations into Proof Structures. CoRR Christoph Wernhard, Wolfgang Bibel
2023	B	`conf`	Lemmas: Generation, Selection, Application. TABLEAUX Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel
2023	J	`jnl`	Lemmas: Generation, Selection, Application. CoRR Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel
2022	J	`jnl`	Komputer kreiert Wissenschaft. Inform. Spektrum Wolfgang Bibel
2021	J	`jnl`	Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version). CoRR Christoph Wernhard, Wolfgang Bibel
2021	A	`conf`	Learning from Łukasiewicz and Meredith: Investigations into Proof Structures. CADE Christoph Wernhard, Wolfgang Bibel
2020	J	`jnl`	Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich. Künstliche Intell. Wolfgang Bibel, Ulrich Furbach
2020	—	`conf`	Laßt hundert Blumen blühen. GI-Jahrestagung Wolfgang Bibel
2020	J	`jnl`	On the Development of AI in Germany. Künstliche Intell. Wolfgang Bibel
2018	A*	`conf`	On a Scientific Discipline (Once) Named AI. IJCAI Wolfgang Bibel
2017	B	`conf`	A Vision for Automated Deduction Rooted in the Connection Method. TABLEAUX Wolfgang Bibel
2017	—	`ch.`	Advances in Connection-Based Automated Theorem Proving. Provably Correct Systems Jens Otten, Wolfgang Bibel
2017	—	`book`	Reflexionen vor Reflexen - Memoiren eines Forschers. Wolfgang Bibel
2016	J	`jnl`	In Memory of Mark Stickel. J. Autom. Reason. Peter Baumgartner, Wolfgang Bibel, Richard Waldinger
2015	—	`conf`	Mind the Divide Surrounding Knowledge Representation. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Wolfgang Bibel
2014	J	`jnl`	Artificial Intelligence in a historical perspective. AI Commun. Wolfgang Bibel
2011	J	`jnl`	KI ohne Geist. Künstliche Intell. Wolfgang Bibel
2010	—	`ch.`	General Aspects of Intelligent Autonomous Systems. Intelligent Autonomous Systems Wolfgang Bibel
2010	—	`conf`	Specifying and Verifying Organizational Security Properties in First-Order Logic. Verification, Induction, Termination Analysis Christoph Brandt, Jens Otten, Christoph Kreitz, Wolfgang Bibel
2009	J	`jnl`	Connection method. Scholarpedia Wolfgang Bibel, Christoph Kreitz
2008	J	`jnl`	Richtigstellungen und Antworten zum Diskussionsbeitrag. Künstliche Intell. Wolfgang Bibel
2008	J	`jnl`	Sind wir so schlau, wie wir denken? Künstliche Intell. Wolfgang Bibel
2008	J	`jnl`	Transition Logic Revisited. Log. J. IGPL Wolfgang Bibel
2008	J	`jnl`	Über ein Fach ohne Namen und Struktur. Künstliche Intell. Wolfgang Bibel
2007	Misc	`conf`	Early History and Perspectives of Automated Deduction. KI Wolfgang Bibel
2006	—	`conf`	Research Perspectives for Logic and Deduction. Reasoning, Action and Interaction in AI Theories and Systems Wolfgang Bibel
2006	J	`jnl`	The Beginnings of AI in Germany. Künstliche Intell. Wolfgang Bibel
2006	Misc	`conf`	Towards the AI Summer. KI Wolfgang Bibel
2006	J	`jnl`	Visionen künstlicher Intelligenz. Künstliche Intell. Wolfgang Bibel, Josef Schneeberger
2005	—	`conf`	Time for Thinking Big in AI. Mechanizing Mathematical Reasoning Wolfgang Bibel
2003	—	`book`	Lehren vom Leben - Essays über Mensch und Gesellschaft. Wolfgang Bibel
2003	J	`jnl`	leanCoP: lean connection-based theorem proving. J. Symb. Comput. Jens Otten, Wolfgang Bibel
2002	J	`jnl`	Bedeutung / Ursprünge der Intellektik. Künstliche Intell. Wolfgang Bibel
2002	J	`jnl`	Ein Vierteljahrhundert Künstliche Intelligenz in Deutschland. Künstliche Intell. Wolfgang Bibel
2002	J	`jnl`	Solving Constraint Optimization Problems from CLP-Style Specifications Using Heuristic Search Techniques. IEEE Trans. Knowl. Data Eng. Pallab Dasgupta, P. P. Chakrabarti, Arnab Dey, Sujoy Ghose, Wolfgang Bibel
2001	—	`conf`	Path Planning for Cooperating Robots Using a GA-Fuzzy Approach. Advances in Plan-Based Control of Robotic Agents Dilip Kumar Pratihar, Wolfgang Bibel
2000	J	`jnl`	Foreword to the Special Issue on Schemas. J. Symb. Comput. Pierre Flener, Kung-Kiu Lau, Wolfgang Bibel
1998	—	`book`	Ausgezeichnete Informatikdissertationen 1996 Wolfgang Bibel, Herbert Fiedler, Werner Grass, Peter Gorny, Günter Hotz, Immo O. Kerner, Rüdiger Reischuk, Friedrich Roithmayr
1998	J	`jnl`	DFG-Schwerpunktprogramm "Deduktion". Künstliche Intell. Wolfgang Bibel
1998	J	`jnl`	Let's Plan it Deductively! Artif. Intell. Wolfgang Bibel
1998	J	`jnl`	Reduction of cycle unification of type Cpg+r. J. Comput. Sci. Technol. Yunfa Hu, Wolfgang Bibel
1997	C	`conf`	A Multi-level Approach to Program Synthesis. LOPSTR Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann
1997	J	`jnl`	Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution. J. ACM Wolfgang Bibel, Elmar Eder
1997	—	`conf`	Deduction as a Cross-Sectional Technology: The DFG Focus Programme on Deduction. GI Jahrestagung Wolfgang Bibel
1997	—	`conf`	Let's Plan It Deductively! IJCAI Wolfgang Bibel
1996	—	`conf`	Problem-Oriented Applications of Automated Theorem Proving. DISCO Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt
1995	B	`conf`	Issues in Theorem Proving Based on the Connection Method. TABLEAUX Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath
1994	—	`conf`	Deductive Plan Generation. AII/ALT Wolfgang Bibel, Michael Thielscher
1994	J	`jnl`	Informatik und Intellektik als zukünftiges Zwiegespann. Künstliche Intell. Wolfgang Bibel, Jörg H. Siekmann
1994	A	`conf`	KoMeT. CADE Wolfgang Bibel, Stefan Brüning, Uwe Egly, Thomas Rath
1993	—	`book`	Deduction - automated logic. Wolfgang Bibel
1993	J	`jnl`	Können Computer logisch denken? Reflektionen über die IJCAI-93 in Chambéry. Künstliche Intell. Wolfgang Bibel
1993	—	`book`	Wissensrepräsentation und Inferenz - eine grundlegende Einführung. Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub
1992	A	`conf`	Cycle Unification. CADE Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz
1992	J	`jnl`	DFG-Schwerpunkprogramm Deduktion. Künstliche Intell. Wolfgang Bibel
1992	—	`book`	Deduktion - Automatisierung und Logik. Wolfgang Bibel
1992	J	`jnl`	Logik, KI und Intellektik. Künstliche Intell. Wolfgang Bibel, Ulrich Furbach
1992	J	`jnl`	SETHEO: A High-Performance Theorem Prover. J. Autom. Reason. Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel
1991	J	`jnl`	Die Fehl-Sprüche sozialorientierter Autoren. Künstliche Intell. Wolfgang Bibel
1991	—	`conf`	Perspectives on Automated Deduction. Automated Reasoning: Essays in Honor of Woody Bledsoe Wolfgang Bibel
1990	A	`conf`	Perspectives on Automated Deduction (Abstract). CADE Wolfgang Bibel
1990	J	`jnl`	Short Proofs of the Pigeonhole Formulas Based on the Connection Method. J. Autom. Reason. Wolfgang Bibel
1989	B	`conf`	A Framework for the Parallel Evaluation of Recursive Queries in Deductive Databases. DASFAA Runping Qi, Wolfgang Bibel
1989	—	`conf`	Plan Generation by Linear Proofs: On Semantics. GWAI Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig
1989	J	`jnl`	The Technological Change of Reality: Opportunities and Dangers. AI Soc. Wolfgang Bibel
1988	J	`jnl`	Constraint Satisfaction from a Deductive Viewpoint. Artif. Intell. Wolfgang Bibel
1987	—	`conf`	Advanced Topics in Automated Deduction. Advanced Topics in Artificial Intelligence Wolfgang Bibel
1987	—	`book`	Automated theorem proving, 2nd Edition. Wolfgang Bibel
1987	J	`jnl`	ECCAI and the European Malaise. AI Commun. Wolfgang Bibel
1987	—	`book`	Fundamentals of artificial intelligence - an advanced course. Wolfgang Bibel
1987	A*	`conf`	Parallel Inference Machines (Panel). IJCAI Wolfgang Bibel
1986	J	`jnl`	A Deductive Solution for Plan Generation. New Gener. Comput. Wolfgang Bibel
1986	—	`ed.`	Fundamentals of Artificial Intelligence: An Advanced Course, held in Vignieu, France, July 1985 Advanced Course: Fundamentals of Artificial Intelligence Wolfgang Bibel, Philippe Jorrand
1986	—	`ed.`	Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 Mathematical Methods of Specification and Synthesis of Software Systems Wolfgang Bibel, Klaus P. Jantke
1986	—	`conf`	Parallel Inference Machines. Future Parallel Computers Wolfgang Bibel, Franz J. Kurfess, K. Aspetsberger, Peter Hintenaus, Johann Schumann
1985	J	`jnl`	A Bibliography on Parallel Inference Machines. J. Symb. Comput. Wolfgang Bibel, K. Aspetsberger
1985	—	`conf`	A Deductive Solution for Plan Generation. Foundations of Knowledge Base Management (Xania) Wolfgang Bibel
1985	Misc	`ed.`	Artificial Intelligence: Methodology, Systems, Applications - Proceedings of the International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1984, Varna, Bulgaria, September 17-20, 1984 AIMSA Wolfgang Bibel, Boris Petkoff
1985	J	`jnl`	Automated Inferencing. J. Symb. Comput. Wolfgang Bibel
1985	—	`conf`	Methods of Automated Reasoning. Advanced Course: Fundamentals of Artificial Intelligence Wolfgang Bibel
1985	—	`conf`	Predicative programming revisited. Mathematical Methods of Specification and Synthesis of Software Systems Wolfgang Bibel
1985	—	`conf`	The Role of Logic for Data and Knowledge Bases: A Brief Summary. Foundations of Knowledge Base Management (Xania) Wolfgang Bibel, Jean-Marie Nicolas
1985	J	`jnl`	Towards a connection machine for logical inference. Future Gener. Comput. Syst. Wolfgang Bibel, Bruno Buchberger
1985	—	`conf`	Wissensbasierte Software-Entwicklung. Wissensbasierte Systeme Wolfgang Bibel
1984	Misc	`conf`	Artificial Intelligence in Europe. AIMSA Wolfgang Bibel
1984	—	`conf`	Inferenzmethoden. KIFS Wolfgang Bibel
1984	J	`jnl`	Logic and algebraic computation. SIGSAM Bull. Wolfgang Bibel
1983	J	`jnl`	Matings in Matrices. Commun. ACM Wolfgang Bibel
1983	A*	`conf`	Towards an Advanced Implementation of the Connection Method. IJCAI Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer
1982	J	`jnl`	A Comparative Study of Several Proof Procedures. Artif. Intell. Wolfgang Bibel
1982	—	`book`	Automated theorem proving. Wolfgang Bibel
1982	—	`conf`	Deduktionsverfahren. KIFS Wolfgang Bibel
1982	A	`conf`	Improvements of a Tautology-Testing Algorithm. CADE K. M. Hörnig, Wolfgang Bibel
1982	—	`ed.`	Künstliche Intelligenz, Frühjahrsschule, Teisendorf, Deutschland, 15.-24. März 1982 KIFS Wolfgang Bibel, Jörg H. Siekmann
1981	—	`conf`	Mating in Matrices. GWAI Wolfgang Bibel
1981	J	`jnl`	On Matrices with Connections. J. ACM Wolfgang Bibel
1981	—	`conf`	On the Completeness of Connection Graph Resolution. GWAI Wolfgang Bibel
1980	A	`ed.`	5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings CADE Wolfgang Bibel, Robert A. Kowalski
1980	B	`conf`	A Theoretical Basis for the Systematic Proof Method. MFCS Wolfgang Bibel
1980	J	`jnl`	Syntax-Directed, Semantics-Supported Program Synthesis. Artif. Intell. Wolfgang Bibel
1979	A*	`conf`	On Syntax-Directed, Semantics-Supported Program Synthesis. IJCAI Wolfgang Bibel
1979	J	`jnl`	Tautology Testing with a Generalized Matrix Reduction Method. Theor. Comput. Sci. Wolfgang Bibel
1978	—	`conf`	On Strategies for the Systhesis of Algorithms. AISB/GI (ECAI) Wolfgang Bibel
1978	—	`conf`	Strategies for the synthesis of algorithms. Fachtagung über Programmiersprachen Wolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber
1977	—	`conf`	A syntactic connection between proof procedures and refutation prcedures. Theoretical Computer Science Wolfgang Bibel
1977	A*	`conf`	Artificial Intelligence in Western Europe. IJCAI Jacques Pitrat, Erik Sandewall, Wolfgang Bibel, Gérard P. Huet, Hans-Hellmut Nagel, M. Somalivco
1975	—	`conf`	Prädikatives Programmieren. Automata Theory and Formal Languages Wolfgang Bibel
1974	J	`jnl`	An approach to a systematic theorem proving procedure in first-order logic. Computing Wolfgang Bibel
1974	—	`conf`	Effizienzvergleiche von Beweisprozeduren. GI Jahrestagung Wolfgang Bibel