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

TOTAL DOCUMENTS

43

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540584674, 9783540489795

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

TabVer a case study in table verbalization

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

10.1007/3-540-58467-6_9 ◽

1994 ◽

pp. 94-105

Author(s):

Ingo Glöckner ◽

Andrea Grieszl ◽

Martin Müller ◽

Marc Ronthaler

Download Full-text

Interval situation calculus

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

10.1007/3-540-58467-6_43 ◽

1994 ◽

pp. 400-400

Author(s):

Eugenia Ternovskaia

Keyword(s):

Situation Calculus

Download Full-text

Graphtheoretical algorithms and knowledge-based design

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

10.1007/3-540-58467-6_42 ◽

1994 ◽

pp. 399-399

Author(s):

Kristina Schaedler

Keyword(s):

Knowledge Based ◽

Knowledge Based Design

Download Full-text

Unification in a sorted λ-calculus with term declarations and function sorts

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

10.1007/3-540-58467-6_29 ◽

1994 ◽

pp. 331-342

Author(s):

Michael Kohlhase

Keyword(s):

And Function ◽

Download Full-text

Incorporating specificity into circumscriptive theories

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

10.1007/3-540-58467-6_24 ◽

1994 ◽

pp. 272-283

Author(s):

James P. Delgrande ◽

Torsten H. Schaub

Download Full-text

A prioritized Contextual Default Logic: Curing anomalous extensions with a simple abnormality default theory

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

10.1007/3-540-58467-6_23 ◽

1994 ◽

pp. 260-271 ◽

Author(s):

Gerson Zaverucha

Keyword(s):

Default Logic ◽

Download Full-text

Formal methods for automated program improvement

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

10.1007/3-540-58467-6_32 ◽

1994 ◽

pp. 367-378

Author(s):

Peter Madden

Keyword(s):

Formal Methods ◽

Program Improvement

Download Full-text

A note on tableaux of logic of paradox

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

10.1007/3-540-58467-6_26 ◽

1994 ◽

pp. 296-307 ◽

Author(s):

Zuoquan Lin ◽

Wei Li

Keyword(s):

Logic Of Paradox

Download Full-text

An optimal bidirectional search algorithm

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

10.1007/3-540-58467-6_37 ◽

1994 ◽

pp. 394-394 ◽

Author(s):

Jürgen Eckerle

Keyword(s):

Search Algorithm ◽

Bidirectional Search

Download Full-text

An artificial neural network for high precision eye movement tracking

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

10.1007/3-540-58467-6_6 ◽

1994 ◽

pp. 63-69 ◽

Author(s):

Marc Pomplun ◽

Boris Velichkovsky ◽

Helge Ritter

Keyword(s):

Neural Network ◽

Artificial Neural Network ◽

Eye Movement ◽

High Precision ◽

Eye Movement Tracking ◽

Artificial Neural ◽

Movement Tracking

Download Full-text