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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540430308, 9783540453291

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Temporal Planning System for Time-Optimal Planning

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-45329-6_37 ◽

2001 ◽

pp. 379-392 ◽

Cited By ~ 2

Author(s):

Antonio Garrido ◽

Eva Onaindía ◽

Federico Barber

Keyword(s):

Planning System ◽

Optimal Planning ◽

Temporal Planning ◽

Time Optimal

Download Full-text

Evolving Multi-agent Viewpoints — An Architecture

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-45329-6_19 ◽

2001 ◽

pp. 169-182 ◽

Cited By ~ 3

Author(s):

Pierangelo Dell’Acqua ◽

João Alexandre Leite ◽

Luís Moniz Pereira

Keyword(s):

Multi Agent

Download Full-text

Selection Restrictions Acquisition from Corpora

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-45329-6_7 ◽

2001 ◽

pp. 30-43 ◽

Cited By ~ 5

Author(s):

Pablo Gamallo ◽

Alexandre Agustini ◽

Gabriel P. Lopes

Keyword(s):

Selection Restrictions

Download Full-text

STeLLa: An Optimal Sequential and Parallel Planner

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-45329-6_40 ◽

2001 ◽

pp. 409-416 ◽

Cited By ~ 2

Author(s):

L. Sebastia ◽

E. Onaindia ◽

E. Marzal

Download Full-text

Hybrid Hierarchical Knowledge Organization for Planning

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-45329-6_39 ◽

2001 ◽

pp. 401-408 ◽

Cited By ~ 1

Author(s):

Bhanu Prasad

Keyword(s):

Knowledge Organization ◽

Hierarchical Knowledge Organization

Download Full-text

A Modified Semantics for LUPS

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-45329-6_27 ◽

2001 ◽

pp. 261-275 ◽

Cited By ~ 3

Author(s):

João Alexandre Leite

Download Full-text

Sampling-Based Relative Landmarks: Systematically Test-Driving Algorithms before Choosing

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-45329-6_12 ◽

2001 ◽

pp. 88-95 ◽

Cited By ~ 11

Author(s):

Carlos Soares ◽

Johann Petrak ◽

Pavel Brazdil

Download Full-text

Global Hull Consistency with Local Search for Continuous Constraint Solving

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-45329-6_34 ◽

2001 ◽

pp. 349-362

Author(s):

Jorge Cruz ◽

Pedro Barahona

Keyword(s):

Local Search ◽

Constraint Solving

Download Full-text

A Procedural Semantics for Multi-adjoint Logic Programming

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-45329-6_29 ◽

2001 ◽

pp. 290-297 ◽

Cited By ~ 22

Author(s):

Jesús Medina ◽

Manuel Ojeda-Aciego ◽

Peter Vojtáš

Keyword(s):

Logic Programming ◽

Procedural Semantics

Download Full-text

Situation Calculus as Hybrid Logic: First Steps

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-45329-6_26 ◽

2001 ◽

pp. 253-260 ◽

Cited By ~ 1

Author(s):

Patrick Blackburn ◽

Jaap Kamps ◽

Maarten Marx

Keyword(s):

Hybrid Logic ◽

Situation Calculus

Download Full-text

Progress in Artificial Intelligence - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Temporal Planning System for Time-Optimal Planning

Evolving Multi-agent Viewpoints — An Architecture

Selection Restrictions Acquisition from Corpora

STeLLa: An Optimal Sequential and Parallel Planner

Hybrid Hierarchical Knowledge Organization for Planning

A Modified Semantics for LUPS

Sampling-Based Relative Landmarks: Systematically Test-Driving Algorithms before Choosing

Global Hull Consistency with Local Search for Continuous Constraint Solving

A Procedural Semantics for Multi-adjoint Logic Programming

Situation Calculus as Hybrid Logic: First Steps

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