Progress in Artificial Intelligence - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

37
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540635864, 9783540696056
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Flexible proof-replay with heuristics

1997 ◽  
pp. 1-12 ◽  
Author(s):  
Marc Fuchs

Training strategies and knowledge acquisition: Using the same reflective tools for different purposes

1997 ◽  
pp. 119-129 ◽  
Author(s):  
Christophe Choquet ◽  
Pierre Tchounikine ◽  
Francky Trichet
Keyword(s):  
Knowledge Acquisition ◽  
Training Strategies

Diagnostic information at your fingertips!

1997 ◽  
pp. 349-360
Author(s):  
Oskar Dressier
Keyword(s):  
Diagnostic Information

Parla: A cooperation language for cognitive multi-agent systems

1997 ◽  
pp. 207-215 ◽  
Author(s):  
A. C. P. L. da Costa ◽  
G. Bittencourt
Keyword(s):  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent

Temporal reasoning about actor programs

1997 ◽  
pp. 279-290 ◽  
Author(s):  
Susanne Schacht ◽  
Udo Hahn
Keyword(s):  
Temporal Reasoning

A Multi-agent approach to first-order logic

1997 ◽  
pp. 167-178 ◽  
Author(s):  
Guilherme Bittencourt ◽  
Isabel Tonin
Keyword(s):  
Order Logic ◽  
First Order Logic ◽  
First Order ◽  
Multi Agent
Load More ...
Sign in / Sign up

Export Citation Format

Share Document