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

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540665489, 9783540481591

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Inclusion of Picture Sequences in Generated Documents

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-48159-1_8 ◽

1999 ◽

pp. 99-112

Author(s):

Kees van Deemter ◽

Richard Power

Download Full-text

Decisions Based upon Multiple Values: The BVG Agent Architecture

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-48159-1_21 ◽

1999 ◽

pp. 297-311 ◽

Author(s):

Luis Antunes ◽

Helder Coelho

Keyword(s):

Agent Architecture

Download Full-text

Analytic Modal Revision for Multi-agent Systems

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-48159-1_20 ◽

1999 ◽

pp. 282-296

Author(s):

Paolo Di Giusto ◽

Guido Governatori

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Download Full-text

On the Formal Distinction between Literal and Figurative Language

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-48159-1_10 ◽

1999 ◽

pp. 133-147

Author(s):

Udo Hahn ◽

Katja Markert

Keyword(s):

Figurative Language ◽

Formal Distinction

Download Full-text

Expressing Population Based Optimization Heuristics Using PLATO

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-48159-1_26 ◽

1999 ◽

pp. 369-383 ◽

Author(s):

Luís Correia ◽

Fernando Moura-Pires ◽

Joaquim N. Aparício

Keyword(s):

Population Based ◽

Optimization Heuristics

Download Full-text

Critical Agents Supporting Interactive Theorem Proving

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-48159-1_15 ◽

1999 ◽

pp. 208-221 ◽

Author(s):

Christoph Benzmüller ◽

Volker Sorge

Keyword(s):

Theorem Proving ◽

Interactive Theorem Proving

Download Full-text

YapOr: An Or-Parallel Prolog System Based on Environment Copying

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-48159-1_13 ◽

1999 ◽

pp. 178-192 ◽

Author(s):

Ricardo Rocha ◽

Fernando Silva ◽

Vítor Santos Costa

Download Full-text

Combinatorial Optimization in OPL Studio

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-48159-1_1 ◽

1999 ◽

pp. 1-15 ◽

Author(s):

P. Van Hentenryck ◽

L. Michel ◽

P. Laborie ◽

W. Nuijten ◽

J. Rogerie

Keyword(s):

Combinatorial Optimization

Download Full-text

On the Accuracy and Running Time of GSAT

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-48159-1_4 ◽

1999 ◽

pp. 49-61

Author(s):

Deborah East ◽

Mirosław Truszczyński

Keyword(s):

Download Full-text

Temporal Abductive Diagnosis

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-48159-1_22 ◽

1999 ◽

pp. 312-326

Author(s):

Elpida T. Keravnou ◽

John Washbrook

Download Full-text