IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 98
Titolo Data di pubblicazione Autore(i) File
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem 1-gen-1992 Armando, Alessandro; Giunchiglia, Enrico; P., Traverso
A knowledge Based System for Automatic 3D Scene Generation 1-gen-1992 P., Traverso; Armando, Alessandro; Giunchiglia, Enrico
Proving formulas through reduction to decidable classes 1-gen-1993 M., DI MANZO; Giunchiglia, Enrico; Armando, Alessandro; P., Pecchiari
Non-Omniscient Belief as Context-Based Resoning 1-gen-1993 Giunchiglia, F.; Serafini, L.; Giunchiglia, E.; Frixione, Marcello
Embedding complex decision procedures inside an interactive theorem prover 1-gen-1993 Armando, Alessandro; Giunchiglia, Enrico
MRG: Building Planners for Real World Complex Applications 1-gen-1994 P., Traverso; A., Cimatti; L., Spalazzi; Armando, Alessandro; Giunchiglia, Enrico
Structured proof procedures 1-gen-1995 Giunchiglia, Enrico; Armando, Alessandro; Pecchiari, P.
Flexible planning by integrating multilevel reasoning 1-gen-1995 Armando, Alessandro; Cimatti, A.; Giunchiglia, Enrico; Pecchiari, P.; Spalazzi, L.; Traverso, P.
Visual Representation of Natural Language Scene Descriptions 1-gen-1996 Giunchiglia, Enrico; Armando, Alessandro; P., Traverso; A., Cimatti
Representing Action: Indeterminacy and Ramifications 1-gen-1997 Giunchiglia, Enrico; G. N., Kartha; V., Lifschitz
SAT-Based Procedures for Temporal Reasoning 1-gen-2000 Armando, Alessandro; C., Castellini; Giunchiglia, Enrico
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics 1-gen-2000 Giunchiglia, Enrico; Tacchella, Armando
SAT vs. Translation based decision procedures for modal logics: a comparative evaluation 1-gen-2000 Giunchiglia, Enrico; Giunchiglia, A.; Sebastiani, R.; Tacchella, Armando
Towards an Efficient Library for SAT: a Manifesto 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando; M. Y., Vardi
Benefits of bounded model checking at an industrial setting 1-gen-2001 Copty, F.; Fix, L.; Fraer, R.; Giunchiglia, Enrico; Kamhi, G.; Tacchella, Armando; Vardi, M. Y.
Evaluating search heuristics and optimization techniques in propositional satisfiability 1-gen-2001 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando; Zambonin, Davide
Backjumping for Quantified Boolean Logic Satisfiability 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Ideal and Real Belief about Belief 1-gen-2001 Giunchiglia, Enrico; Giunchiglia, Fausto
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics 1-gen-2001 Giunchiglia, Enrico; Tacchella, Armando
Mostrati risultati da 1 a 20 di 98
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