IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 183
Titolo Data di pubblicazione Autore(i) File
{log}: A Logic Programming Language with Finite Sets 1-gen-1991 Dovier, Agostino; E. G., Omodeo; E., Pontelli; G., Rossi
Embedding Finite Sets in a Logic Programming Language 1-gen-1992 Dovier, Agostino; E. G., Omodeo; E., Pontelli; G., Rossi
A WAM based Implementation of a Logic Language with Sets 1-gen-1993 Dovier, Agostino; E., Pontelli
A language with Finite Sets embedded in the CLP-scheme 1-gen-1993 Dovier, Agostino
Embedding extensional finite sets in CLP 1-gen-1993 Dovier, Agostino; G., Rossi
Compiling Intensional Sets in CLP 1-gen-1994 P., Bruscoli; Dovier, Agostino; E., Pontelli; G., Rossi
Minimal set unification 1-gen-1995 Arenas Sanchez, P; Dovier, Agostino
{log}: A Language for Programming in Logic with Finite Sets 1-gen-1996 Dovier, Agostino; E. G., Omodeo; E., Pontelli; AND G., Rossi
Integrating lists, multisets, and sets in a logic programming framework. 1-gen-1996 Dovier, Agostino; Policriti, Alberto; G., Rossi
On T Logic Programming 1-gen-1997 Dovier, A.; Formisano, A.; Policriti, A.
A Minimality Study for Set Unification 1-gen-1998 Puri Arenas, Sanchez; Dovier, Agostino
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm 1-gen-1998 Dovier, Agostino; Policriti, Alberto; Rossi, G.
On the Representation and Management of Finite Sets in CLP-languages 1-gen-1998 Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G.
Solvable set/hyperset contexts: II. A goal driven unification algorithm for the blended case 1-gen-1999 Dovier, Agostino; Omodeo, E.; Policriti, Alberto
From Set to Hyperset Unification 1-gen-1999 Aliffi, D.; Dovier, Agostino; Rossi, G.
ACI1 Constraints 1-gen-1999 Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G.
A Necessary Condition for Constructive Negation in Constraint Logic Programming 1-gen-2000 Dovier, Agostino; Pontelli, E.; Rossi, G.
Sets and Constraint Logic Programming 1-gen-2000 Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G.
Comparing Expressiveness of Set Constructor Symbols 1-gen-2000 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Model Checking Based Data Retrieval 1-gen-2001 Dovier, Agostino; Quintarelli, E.
Multiset rewriting by multiset constraint solving 1-gen-2001 Dovier, Agostino; Piazza, Carla; Rossi, G.
Designing the minimal structure of hidden Markov model by bisimulation 1-gen-2001 M., Bicego; Dovier, Agostino; V., Murino
Constructive negation and constraint logic programming with sets 1-gen-2001 Dovier, Agostino; Pontelli, E.; Rossi, G.
Multiset Constraints and P Systems 1-gen-2001 Dovier, Agostino; Piazza, Carla; Rossi, G.
A Fast Bisimulation Algorithm 1-gen-2001 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Operational and abstract semantics of the query language G-Log 1-gen-2002 Cortesi, A.; Dovier, Agostino; Quintarelli, E.; Tanca, L.
Using Secondary Structure Information for Protein Folding in CLP(FD) 1-gen-2002 Dovier, Agostino; Burato, M.; Fogolari, Federico
Rank-Based Symbolic Bisimulation (and Model Checking) 1-gen-2002 Dovier, Agostino; Gentilini, R; Piazza, Carla; Policriti, Alberto
Integrating Finite Domain Constraints and CLP with Sets 1-gen-2003 DAL PALU', A; Dovier, Agostino; Pontelli, E; Rossi, G.
The Subgraph Bisimulation Problem 1-gen-2003 Dovier, Agostino; Piazza, Carla
Intensional Sets in CLP 1-gen-2003 Dovier, Agostino; Pontelli, E; Rossi, G.
Book review: Set Theory for Computing. by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001. 1-gen-2003 Dovier, Agostino
Constraint Logic Programming approach to protein structure prediction 1-gen-2004 DAL PALU', Alessandro; Dovier, Agostino; Fogolari, Federico
An Efficient Algorithm for Computing Bisimulation Equivalence 1-gen-2004 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Disunification in ACI1 Theories 1-gen-2004 Dovier, Agostino; Piazza, Carla; Pontelli, E.
Protein Folding in CLP(FD) with Empirical Contact Energies 1-gen-2004 A., DAL PALU'; Dovier, Agostino; Fogolari, Federico
Designing an urban-scale auditory alert system 1-gen-2004 F., Avanzini; D., Rocchesso; A., Belussi; A., DAL PALÙ; Dovier, Agostino
Protein Folding Simulation in CCP 1-gen-2004 A., Dal Palù; Dovier, Agostino; Fogolari, Federico
Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD) 1-gen-2005 A., DAL PALU'; Dovier, Agostino; E., Pontelli
Interval-based Modelling with Constraints Propagation 1-gen-2005 Dovier, Agostino; M., Farenzena; Fusiello, Andrea
Agent-Based Protein Folding Simulation 1-gen-2005 L., Bortolussi; A., DAL PALU'; Dovier, Agostino; Fogolari, Federico
A comparison of CLP(FD) and ASP solutions to NP-complete problems 1-gen-2005 Dovier, Agostino; Formisano, A.; Pontelli, E.
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem 1-gen-2005 A., DAL PALU'; Dovier, Agostino; E., Pontelli
Set Unification 1-gen-2006 Dovier, A; E., Pontelli; G., Rossi
Exploiting Model Checking in Constraint-based Approaches to the Protein Folding. 1-gen-2006 De Maria, E.; Dovier, Agostino; Montanari, Angelo; Piazza, Carla
Reconstruction with Interval Constraints Propagation 1-gen-2006 Farenzena, M; Fusiello, Andrea; Dovier, Agostino
Global Constraints for Discrete Lattices 1-gen-2006 Alessandro Dal, Palu'; Dovier, Agostino; Enrico, Pontelli
Hybrid Approaches for Rostering: a Case Study in the Integration of Constraint Programming and Local Search 1-gen-2006 Cipriano, Raffaele; DI GASPERO, Luca; Dovier, Agostino
Decidability Results for Sets with Atoms 1-gen-2006 Dovier, Agostino; Formisano, A.; Omodeo, AND E.
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. 1-gen-2007 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
Mostrati risultati da 1 a 50 di 183
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