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

TOTAL DOCUMENTS

45

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540604280, 9783540455950

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A cognitive model of problem solving with incomplete information

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-60428-6_40 ◽

1995 ◽

pp. 441-445

Author(s):

Nathalie Chaignaud

Keyword(s):

Problem Solving ◽

Incomplete Information ◽

Cognitive Model

Download Full-text

Presenting significant information in expert system explanation

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-60428-6_39 ◽

1995 ◽

pp. 435-439 ◽

Author(s):

Michael Wolverton

Keyword(s):

Expert System ◽

Significant Information

Download Full-text

Agreement: A logical approach to approximate reasoning

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-60428-6_37 ◽

1995 ◽

pp. 419-428

Author(s):

Luis M. M. Gustódio ◽

Carlos A. Pinto-Ferreira

Keyword(s):

Approximate Reasoning ◽

Logical Approach

Download Full-text

Promoting software reuse through explicit knowledge representations

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-60428-6_33 ◽

1995 ◽

pp. 387-396 ◽

Author(s):

Carmen Fernández-Chamizo ◽

Pedro Antonio González-Calero ◽

Mercedes Gómez-Albarrán

Keyword(s):

Software Reuse ◽

Explicit Knowledge ◽

Knowledge Representations

Download Full-text

Integrated process supervision: A structured approach to expert control

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-60428-6_27 ◽

1995 ◽

pp. 323-334 ◽

Author(s):

C. Quek ◽

P. W. Ng ◽

M. Pasquier

Keyword(s):

Integrated Process ◽

Expert Control ◽

Structured Approach ◽

Process Supervision

Download Full-text

A new continuous propositional logic

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-60428-6_2 ◽

1995 ◽

pp. 17-28

Author(s):

Riccardo Poli ◽

Mark Ryan ◽

Aaron Sloman

Keyword(s):

Propositional Logic

Download Full-text

Building multi-agent societies from descriptions to systems: Inter-layer translations

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-60428-6_12 ◽

1995 ◽

pp. 143-152 ◽

Author(s):

Helder Coelho ◽

Luis Antunes ◽

Luis Moniz

Keyword(s):

Agent Societies ◽

Download Full-text

Characterization of classification algorithms

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-60428-6_16 ◽

1995 ◽

pp. 189-200 ◽

Author(s):

J. Gama ◽

P. Brazdil

Keyword(s):

Classification Algorithms

Download Full-text

Formalizing local propagation in constraint maintenance systems

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-60428-6_7 ◽

1995 ◽

pp. 83-94 ◽

Author(s):

Gilles Trombettoni

Keyword(s):

Local Propagation ◽

Maintenance Systems

Download Full-text

Multilevel refinement planning in an interval-based temporal logic

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-60428-6_45 ◽

1995 ◽

pp. 483-487 ◽

Author(s):

Werner Stephan ◽

Susanne Biundo

Keyword(s):

Download Full-text