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

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

6
(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

2001 ◽  
pp. 379-392 ◽  
Author(s):  
Antonio Garrido ◽  
Eva Onaindía ◽  
Federico Barber
Keyword(s):  
Planning System ◽  
Optimal Planning ◽  
Temporal Planning ◽  
Time Optimal

Evolving Multi-agent Viewpoints — An Architecture

2001 ◽  
pp. 169-182 ◽  
Author(s):  
Pierangelo Dell’Acqua ◽  
João Alexandre Leite ◽  
Luís Moniz Pereira
Keyword(s):  
Multi Agent

Selection Restrictions Acquisition from Corpora

2001 ◽  
pp. 30-43 ◽  
Author(s):  
Pablo Gamallo ◽  
Alexandre Agustini ◽  
Gabriel P. Lopes
Keyword(s):  
Selection Restrictions

STeLLa: An Optimal Sequential and Parallel Planner

2001 ◽  
pp. 409-416 ◽  
Author(s):  
L. Sebastia ◽  
E. Onaindia ◽  
E. Marzal

A Modified Semantics for LUPS

2001 ◽  
pp. 261-275 ◽  
Author(s):  
João Alexandre Leite

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

2001 ◽  
pp. 88-95 ◽  
Author(s):  
Carlos Soares ◽  
Johann Petrak ◽  
Pavel Brazdil

A Procedural Semantics for Multi-adjoint Logic Programming

2001 ◽  
pp. 290-297 ◽  
Author(s):  
Jesús Medina ◽  
Manuel Ojeda-Aciego ◽  
Peter Vojtáš
Keyword(s):  
Logic Programming ◽  
Procedural Semantics

Situation Calculus as Hybrid Logic: First Steps

2001 ◽  
pp. 253-260 ◽  
Author(s):  
Patrick Blackburn ◽  
Jaap Kamps ◽  
Maarten Marx
Keyword(s):  
Hybrid Logic ◽  
Situation Calculus
Load More ...
Sign in / Sign up

Export Citation Format

Share Document