KI-97: Advances in Artificial Intelligence - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

39

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540634935, 9783540695820

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Rigid hypertableaux

KI-97: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3540634932_6 ◽

1997 ◽

pp. 87-98 ◽

Author(s):

Michael Kühn

Download Full-text

Expert system in additional finishing

KI-97: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3540634932_37 ◽

1997 ◽

pp. 401-404

Author(s):

N. Stojanović ◽

Lj. Stoiljković ◽

D. Milenović ◽

V. Stoiljković

Keyword(s):

Download Full-text

Integrating an equality prover into a software development system based on type theory

KI-97: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3540634932_11 ◽

1997 ◽

pp. 147-158 ◽

Author(s):

Martin Strecker ◽

Maria Sorea

Keyword(s):

Software Development ◽

Type Theory ◽

Development System ◽

Software Development System

Download Full-text

Constraining the acquisition of concepts by the quality of heterogeneous evidence

KI-97: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3540634932_20 ◽

1997 ◽

pp. 255-266

Author(s):

Klemens Schnattinger ◽

Udo Hahn

Download Full-text

Modelling subjective distances

KI-97: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3540634932_15 ◽

1997 ◽

pp. 195-206

Author(s):

Bettina Berendt

Download Full-text

An axiomatic approach to the spatial relations underlying left-right and in front of-behind

KI-97: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3540634932_16 ◽

1997 ◽

pp. 207-218 ◽

Author(s):

Carola Eschenbach ◽

Lars Kulik

Keyword(s):

Spatial Relations ◽

Axiomatic Approach

Download Full-text

Minimal model generation based on E-hyper tableaux

KI-97: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3540634932_7 ◽

1997 ◽

pp. 99-110 ◽

Author(s):

Wenjin Lu

Keyword(s):

Minimal Model ◽

Model Generation

Download Full-text

Reducing lexical redundancy by augmenting conceptual knowledge

KI-97: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3540634932_35 ◽

1997 ◽

pp. 393-396

Author(s):

Sven Hartrumpf ◽

Marion Schulz

Keyword(s):

Conceptual Knowledge

Download Full-text

Mechanising partiality without re-implementation

KI-97: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3540634932_9 ◽

1997 ◽

pp. 123-134 ◽

Author(s):

Manfred Kerber ◽

Michael Kohlhase

Download Full-text

A modal computational framework for default reasoning

KI-97: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3540634932_30 ◽

1997 ◽

pp. 373-376

Author(s):

Alberto Artosi ◽

Paola Cattabriga ◽

Guido Governatori

Keyword(s):

Default Reasoning ◽

Computational Framework

Download Full-text