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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540603436, 9783540449447

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An empirically validated model for computing spatial relations

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

10.1007/3-540-60343-3_41 ◽

1995 ◽

pp. 245-256 ◽

Cited By ~ 13

Author(s):

Klaus-Peter Gapp

Keyword(s):

Spatial Relations

Download Full-text

Actions that make you change your mind

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

10.1007/3-540-60343-3_36 ◽

1995 ◽

pp. 185-196 ◽

Cited By ~ 10

Author(s):

B. van Linder ◽

W. van der Hoek ◽

J. -J. Ch. Meyer

Download Full-text

Parallelizing description logics

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

10.1007/3-540-60343-3_32 ◽

1995 ◽

pp. 137-148 ◽

Cited By ~ 8

Author(s):

Frank W. Bergmann ◽

J. Joachim Quantz

Keyword(s):

Description Logics

Download Full-text

Inducing integrity constraints from knowledge bases

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

10.1007/3-540-60343-3_27 ◽

1995 ◽

pp. 77-88

Author(s):

Roman Englert

Keyword(s):

Knowledge Bases ◽

Integrity Constraints

Download Full-text

Temporal logic based on characteristic functions

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

10.1007/3-540-60343-3_39 ◽

1995 ◽

pp. 221-232 ◽

Cited By ~ 3

Author(s):

Maroua Bouzid ◽

Antoni Ligeza

Keyword(s):

Temporal Logic ◽

Characteristic Functions

Download Full-text

Default entailment

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

10.1007/3-540-60343-3_35 ◽

1995 ◽

pp. 173-184 ◽

Cited By ~ 2

Author(s):

Emil Weydert

Download Full-text

Distinction networks

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

10.1007/3-540-60343-3_24 ◽

1995 ◽

pp. 35-48 ◽

Cited By ~ 1

Author(s):

William M. Bricken

Download Full-text

Robust processing of natural language

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

10.1007/3-540-60343-3_23 ◽

1995 ◽

pp. 19-34 ◽

Cited By ~ 4

Author(s):

Wolfgang Menzel

Keyword(s):

Natural Language ◽

Robust Processing

Download Full-text

Reasoning about action with typical and atypical effects

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

10.1007/3-540-60343-3_37 ◽

1995 ◽

pp. 197-208 ◽

Cited By ~ 3

Author(s):

Anna Radzikowska

Keyword(s):

Reasoning About Action

Download Full-text

Dynamic structuring of lexical knowledge in a reusability scenario

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

10.1007/3-540-60343-3_28 ◽

1995 ◽

pp. 89-100

Author(s):

Wilfried Hötker

Keyword(s):

Lexical Knowledge

Download Full-text

KI-95: Advances in Artificial Intelligence - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

An empirically validated model for computing spatial relations

Actions that make you change your mind

Parallelizing description logics

Inducing integrity constraints from knowledge bases

Temporal logic based on characteristic functions

Default entailment

Distinction networks

Robust processing of natural language

Reasoning about action with typical and atypical effects

Dynamic structuring of lexical knowledge in a reusability scenario

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