Search Results - "Bibel, Wolfgang"

Komputer kreiert Wissenschaft by Bibel, Wolfgang

“…Zusammenfassung Die Erfindung des universellen Komputers hat für die Naturwissenschaft insgesamt eine völlig neue Welt eröffnet, in der eine neue…”
Get full text

Investigations into Proof Structures by Wernhard, Christoph, Bibel, Wolfgang

“…We introduce and elaborate a novel formalism for the manipulation and analysis of proofs as objects in a global manner. In this first approach the formalism is…”
Get full text

AI and the Conquest of Complexity in Law by Bibel, L Wolfgang

“…The paper identifies some of the problems with legal systems and outlines the potential of AI technology for overcoming them. For expository purposes, this…”
Get full text

A Conjecture for ATP Research by Bibel, Wolfgang

“…This note generalizes factorization for formulas with multiplicities and conjectures that the connection method along with this feature is computationally as…”
Get full text

In Memory of Mark Stickel by Baumgartner, Peter, Bibel, Wolfgang, Waldinger, Richard

Get full text

Investigations into Proof Structures by Wernhard, Christoph, Bibel, Wolfgang

“…We introduce and elaborate a novel formalism for the manipulation and analysis of proofs as objects in a global manner. In this first approach the formalism is…”
Get full text

Learning from {\L}ukasiewicz and Meredith: Investigations into Proof Structures (Extended Version) by Wernhard, Christoph, Bibel, Wolfgang

“…The material presented in this paper contributes to establishing a basis deemed essential for substantial progress in Automated Deduction. It identifies and…”
Get full text

Transition Logic Revisited by Bibel, Wolfgang

“…A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in…”
Get full text

leanCoP: lean connection-based theorem proving by Otten, Jens, Bibel, Wolfgang

“…The Prolog program implements a theorem prover for classical first-order (clausal) logic which is based on the connection calculus. It is sound and complete…”
Get full text

On the Development of AI in Germany by Bibel, Wolfgang

“…The article gives a brief account of the historical evolution of Artificial Intelligence in Germany, covering key steps from antiquity to the present state of…”
Get full text

Connection method by Bibel, Wolfgang, Kreitz, Christoph

Get full text

Lemmas: Generation, Selection, Application by Rawson, Michael, Wernhard, Christoph, Zombori, Zsolt, Bibel, Wolfgang

“…Noting that lemmas are a key feature of mathematics, we engage in an investigation of the role of lemmas in automated theorem proving. The paper describes…”
Get full text

Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich by Bibel, Wolfgang, Furbach, Ulrich

“…Academic Computer Science emerged in Germany at the end of the 1960s. In 2017, the Munich universities celebrated “50 Years of Computer Science in Munich”. To…”
Get full text

Reduction of cycle unification of type Cpg+r by Hu, Yunfa, Bibel, Wolfgang

“…In this paper a class of cycle unification problems called type Cpg+r is studied, and an intuitive representation method, calledthe position supergraph, is…”
Get full text

Predicative programming by Bibel, Wolfgang

Get full text

Solving constraint optimization problems from CLP-style specifications using heuristic search techniques by Dasgupta, P., Chakrabarti, P.P., Dey, A., Ghose, S., Bibel, W.

“…Presents a framework for efficiently solving logic formulations of combinatorial optimization problems using heuristic search techniques. In order to integrate…”
Get full text

A deductive solution for plan generation by BIBEL, W

Get full text

The technological change of reality: Opportunities and dangers by Bibel, Wolfgang

Get full text

Foreword to the Special Issue on Schemas by Flener, Pierre, Lau, Kung-Kiu, Bibel, Wolfgang

Get full text

Schnittelimination in einem Teilsystem der einfachen Typenlogik by Bibel, Wolfgang

Get full text