Benvenuti nell'Anagrafe della Ricerca d'Ateneo

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 86
Titolo Data di pubblicazione Autore(i) File
Linear Time Logic, Conditioned Models and Planning with Incomplete Knowledge 1-gen-2002 Cialdea, Marta; Limongelli, Carla
A General Theorem Prover for Quantified Modal Logics 1-gen-2002 V., Thion; S., Cerrito; Cialdea, Marta
Planning under Uncertainty in Linear Time Logic 1-gen-2003 Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V.
Tableaux 2003. Position papers and tutorial (Rome, 9-12 september 2003) 1-gen-2003 Cialdea, Marta; Pirri, F.
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings 1-gen-2003 Cialdea, Marta; Pirri, F.
Simulation and robotic systems for operations in emergency scenarios 1-gen-2004 M., Bordegoni; Cialdea, Marta; D., Nardi; F., Pirri
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic 1-gen-2004 Cialdea, Marta; Limongelli, Carla; Orlandini, A; Poggioni, V.
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic 1-gen-2004 Cialdea, Marta; Limongelli, Carla; A., Orlandini; V., Poggioni
Planning with Graded Fluents and Actions 1-gen-2005 Cialdea, Marta; Limongelli, Carla; A., Orlandini; V., Poggioni
A Proposal for Planning with graded fluents and actions (Pianificare con azioni e fluenti graduati) 1-gen-2005 Cialdea, Marta; Limongelli, Carla; A., Orlandini; V., Poggioni
Planning with Graded Fluents and Actions 1-gen-2005 Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V.
Pdk: the system and its language 1-gen-2005 Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V.
Linear temporal logic as an executable semantics for planning languages 1-gen-2007 Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V.
Linear temporal logic as an executable semantics for planning languages 1-gen-2007 Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V.
Abduction and consequence generation in a support system for the design of logical multiple-choice questions 1-gen-2009 Cialdea, Marta
Herod and Pilate: two tableau provers for basic hybrid logic 1-gen-2010 Cialdea, Marta; S., Cerrito
An efficient approach to nominal equalities in hybrid logic tableaux 1-gen-2010 Cerrito, S.; Cialdea, Marta
Nominal Substitution at work with the Global and Converse Modalities 1-gen-2010 Cerrito, S; Cialdea, Marta
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders 1-gen-2011 Cerrito, S.; Cialdea, Marta
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities 1-gen-2013 Cerrito, S; Cialdea, Marta
Mostrati risultati da 41 a 60 di 86
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