GWAI-81 - Informatik-Fachberichte
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540108597, 9783662023280

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types

GWAI-81 - Informatik-Fachberichte ◽

10.1007/978-3-662-02328-0_9 ◽

1981 ◽

pp. 112-123

Author(s):

Ulrich Bartels ◽

Walter Olthoff ◽

Peter Raulefs

Keyword(s):

Expert System ◽

Abstract Data Types ◽

Data Types ◽

Sorting Algorithms ◽

Abstract Data

Download Full-text

Informationsgewinnung Durch Automatisches Erzeugen Zielbezogener Fragen

GWAI-81 - Informatik-Fachberichte ◽

10.1007/978-3-662-02328-0_28 ◽

1981 ◽

pp. 307-317

Author(s):

Sven Müller

Download Full-text

Structures for Knowledge-Based Chess Programs

GWAI-81 - Informatik-Fachberichte ◽

10.1007/978-3-662-02328-0_27 ◽

1981 ◽

pp. 297-306

Author(s):

K. v. Luck ◽

B. Owsnicki

Keyword(s):

Knowledge Based

Download Full-text

A Noetherian Rewrite System for Idempotent Semigroups

GWAI-81 - Informatik-Fachberichte ◽

10.1007/978-3-662-02328-0_21 ◽

1981 ◽

pp. 235-245 ◽

Cited By ~ 1

Author(s):

J. Siekmann ◽

P. Szabó

Keyword(s):

Rewrite System

Download Full-text

Elimination of Redundant Links in Extended Connection Graphs

GWAI-81 - Informatik-Fachberichte ◽

10.1007/978-3-662-02328-0_19 ◽

1981 ◽

pp. 201-213 ◽

Cited By ~ 3

Author(s):

Christoph Walther

Download Full-text

Expert Systems: State of the Art and Future Prospects

GWAI-81 - Informatik-Fachberichte ◽

10.1007/978-3-662-02328-0_8 ◽

1981 ◽

pp. 98-111 ◽

Cited By ~ 4

Author(s):

Peter Raulefs

Keyword(s):

Expert Systems ◽

State Of The Art ◽

Future Prospects

Download Full-text

Aspekte der rechnergestützten Generierung von Inferenzregeln durch Regelschemata

GWAI-81 - Informatik-Fachberichte ◽

10.1007/978-3-662-02328-0_7 ◽

1981 ◽

pp. 88-97

Author(s):

Christopher Habel ◽

Claus-Rainer Rollinger

Download Full-text

Verarbeitung von Externer und Interner Situation in Überzeugungssystemen

GWAI-81 - Informatik-Fachberichte ◽

10.1007/978-3-662-02328-0_26 ◽

1981 ◽

pp. 287-296

Author(s):

Katharina Morik

Download Full-text

Generating Small Models of First Order Axioms

GWAI-81 - Informatik-Fachberichte ◽

10.1007/978-3-662-02328-0_23 ◽

1981 ◽

pp. 248-255 ◽

Cited By ~ 1

Author(s):

K. M. Hörnig

Keyword(s):

First Order ◽

Small Models

Download Full-text

A Parallel Connection Graph Proof Procedure

GWAI-81 - Informatik-Fachberichte ◽

10.1007/978-3-662-02328-0_14 ◽

1981 ◽

pp. 160-167 ◽

Cited By ~ 2

Author(s):

Günter Hornung ◽

Anfried Knapp ◽

Ulrike Knapp

Keyword(s):

Parallel Connection ◽

Connection Graph ◽

Proof Procedure

Download Full-text