Applied Logic Series - Intellectics and Computational Logic
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Netherlands

9789048154388, 9789401593830

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Composing Re-Usable Synthesis Methods through Graph-Based Viewpoints

Applied Logic Series - Intellectics and Computational Logic ◽

10.1007/978-94-015-9383-0_9 ◽

2000 ◽

pp. 143-158 ◽

Author(s):

Jutta Eusterbrock

Keyword(s):

Synthesis Methods

Download Full-text

Prioritizing Default Logic

Applied Logic Series - Intellectics and Computational Logic ◽

10.1007/978-94-015-9383-0_3 ◽

2000 ◽

pp. 27-45 ◽

Author(s):

Gerhard Brewka ◽

Thomas Eiter

Keyword(s):

Download Full-text

Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms

Applied Logic Series - Intellectics and Computational Logic ◽

10.1007/978-94-015-9383-0_20 ◽

2000 ◽

pp. 327-345 ◽

Author(s):

Michael Thielscher

Keyword(s):

Nondeterministic Actions

Download Full-text

Prologue

Applied Logic Series - Intellectics and Computational Logic ◽

10.1007/978-94-015-9383-0_1 ◽

2000 ◽

pp. 1-2

Author(s):

Christoph Kreitz

Download Full-text

Matrix-Based Constructive Theorem Proving

Applied Logic Series - Intellectics and Computational Logic ◽

10.1007/978-94-015-9383-0_12 ◽

2000 ◽

pp. 189-205 ◽

Author(s):

Christoph Kreitz ◽

Jens Otten ◽

Stephan Schmitt ◽

Brigitte Pientka

Keyword(s):

Theorem Proving

Download Full-text

Automated Theorem Proving in High-Quality Software Design

Applied Logic Series - Intellectics and Computational Logic ◽

10.1007/978-94-015-9383-0_18 ◽

2000 ◽

pp. 295-312 ◽

Author(s):

Johann Schumann

Keyword(s):

Theorem Proving ◽

Software Design ◽

Automated Theorem Proving ◽

Download Full-text

Epilogue

Applied Logic Series - Intellectics and Computational Logic ◽

10.1007/978-94-015-9383-0_23 ◽

2000 ◽

pp. 387-387

Author(s):

Steffen Hölldobler

Download Full-text

AI and Cognitive Science: Feedback Leads to a New Neural Concept

Applied Logic Series - Intellectics and Computational Logic ◽

10.1007/978-94-015-9383-0_11 ◽

2000 ◽

pp. 175-188

Author(s):

Christoph S. Herrmann

Keyword(s):

Cognitive Science

Download Full-text

Some Strengths of Nonmonotonic Reasoning

Applied Logic Series - Intellectics and Computational Logic ◽

10.1007/978-94-015-9383-0_8 ◽

2000 ◽

pp. 125-141

Author(s):

Uwe Egly ◽

Hans Tompits

Keyword(s):

Nonmonotonic Reasoning

Download Full-text

The Cut Rule in Theorem Proving

Applied Logic Series - Intellectics and Computational Logic ◽

10.1007/978-94-015-9383-0_7 ◽

2000 ◽

pp. 101-123 ◽

Author(s):

Elmar Eder

Keyword(s):

Theorem Proving ◽

Download Full-text