Catalogo dei prodotti della ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 41
Titolo Data di pubblicazione Autore(i) File
The Wumpus World in IndiGolog: A Preliminary Report 2005 Sebastian, Sardina; Vassos, Stavros
Progression of Situation Calculus Action Theories with Incomplete Information 2007 Vassos, Stavros; Hector, Levesque
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture 2008 Vassos, Stavros; Hector, Levesque
Progressing basic action theories with non-local effect actions 2008 Vassos, Stavros; Sebastian, Sardina; Hector, Levesque
First-Order Strong Progression for Local-Effect Basic Action Theories 2009 Vassos, Stavros; Gerhard, Lakemeyer; Hector, Levesque
A Reasoning Module for Long-Lived Cognitive Agents 2009 Vassos, Stavros
The SimpleFPS Planning Domain: A PDDL Benchmark for Proactive NPCs 2011 Vassos, Stavros; Michail, Papakonstantinou
Challenges for Qualitative Spatial Reasoning in Linked Geospatial Data 2011 M., Koubarakis; K., Kyzirakos; M., Karpathiotakis; C., Nikolaou; M., Sioutis; Vassos, Stavros; D., Michail; T., Herekakis; C., Kontoes; I., Papoutsis
A Database-type Approach for Progressing Action Theories with Bounded Effects 2011 Vassos, Stavros; S., Sardina
Action-Based Imperative Programming with YAGI 2012 Alexander, Ferrein; Gerald, Steinbauer; Vassos, Stavros
Building Virtual Earth Observatories Using Ontologies and Linked Geospatial Data 2012 M., Koubarakis; M., Karpathiotakis; K., Kyzirakos; C., Nikolaou; Vassos, Stavros; G., Garbis; M., Sioutis; K., Bereta; S., Manegold; M. L., Kersten; M., Ivanova; H., Pirk; Y., Zhang; C., Kontoes; I., Papoutsis; T., Herekakis; D., Michail; M., Datcu; G., Schwarz; C. O., Dumitru; D., Espinoza Molina; K., Molch; U. D., Giammatteo; M., Sagona; S., Perelli; E., Klien; T., Reitz; R., Gregor
iThink: A Library for Classical Planning in Video-Games 2012 Vassileios, Anastassiou; Panagiotis, Diamantopoulos; Vassos, Stavros; Koubarakis, Manolis
TELEIOS: A Database-Powered Virtual Earth Observatory 2012 M., Koubarakis; K., Kyzirakos; M., Karpathiotakis; C., Nikolaou; Vassos, Stavros; G., Garbis; M., Sioutis; K., Bereta; D., Michail; C., Kontoes; I., Papoutsis; T., Herekakis; S., Manegold; M. L., Kersten; M., Ivanova; H., Pirk; Y., Zhang; M., Datcu; G., Schwarz; C. O., Dumitru; D., Espinoza Molina; K., Molch; U. D., Giammatteo; M., Sagona; S., Perelli; T., Reitz; E., Klien; R., Gregor
Planning with a task modeling framework in manufacturing robotics 2013 Jacob, Huckaby; Vassos, Stavros; Henrik I., Christensen
Benchmarking smart spaces through autonomous virtual agents 2013 Caruso, Mario; Leotta, Francesco; Mecella, Massimo; Vassos, Stavros
A classification of first-order progressable action theories in situation calculus 2013 Vassos, Stavros; Patrizi, Fabio
How to progress a database III 2013 Vassos, Stavros; Hector J., Levesque
Combining deliberation and reactive behavior for AI players in the Mini-Tichu card-game 2013 M., Vlachou Konchylaki; Vassos, Stavros
Synthesizing daily life logs through gaming and simulation 2013 Caruso, Mario; Ilban, Cagri; Leotta, Francesco; Mecella, Massimo; Vassos, Stavros
Progression and Verification of Situation Calculus Agents with Bounded Beliefs 2014 DE GIACOMO, Giuseppe; Y., Lespérance; Patrizi, Fabio; Vassos, Stavros
Mostrati risultati da 1 a 20 di 41
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile