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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540650805, 9783540496564

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Artificial intelligence for nature— Why knowledge representation and problem solving should play a key role in environmental decision support

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

10.1007/bfb0095425 ◽

1998 ◽

pp. 17-30 ◽

Cited By ~ 4

Author(s):

Peter Struss

Keyword(s):

Artificial Intelligence ◽

Decision Support ◽

Problem Solving ◽

Knowledge Representation ◽

Environmental Decision

Download Full-text

The treatment of time in a case-based analysis of experimental medical studies

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

10.1007/bfb0095441 ◽

1998 ◽

pp. 213-223

Author(s):

Alexander Seitz ◽

Adelinde M. Uhrmacher

Keyword(s):

Medical Studies ◽

Case Based

Download Full-text

Needle’s eyes—A general decomposition principle for practical uses

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

10.1007/bfb0095429 ◽

1998 ◽

pp. 69-80

Author(s):

Fritz Mädler ◽

Karsten Knorr

Keyword(s):

Decomposition Principle

Download Full-text

Concepts for a diagnostic critiquing system in vague domains

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

10.1007/bfb0095440 ◽

1998 ◽

pp. 201-212 ◽

Cited By ~ 2

Author(s):

Ulrike Rhein-Desel ◽

Irank Puppe

Download Full-text

Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions

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

10.1007/bfb0095434 ◽

1998 ◽

pp. 129-140 ◽

Cited By ~ 24

Author(s):

Franz Baader ◽

Ralf Küsters

Keyword(s):

Specific Concept

Download Full-text

Distributive concept exploration— A knowledge acquisition tool in formal concept analysis

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

10.1007/bfb0095433 ◽

1998 ◽

pp. 117-128

Author(s):

Gerd Stumme

Keyword(s):

Knowledge Acquisition ◽

Formal Concept Analysis ◽

Concept Analysis ◽

Formal Concept ◽

Concept Exploration

Download Full-text

GOLEX—Bridging the Gap between Logic (GOLOG) and a real robot

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

10.1007/bfb0095437 ◽

1998 ◽

pp. 165-176 ◽

Cited By ~ 14

Author(s):

Dirk Hähnel ◽

Wolfram Burgard ◽

Gerhard Lakemeyer

Keyword(s):

Real Robot

Download Full-text

Deductive verification of invariants of state-transition systems

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

10.1007/bfb0095436 ◽

1998 ◽

pp. 153-164

Author(s):

Dieter Hutter

Keyword(s):

State Transition ◽

Deductive Verification ◽

Transition Systems ◽

State Transition Systems

Download Full-text

OBDDs in heuristic search

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

10.1007/bfb0095430 ◽

1998 ◽

pp. 81-92 ◽

Cited By ~ 30

Author(s):

Stefan Edelkamp ◽

Frank Reffel

Keyword(s):

Heuristic Search

Download Full-text

Structured reactive communication plans—

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

10.1007/bfb0095438 ◽

1998 ◽

pp. 177-188

Author(s):

Michael Beetz ◽

Hanno Peters

Download Full-text

Lecture Notes in Computer Science - KI-98: Advances in Artificial IntelligenceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Artificial intelligence for nature— Why knowledge representation and problem solving should play a key role in environmental decision support

The treatment of time in a case-based analysis of experimental medical studies

Needle’s eyes—A general decomposition principle for practical uses

Concepts for a diagnostic critiquing system in vague domains

Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions

Distributive concept exploration— A knowledge acquisition tool in formal concept analysis

GOLEX—Bridging the Gap between Logic (GOLOG) and a real robot

Deductive verification of invariants of state-transition systems

OBDDs in heuristic search

Structured reactive communication plans—

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