Fundamentals of Artificial Intelligence Research - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540545071, 9783540384205

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal grammars and cognitive architectures

Fundamentals of Artificial Intelligence Research - Lecture Notes in Computer Science ◽

10.1007/3-540-54507-7_5 ◽

1991 ◽

pp. 48-58

Author(s):

Gheorghe PĂun

Keyword(s):

Cognitive Architectures ◽

Formal Grammars

Download Full-text

Negation as failure and intuitionistic three-valued logic

Fundamentals of Artificial Intelligence Research - Lecture Notes in Computer Science ◽

10.1007/3-540-54507-7_19 ◽

1991 ◽

pp. 227-241 ◽

Author(s):

Jacqueline Vauzeilles

Keyword(s):

Negation As Failure

Download Full-text

Building in equational theories into the connection method

Fundamentals of Artificial Intelligence Research - Lecture Notes in Computer Science ◽

10.1007/3-540-54507-7_13 ◽

1991 ◽

pp. 156-169 ◽

Author(s):

Uwe Petermann

Keyword(s):

Equational Theories ◽

Connection Method

Download Full-text

Symbolic Computation and Artificial Intelligence

Fundamentals of Artificial Intelligence Research - Lecture Notes in Computer Science ◽

10.1007/3-540-54507-7_20 ◽

1991 ◽

pp. 243-255

Author(s):

Alfonso Miola

Keyword(s):

Artificial Intelligence ◽

Symbolic Computation

Download Full-text

Logical fiberings and polycontextural systems

Fundamentals of Artificial Intelligence Research - Lecture Notes in Computer Science ◽

10.1007/3-540-54507-7_14 ◽

1991 ◽

pp. 170-184 ◽

Author(s):

J. Pfalzgraf

Download Full-text

A modal analysis of possibility theory

Fundamentals of Artificial Intelligence Research - Lecture Notes in Computer Science ◽

10.1007/3-540-54507-7_2 ◽

1991 ◽

pp. 11-18 ◽

Author(s):

Luis Fariñas del Cerro ◽

Andreas Herzig

Keyword(s):

Modal Analysis ◽

Possibility Theory

Download Full-text

On the phenomenon of flattening “flexible prediction” concept hierarchy

Fundamentals of Artificial Intelligence Research - Lecture Notes in Computer Science ◽

10.1007/3-540-54507-7_9 ◽

1991 ◽

pp. 99-111

Author(s):

Mieczyslaw A. Klopotek

Keyword(s):

Concept Hierarchy

Download Full-text

Relational proof systems for some AI logics

Fundamentals of Artificial Intelligence Research - Lecture Notes in Computer Science ◽

10.1007/3-540-54507-7_4 ◽

1991 ◽

pp. 33-47 ◽

Author(s):

Eva Orlowska

Keyword(s):

Download Full-text

Execution of defeasible temporal clauses for building preferred models

Fundamentals of Artificial Intelligence Research - Lecture Notes in Computer Science ◽

10.1007/3-540-54507-7_8 ◽

1991 ◽

pp. 84-98 ◽

Author(s):

Anthony Hunter

Keyword(s):

Temporal Clauses

Download Full-text

Efficient simulations of nondeterministic computations and their speed-up by the ring of cooperating machines

Fundamentals of Artificial Intelligence Research - Lecture Notes in Computer Science ◽

10.1007/3-540-54507-7_6 ◽

1991 ◽

pp. 59-70

Author(s):

Juraj Wiedermann

Keyword(s):

Download Full-text