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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540617082, 9783540706694

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Case retrieval nets: Basic ideas and extensions

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

10.1007/3-540-61708-6_63 ◽

1996 ◽

pp. 227-239 ◽

Cited By ~ 35

Author(s):

Mario Lenz ◽

Hans-Dieter Burkhard

Keyword(s):

Case Retrieval ◽

Basic Ideas

Download Full-text

Constructive disjunction revisited

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

10.1007/3-540-61708-6_78 ◽

1996 ◽

pp. 377-386 ◽

Cited By ~ 10

Author(s):

Jörg Würtz ◽

Tobias Müller

Download Full-text

Planning for distributed theorem proving: The teamwork approach

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

10.1007/3-540-61708-6_45 ◽

1996 ◽

pp. 43-56 ◽

Cited By ~ 7

Author(s):

Jörg Denzinger ◽

Martin Kronenburg

Keyword(s):

Theorem Proving

Download Full-text

A concept language extended with different kinds of transitive roles

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

10.1007/3-540-61708-6_74 ◽

1996 ◽

pp. 333-345 ◽

Cited By ~ 15

Author(s):

Ulrike Sattler

Download Full-text

Knowledge based image understanding by iterative optimization

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

10.1007/3-540-61708-6_68 ◽

1996 ◽

pp. 287-301 ◽

Cited By ~ 4

Author(s):

H. Niemann ◽

V. Fischer ◽

D. Paulus ◽

J. Fischer

Keyword(s):

Image Understanding ◽

Iterative Optimization ◽

Knowledge Based

Download Full-text

Belief revision in a nonclassical logic

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

10.1007/3-540-61708-6_61 ◽

1996 ◽

pp. 199-211 ◽

Cited By ~ 3

Author(s):

Gerhard Lakemeyer ◽

Wilfried Lang

Keyword(s):

Belief Revision ◽

Nonclassical Logic

Download Full-text

Managing multiple contexts efficiently

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

10.1007/3-540-61708-6_59 ◽

1996 ◽

pp. 179-182

Author(s):

Gerhard K. Kraetzschmar ◽

Josef Schneeberger

Keyword(s):

Multiple Contexts

Download Full-text

Application of a genetic algorithm for plausible justification of observations

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

10.1007/3-540-61708-6_58 ◽

1996 ◽

pp. 175-178

Author(s):

M. A. Kłopotek ◽

S. T. Wierzchoń ◽

M. Michalewicz

Keyword(s):

Genetic Algorithm

Download Full-text

Reasoning about action and change: Defeasible observations and actions with abnormal effects

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

10.1007/3-540-61708-6_55 ◽

1996 ◽

pp. 135-147 ◽

Cited By ~ 1

Author(s):

Janusz Jabłonowski ◽

Witold Lukaszewicz ◽

Ewa Madalińska-Bugaj

Keyword(s):

Reasoning About Action

Download Full-text

DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover

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

10.1007/3-540-61708-6_42 ◽

1996 ◽

pp. 19-23 ◽

Cited By ~ 1

Author(s):

Chandrabose Aravindan

Keyword(s):

Logic Programming ◽

Theorem Prover ◽

Programming System

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Case retrieval nets: Basic ideas and extensions

Constructive disjunction revisited

Planning for distributed theorem proving: The teamwork approach

A concept language extended with different kinds of transitive roles

Knowledge based image understanding by iterative optimization

Belief revision in a nonclassical logic

Managing multiple contexts efficiently

Application of a genetic algorithm for plausible justification of observations

Reasoning about action and change: Defeasible observations and actions with abnormal effects

DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover

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