7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence - Informatik-Fachberichte
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540545675, 9783642467523

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Vie-DU — Dialogue by Unification

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence - Informatik-Fachberichte ◽

10.1007/978-3-642-46752-3_5 ◽

1991 ◽

pp. 42-51

Author(s):

Ernst Buchberger ◽

Elizabeth Garner ◽

Wolfgang Heinz ◽

Johannes Matiasek ◽

Bernhard Pfahringer

Download Full-text

On the Complexity of Clause Condensing

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence - Informatik-Fachberichte ◽

10.1007/978-3-642-46752-3_2 ◽

1991 ◽

pp. 16-29

Author(s):

Georg Gottlob

Download Full-text

Model-Based Diagnosis with Constraint Logic Programs

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence - Informatik-Fachberichte ◽

10.1007/978-3-642-46752-3_18 ◽

1991 ◽

pp. 168-180 ◽

Cited By ~ 1

Author(s):

Igor Mozetič ◽

Christian Holzbaur

Keyword(s):

Logic Programs ◽

Model Based ◽

Constraint Logic Programs

Download Full-text

A Generalized Factorization Rule Based on the Introduction of Skolem Terms

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence - Informatik-Fachberichte ◽

10.1007/978-3-642-46752-3_13 ◽

1991 ◽

pp. 116-125

Author(s):

Uwe Egly

Keyword(s):

Rule Based

Download Full-text

Learning Diagnostic Rules for Power Distribution Systems

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence - Informatik-Fachberichte ◽

10.1007/978-3-642-46752-3_9 ◽

1991 ◽

pp. 78-82

Author(s):

Andrea Leufke ◽

Angelika Hecht ◽

Regine Meunier ◽

Ruxandra Scheiterer

Keyword(s):

Power Distribution ◽

Distribution Systems ◽

Power Distribution Systems

Download Full-text

Automatische Verfeinerung der Wissensbasis durch maschinelles Lernen in einem medizinischen Expertensystem

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence - Informatik-Fachberichte ◽

10.1007/978-3-642-46752-3_8 ◽

1991 ◽

pp. 68-77

Author(s):

Bernhard Nagele ◽

Gerhard Widmer ◽

Werner Horn

Keyword(s):

Maschinelles Lernen

Download Full-text

Applying Artificial Intelligence in Designing for Quality

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence - Informatik-Fachberichte ◽

10.1007/978-3-642-46752-3_7 ◽

1991 ◽

pp. 63-67

Author(s):

B. Lees

Keyword(s):

Artificial Intelligence

Download Full-text

HESDE — A Hypertext based Expert-System debugging Tool

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence - Informatik-Fachberichte ◽

10.1007/978-3-642-46752-3_3 ◽

1991 ◽

pp. 30-36

Author(s):

Craig Boyle ◽

John Schuette

Keyword(s):

Expert System

Download Full-text

Qualitative Spatial Reasoning with Cardinal Directions

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence - Informatik-Fachberichte ◽

10.1007/978-3-642-46752-3_17 ◽

1991 ◽

pp. 157-167 ◽

Cited By ~ 66

Author(s):

Andrew U. Frank

Keyword(s):

Spatial Reasoning ◽

Qualitative Spatial Reasoning ◽

Cardinal Directions

Download Full-text

Being Aware of Assumptions

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence - Informatik-Fachberichte ◽

10.1007/978-3-642-46752-3_15 ◽

1991 ◽

pp. 137-146

Author(s):

Maria R. Cravo ◽

João P. Martins

Download Full-text

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence - Informatik-FachberichteLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Vie-DU — Dialogue by Unification

On the Complexity of Clause Condensing

Model-Based Diagnosis with Constraint Logic Programs

A Generalized Factorization Rule Based on the Introduction of Skolem Terms

Learning Diagnostic Rules for Power Distribution Systems

Automatische Verfeinerung der Wissensbasis durch maschinelles Lernen in einem medizinischen Expertensystem

Applying Artificial Intelligence in Designing for Quality

HESDE — A Hypertext based Expert-System debugging Tool

Qualitative Spatial Reasoning with Cardinal Directions

Being Aware of Assumptions

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence - Informatik-Fachberichte
Latest Publications