http://www.cnr.it/ontology/cnr/individuo/modulo/ID2271
Metodi e Sistemi per l' Informazione e la Conoscenza (ICT.P08.001.001)
- Type
- Label
- Metodi e Sistemi per l' Informazione e la Conoscenza (ICT.P08.001.001) (literal)
- Prodotto
- An Information System for Virtual Hospitalization Management (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Program Transformation for Development, Verification, and Synthesis of Programs (Articolo in rivista) (Prodotto della ricerca)
- Planning Health Resources Allocation Using A Geographic Information System (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Analysis and Application of Epidemic Models (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Totally Correct Logic Program Transformations Via Well-Founded Annotations (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Method to Estimate the Incidence of Communicable Diseases Under Seasonal Fluctuations with Application to Cholera (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Program Transformation for Development, Verification, and Synthesis of Software (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Linking Geographic and Multidimesional Environment through OLAP Operator (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Evaluation of complex security scenarios using defense trees and economic indexes (Articolo in rivista) (Prodotto della ricerca)
- Editorial for the Special Issue Dedicated to Bob Paige (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Rule-Based Behavioral Reasoning on Semantic Business Processes (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Auditing sum-queries to make a statistical database secure (Articolo in rivista) (Prodotto della ricerca)
- Knowledge-Based Support to Business Innovation (Contributo in atti di convegno) (Prodotto della ricerca)
- A Software Platform for Semantics-based Enterprise Knowledge Management (Contributo in atti di convegno) (Prodotto della ricerca)
- Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Articolo in rivista) (Prodotto della ricerca)
- Fault-tolerant approximate shortest-path trees (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Hierarchies and Relative Operators in the OLAP Environment (Articolo in rivista) (Prodotto della ricerca)
- The allocation of hospital resources by a Geographic Information System|[L'allocazione di risorse ospedaliere mediante un sistema informativo geografico] (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Verification of Programs by Combining Iterated Specialization with Interpolation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Constraint relaxation of the polygon-polyline topological relation for geographic pictorial query languages (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Rule-based Verification Strategy for Array Manipulating Programs (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Using neural networks to automate the classification of works of art (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- RAM: Resources Allocation Model for health resources allocation (Contributo in atti di convegno) (Prodotto della ricerca)
- Generalization strategies for the verification of infinite state systems (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Egovernment in Europa: verso una cultura della valutazione dei risultati (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Gli strumenti di finanziamento del VII programma quadro e l'esperienza dello IASI-CNR nel large-scale integrating project (Altre pubblicazioni) (Prodotto della ricerca)
- GIS and Health Resources Planning Problems (Contributo in atti di convegno) (Prodotto della ricerca)
- Personalized Tourism and Mobile Devices: System Architectures and Protocols (Altre pubblicazioni) (Prodotto della ricerca)
- D5.3.1a - Knowledge Interoperability Services 1st Specifications (Altre pubblicazioni) (Prodotto della ricerca)
- Usage of the ontology in the LD-CAST project (Altre pubblicazioni) (Prodotto della ricerca)
- Development of Methodology of Multiple Assessment of Landscape Parcels on the Base Fuzzy Models Integrated into GIS Environment (Contributo in atti di convegno) (Prodotto della ricerca)
- A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- PQL*: An Extended Pictorial Query Language for Querying Geographical Databases using Positional and OLAP operators (Contributo in atti di convegno) (Prodotto della ricerca)
- Concept Similarity in Fuzzy Formal Concept Analysis for Semantic Web (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- A Voice Driven System to Support Disabled People for Using Computers (Contributo in atti di convegno) (Prodotto della ricerca)
- Similarity Reasoning for Fuzzy Concept Lattices (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Special Issue on the Italian Conference on Computational Logic: CILC 2009 (Curatela) (Prodotto della ricerca)
- An information system on toxicological risks linked to drug manipulation (Contributo in atti di convegno) (Prodotto della ricerca)
- Approximating Geographical Query Answers (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Joint Queries Estimation from Aggregate OLAP Databases (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Linking Geographic and Multidimensional Databases by Functional Attributes (Contributo in atti di convegno) (Prodotto della ricerca)
- Health Environmental Risk Analysis Using Object-Oriented Geographic Information System (Contributo in atti di convegno) (Prodotto della ricerca)
- Program verification via iterated specialization (Articolo in rivista) (Prodotto della ricerca)
- Athena Deliverable D3.2 - Update Version of the Ontology Authoring and Management System with Semantic search functions (Altre pubblicazioni) (Prodotto della ricerca)
- Program Verification using Constraint Handling Rules and Array Constraint Generalizations (Contributo in atti di convegno) (Prodotto della ricerca)
- Deliverable TG2.2:Report on model driven interoperability (Altre pubblicazioni) (Prodotto della ricerca)
- Deliverable TG3.3: MoMo Toolbox definition and Workshop report (Altre pubblicazioni) (Prodotto della ricerca)
- Deliverable DO.1: Basic Ontological solutions for Interoperability (Altre pubblicazioni) (Prodotto della ricerca)
- Content based similarity of geographic classes organized as partition hierarchies (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- DaWinci/MD: un sistema per data warehouse statistici su Web (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- The Composite OLAP-Object Data Model (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Component Based Automated e-learning (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- XPQL: a pictorial language for querying geographic data (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Network creation games with traceroute-based strategies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Experimental Evaluation of Dynamic Shortest Path Tree Algorithms on Homogeneous Batches (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Local-knowledge Network Creation Games (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Analisi di modelli di localizzazione e di interazione spaziale. Proposta di un modello di ottimo vincolato applicato ad un'area di studio per la localizzazione di un grande centro commerciale (Articolo in rivista) (Prodotto della ricerca)
- Optimal MST Maintenance for Transient Deletion of Every Node in Planar Graphs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Analysing Collaborations Throug (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- The social implications of Rfid technology of healthcare (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Spatio-temporal Information Systems in a Statistical Context (Articolo in rivista) (Prodotto della ricerca)
- Specialization with Constrained Generalization for Software Model Checking (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Visual query languages, representation techniques and data models (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Virtual travel communities development and sustainable tourism (Altre pubblicazioni) (Prodotto della ricerca)
- A system for the management of epidemiologic data (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Visual query languages, representation techniques and data models (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- A system for free hand accessing to computers and telematic services (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
- Proving Theorems by Program Transformation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Verification of Imperative Programs through Transformation of Constraint Logic Programs (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Verifying Programs via Iterated Specialization (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Faster Computation of All the Best Swap Edges of a Shortest Paths Tree (Articolo in rivista) (Prodotto della ricerca)
- Approximating geographical queries (Articolo in rivista) (Prodotto della ricerca)
- Virtual reality in telemedicine [Reti e realta virtuale in medicina] (Articolo in rivista) (Prodotto della ricerca)
- A Decision Support System for the allocation of health care resources to decrease the disease incidence in developing countries (Contributo in atti di convegno) (Prodotto della ricerca)
- Structural similarity in geographical queries to improve query answering (Contributo in atti di convegno) (Prodotto della ricerca)
- Knowledge-intensive choreographies for open manufacturing production networks (Abstract/Poster in convegno) (Prodotto della ricerca)
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Articolo in rivista) (Prodotto della ricerca)
- CONCEPT SIMILARITY IN FUZZY FORMAL CONCEPT ANALYSIS FOR SEMANTIC WEB (Articolo in rivista) (Prodotto della ricerca)
- The Transformational Approach to Program Development (Articolo in rivista) (Prodotto della ricerca)
- An Open Platform for Business Process Modeling and Verification (Articolo in rivista) (Prodotto della ricerca)
- Semantic Web Search Based On Rough Sets And Fuzzy Formal Concept Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Evaluating semantic similarity using GML in Geographic Information Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Transformations of Logic Programs on Infinite Lists (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Towards semantic collective awareness platforms for business innovation (Contributo in atti di convegno) (Prodotto della ricerca)
- Semantic-Mediation for Standards-based B2B Interoperability (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Concept similarity by evaluating Information Contents and Feature Vectors: a combined approach (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Brokering infrastructure for minimum cost data procurement based on quality-quantity models (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Concept Similarity in Formal Concept Analysis: an Information Content Approach (Articolo in rivista) (Prodotto della ricerca)
- Weighted Ontology for Semantic Search (Articolo in rivista) (Prodotto della ricerca)
- Similarity of XML-Schema Elements: A Structural and Information Content Approach (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Constraint relaxation on topological operators which produce a null value as answer to a query (Contributo in atti di convegno) (Prodotto della ricerca)
- A software engineering approach to ontology building (Articolo in rivista) (Prodotto della ricerca)
- Ontology-based concept similarity in Formal Concept Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- ATHENA, Advanced Technologies for Interoperability of Heterogeneous Enterprise Networks and their Applications (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Similarity of XML-schema elements supported by domain ontologies (Articolo in rivista) (Prodotto della ricerca)
- A pictorial human computer interaction to query geographical data (Articolo in rivista) (Prodotto della ricerca)
- Automated Strategies for Specializing Constraint Logic Programs (Articolo in rivista) (Prodotto della ricerca)
- On the Complexity of Minimizing Interference in Ad-Hoc and Sensor Networks (Articolo in rivista) (Prodotto della ricerca)
- Inheritance Processing and Conflicts in Structural Generalization Hierarchies (Articolo in rivista) (Prodotto della ricerca)
- Course configuration in e-learning via automated planning (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Collhaps: a new heuristic algorithm for haplotype inference by maximum parsimony (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- A Semantic Framework for Knowledge Management in Virtual Innovation Factories (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- The management of spatial and temporal constraints in gis using pictorial interaction on the web (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- DERI 2005. ''Semantic mismatches hampering data exchange between heterogeneous web services W3C'' (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- D8.1: State of the art and state of the practice including initial possible research orientations (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Satisfiability of object-oriented database constraints with set and bag attributes (Articolo in rivista) (Prodotto della ricerca)
- Syntactically and semantically correctness in pictorial queries for GIS (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Evaluation of skin and respiratory doses and urinary excretion of alkylphosphates in workers exposed to dimethoate during treatment of olive trees (Articolo in rivista) (Prodotto della ricerca)
- Un sistema di supporto alla decisione per la pianificazione dell'allocazione di risorse sanitarie (Contributo in atti di convegno) (Prodotto della ricerca)
- Consistency of the static and dynamic components of object-oriented specifications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Cardinal and Positional Operators in a Pictorial Query Geographical Data (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Automated course configuration based on automated planning: framework and first experiments (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Similarity reasoning for the semantic web based on fuzzy concept lattices: An informal approach (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A 16-intersection matrix for the Polygon-Polyline Topological Relation for Geographic Pictorial Query Languages (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- A Systematic Method for the Intentional Modelling and Verification of Business Applications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Reasoning on Business Processes and Ontologies in a Logic Programming Environment (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Synthesizing Concurrent Programs using Answer Set Programming (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On relevance, time and query expansion (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Hybrid models for future event prediction (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Folding Transformation Rules for Constraint Logic Programs (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards Enterprise Interoperability Service Utility (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Semantic Lifting of Business Process Models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Deciding Full Branching Time Logic by Program Transformation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Evaluation of ontology building methodologies: a method based on balanced scorecards (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Semantic Services for Business Documents Reconciliation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Assessing the quality of opinion retrieval systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A social platform for enterprise ontology building (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards a recommendation system for model mapping/transformations tasks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Practical Issues in Ontology Modeling: The Case of Defence Conceptual Modeling Framework-Ontolog (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- GeoPQL: la ricerca nell'interrogazione pittoriale di dati territoriali/urbanistici (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Ontological Approach to Business Process Modeling (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Ontology-Based Querying of Composite Services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- JASMINA: An observing behaviours experiment of java threads migration mechanisms over JXTA (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The Composite OLAP-Object Data Model: Removing an Unnecessary Barrier (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The Italian judicial statistical information system (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Specification and Validation of Algorithms Generating Planar Lehman Words (Contributo in atti di convegno) (Prodotto della ricerca)
- A description logic based grid inferential monitoring and discovery framework (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The sketch recognition and query interpretation by GSQL, a geographical sketch query language (Contributo in atti di convegno) (Prodotto della ricerca)
- Extending the UDDI API for service instance ranking (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Local Computation of Answers to Table Queries on Summary Databases (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Constraint-Based Correctness Proofs for Logic Program Transformations (Articolo in rivista) (Prodotto della ricerca)
- Episturmian words and episturmian morphisms (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Semantic Services for Business Documents Reconciliation (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Exploratory Analysis of the Social Network of Researchers in Inductive Logic Programming (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Improving Reachability Analysis of Infinite State Systems by Specialization (Articolo in rivista) (Prodotto della ricerca)
- Generalization Strategies for the Verification of Infinite State Systems (Articolo in rivista) (Prodotto della ricerca)
- Querying Multidimensional Data (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Statistical Dissemination Systems and the Web (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Classification of ambiguities (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Using Real Relaxations During Program Specialization (Articolo in rivista) (Prodotto della ricerca)
- The Composite Data Model: A Unified Approach for Combining and Querying Multiple Data Models (Articolo in rivista) (Prodotto della ricerca)
- Automatic Proofs of Protocols via Program Transformation (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Cooperation of Geographic and Multidimensional Databases (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Basic Notions on Multidimensional Databases (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Querying Multidimensional Data (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- The Architecture of an Ontology-based Platform for Semantic interoperability (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Program Verification via Iterated Specialization (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Efficient Generation of Test Data Structures Using Constraint Logic Programming and Program Transformation (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Software Model Checking by Program Specialization (Contributo in atti di convegno) (Prodotto della ricerca)
- Semantic search for matching user requests with profiled enterprises (Articolo in rivista) (Prodotto della ricerca)
- Synthesizing Concurrent Programs Using Answer Set Programming (Articolo in rivista) (Prodotto della ricerca)
- Content Based Similarity of Geographic Classes organized as Partition Hierarchies (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Querying Semantically Enriched Business Processes (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Modular Termination and Combinability for Superposition Modulo Counter Arithmetic (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Towards a method for business process and informal business rules compliance (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Preface to the Special Issue on the Italian Conference on Computational Logic: CILC 2009 (Articolo in rivista) (Prodotto della ricerca)
- The List Introduction Strategy for the Derivation of Logic Programs (Articolo in rivista) (Prodotto della ricerca)
- A Software Engineering Approach to Ontology Building (Articolo in rivista) (Prodotto della ricerca)
- Semantic Mediation for Standard-Based B2B Interoperability (Articolo in rivista) (Prodotto della ricerca)
- Semantic Similarity based on Weighted Ontology (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Automatic Detection of Words Associations in Texts based on Joint Distribution of Words Occurrences (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Polygon-Constrained Motion Planning Problems (Articolo in rivista) (Prodotto della ricerca)
- A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs (Articolo in rivista) (Prodotto della ricerca)
- Spatial Statistical Models for the Evaluation of the Landscape (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Efficient Estimation of Joint Queries from Multiple OLAP Databases (Articolo in rivista) (Prodotto della ricerca)
- Automatic Correctness Proofs for Logic Program Transformations (Articolo in rivista) (Prodotto della ricerca)
- Semantics-based Social Media for the Shared Production Control and Collaborative Open Innovation (D5.4 - BIVEE FP7 EU project) (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Strongly Polynomial-Time Truthful Mechanisms in One Shot (Articolo in rivista) (Prodotto della ricerca)
- Minimal invariant sets in a vertex-weighted graph (Articolo in rivista) (Prodotto della ricerca)
- Logic Based Program Synthesis and Transformation, Proceedings of {LOPSTR} 2001 (Articolo in rivista) (Prodotto della ricerca)
- On the design of efficient ATM routing schemes (Articolo in rivista) (Prodotto della ricerca)
- Finite satisfiability of integrity constraints in object-oriented database schemas (Articolo in rivista) (Prodotto della ricerca)
- Codes foe a long silence (Articolo in rivista) (Prodotto della ricerca)
- Finding the Most Vital Node of a Shortest Path (Articolo in rivista) (Prodotto della ricerca)
- On $k$-Edge-Connectivity Problems with Sharpened Triangle Inequality (Articolo in rivista) (Prodotto della ricerca)
- Modelling Temporal Thematic Map Contents (Articolo in rivista) (Prodotto della ricerca)
- Text Mining Techniques to Automatically Enrich a Domain Ontology (Articolo in rivista) (Prodotto della ricerca)
- Combining Logic Programs and Monadic Second Order Logics by Program Transformation (Articolo in rivista) (Prodotto della ricerca)
- A Method to Estimate the Incidence of Communicable Diseases Under Seasonal Fluctuations: a case study of Application to Cholera (Articolo in rivista) (Prodotto della ricerca)
- Verification of Sets of Infinite State Systems Using Program Transformation (Articolo in rivista) (Prodotto della ricerca)
- Concept similarity in SymOntos: An enterprise ontology management tool (Articolo in rivista) (Prodotto della ricerca)
- Coherence Maintainance in Cooperative Information Systems: the Access Key Warehouse Approach (Articolo in rivista) (Prodotto della ricerca)
- Analysis and optimization of active databases (Articolo in rivista) (Prodotto della ricerca)
- Semantics-based social media for collaborative open innovation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Triggering Creativity through Semantic Cross-domain Web Crawling and Routing (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Geographical Information Systems: Trends and Technologies (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Advanced Interoperability Services (5.3 - BIVEE FP7 EU Project) (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Cross Domain Crawling for Innovation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Querying by sketch geographical databases and ambiguities (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Proceedings of Interop-VLab Workshop (Curatela) (Prodotto della ricerca)
- Proceedings of New Generation Enterprise and Business Innovation Systems Workshop (Curatela) (Prodotto della ricerca)
- A Knowledge-centric approach to Virtual Enterprise Innovation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Open Innovation in Virtual Enterprises: An Ontology-based Approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Verifying Array Programs by Transforming Verification Conditions (Articolo in rivista) (Prodotto della ricerca)
- VeriMAP: A tool for verifying programs through transformations (Articolo in rivista) (Prodotto della ricerca)
- Reasoning on Data-Aware Business Processes with Constraint Logic (Contributo in atti di convegno) (Prodotto della ricerca)
- A necessary and sufficient condition for a set of sequences on the genetic alphabet to be a circular code (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Deciding Full Branching Time Logic by Program Transformation (Articolo in rivista) (Prodotto della ricerca)
- Controlling Polyvariance for Specialization-Based Verification (Contributo in atti di convegno) (Prodotto della ricerca)
- Using Real Relaxations During Program Specialization (Contributo in atti di convegno) (Prodotto della ricerca)
- Querying Business Processes and Ontologies in a Logic Programming Environment (Contributo in atti di convegno) (Prodotto della ricerca)
- FUB, IASI-CNR and University of Tor Vergata at TREC 2008 Blog Track (Contributo in atti di convegno) (Prodotto della ricerca)
- Transformational Verification of Linear Temporal Logic (Contributo in atti di convegno) (Prodotto della ricerca)
- EagleVox: piattaforma semantica per la partecipazione sociale alla ricostruzione dell'Aquila (Contributo in atti di convegno) (Prodotto della ricerca)
- A Semantics-based Approach to Support eParticipation of Citizens (Contributo in atti di convegno) (Prodotto della ricerca)
- Semantic Search for Enterprises Competencies Management (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Adding Concept Weights to Ontologies for Semantic Search (Contributo in atti di convegno) (Prodotto della ricerca)
- A study on the evaluation of opinion retrieval systems (Contributo in atti di convegno) (Prodotto della ricerca)
- A Semantic-Mediation Architecture for Interoperable Supply-chain Applications (Articolo in rivista) (Prodotto della ricerca)
- A Business Process Knowledge Base for Composite Services Development (Contributo in atti di convegno) (Prodotto della ricerca)
- Improving Estimation Accuracy of Aggregate Queries on Data Cubes (Articolo in rivista) (Prodotto della ricerca)
- An Annotated Dataset for Extracting Definitions and Hypernyms from the Web (Contributo in atti di convegno) (Prodotto della ricerca)
- Semantic Reconciliation of Business Documents in a SOA Framework (Contributo in atti di convegno) (Prodotto della ricerca)
- Benchmarking Criteria to Evaluate Ontology Building Methodologies (Contributo in atti di convegno) (Prodotto della ricerca)
- A platform for Social Ontology Building and Evolution (SOBE) (Contributo in atti di convegno) (Prodotto della ricerca)
- Social Validation in the Ontology Evolution Process (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards a Service-Oriented e-Learning Framework Based on Semantics (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards Cross-organisational Innovative Business Process Interoperability Services (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic construction of an opinion-term vocabulary for ad hoc retrieval (Articolo in rivista) (Prodotto della ricerca)
- Similarity of XML-Schema Elements: a Structural and Information Content Approach (Articolo in rivista) (Prodotto della ricerca)
- A Semantic Cooperation Platform for the Interoperability of European Chambers of Commerce (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards Automatic Support to Mapping discovery in eBusiness resources Exchange (Contributo in atti di convegno) (Prodotto della ricerca)
- An Ontology-based Similarity Method for Semantic Search (Contributo in atti di convegno) (Prodotto della ricerca)
- On performance of Topical Opinion Retrieval (Contributo in atti di convegno) (Prodotto della ricerca)
- eGovernment Ontologies: Social Participation in Building and Evolution (Contributo in atti di convegno) (Prodotto della ricerca)
- Semantic Technologies for European Chambers of Commerce Cooperation (Contributo in atti di convegno) (Prodotto della ricerca)
- A Logic-Based Method for Business Process Knowledge Base Management (Contributo in atti di convegno) (Prodotto della ricerca)
- Learning Word-Class Lattices for Definition and Hypernym Extraction (Contributo in atti di convegno) (Prodotto della ricerca)
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Contributo in atti di convegno) (Prodotto della ricerca)
- A Transformation Strategy for Verifying Logic Programs on Infinite Lists (Contributo in atti di convegno) (Prodotto della ricerca)
- Generalization Strategies for the Verification of Infinite State Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Ad-Hoc Maintenance Program Composition: an Ontological Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Process Composition in Logistics: an Ontological Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Business Process Evolution: a Rule-based Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Improving estimation accuracy of aggregate queries on data cubes (Contributo in atti di convegno) (Prodotto della ricerca)
- Customized Answers to Summary Queries via Aggregate Views (Contributo in atti di convegno) (Prodotto della ricerca)
- An architecture for data Warehousing Supporting Data Independence and Interoperability (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Business Ontology for Supporting Cross Border Cooperation Between European Chambers Of Commerce (Contributo in atti di convegno) (Prodotto della ricerca)
- Una Core Enterprise Ontology per l'organizzazione ed i sistemi di e-Business (Contributo in atti di convegno) (Prodotto della ricerca)
- A Method for Ontology Modeling in the eCommerce Domain (Contributo in atti di convegno) (Prodotto della ricerca)
- Totally correct logic program transformations using well-founded annotations (Contributo in atti di convegno) (Prodotto della ricerca)
- A Statistical Web Warehouse System (Contributo in atti di convegno) (Prodotto della ricerca)
- Course Configuration With Examples And Tests (Contributo in atti di convegno) (Prodotto della ricerca)
- Efficient Management of Transient Station Failures in Linear Radio Communication Networks with Bases (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Digital resource discovery: semantic annotation and matchmaking techniques (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards a unified view of model mapping and transformation (Contributo in atti di convegno) (Prodotto della ricerca)
- An ontology for describing model mapping/transformation tools and methodologies the MoMo ontolog (Contributo in atti di convegno) (Prodotto della ricerca)
- Relaxing Constraints on GeoPQL Operators to Improve Query Answering (Contributo in atti di convegno) (Prodotto della ricerca)
- Modeling heterogeneous context information in adaptive web based applications (Contributo in atti di convegno) (Prodotto della ricerca)
- A Rule-based Approach to Content Delivery Adaptation in Web Information Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Innovation Governance Report (D4.40 - BIVEE FP7 EU project) (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Legality of XML-Schema Type Hierarchies (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- On the equivalence and rewriting of aggregate queries (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A system for predicting the run-time behavior of Web services (Contributo in atti di convegno) (Prodotto della ricerca)
- Integrating Heterogeneous Multidimensional Databases (Contributo in atti di convegno) (Prodotto della ricerca)
- CAiSE 2005. A Method for Ontology Modeling in the Business Domain (Contributo in atti di convegno) (Prodotto della ricerca)
- Transformations of logic programs with goals as arguments (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Transformational Verification of Parameterized Protocols Using Array Formulas (Contributo in atti di convegno) (Prodotto della ricerca)
- A truthful mechanism for the non-utilitarian minimum radius spanning tree problem (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic correction of C programming exercises through Unit-Testing and Aspect-Programming (Contributo in atti di convegno) (Prodotto della ricerca)
- Enhancing Dynamic Selection of Web Services Access Point (Contributo in atti di convegno) (Prodotto della ricerca)
- Statistical Warehousing on the Web: navigating troubled waters (Contributo in atti di convegno) (Prodotto della ricerca)
- Multidimensional Statistical Data Dissemination on the Web (Contributo in atti di convegno) (Prodotto della ricerca)
- A proposal for a Unified Process for Ontology building: UPON (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Statistical Warehousing on the Web: navigating troubled waters (Contributo in atti di convegno) (Prodotto della ricerca)
- Transparent Java threads migration protocol over Peer2Peer (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Range augmentation problems in static ad-hoc wireless networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Web-enabled statistical Data Warehouses (Contributo in atti di convegno) (Prodotto della ricerca)
- Course configuration via logic and graphic tools (Contributo in atti di convegno) (Prodotto della ricerca)
- L'adozione di soluzioni ICT nelle pubbliche amministrazioni: la prospettiva europea (Altre pubblicazioni) (Prodotto della ricerca)
- Cluster Computer system for INTEGRAL Scientific Analysis (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Constraint Relaxation of the Polygon-Polyline Topological Relation for Geographic Pictorial Query Languages (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Transformation rules for locally stratified constraint logic programs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Constraint-Based Transformation for Verifying Infinite State Systems (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Constraint-Based Correctness Proofs for Logic Program Transformations (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- D4.2 - Prototype Design (Altre pubblicazioni) (Prodotto della ricerca)
- A Formulation of the Data Quality Optimization Problem in Cooperative Information Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- A Logic-Based Method for BPMN Diagrams Verification (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Ontologies for Interoperability: A Tutorial (Contributo in atti di convegno) (Prodotto della ricerca)
- Swapping a Failing Edge of a Single Source Shortest Paths Tree is Good and Fast (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Enriching Ontology Languages Adequacy for eBusiness Domain (Contributo in atti di convegno) (Prodotto della ricerca)
- Il ruolo delle ontologie nella costruzione e fruizione di corsi e-Learning (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards an Ontological Support for e-Learning Courses (Contributo in atti di convegno) (Prodotto della ricerca)
- Transformational Verification of Linear Temporal Logic (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Dynamically Maintaining Shortest Path Trees Under Batches of Updates (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Answering Joint Queries from Multiple Aggregate OLAP Databases (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Deciding Full Branching Time Logic by Program Transformation (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- On the content of materialized aggregate views (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Exact and Approximate Algorithms for Movement Problems on (Special Classes of) Graphs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Verifying Infinite State Systems by Specializing Constraint Logic Programs (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- An Integrated Approach for Web Ontology Learning and Engineering (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Program derivation = rules + strategies (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Reference Architecture for the Certification of E-Services in a Digital Government Infrastructure (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Improving Estimation Accuracy of Aggregate Queries on Data Cubes (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- A Pictorial Query Language for Querying Geographic Databases Using Positional and OLAP Operators (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Semantic search for collaborative competency management in networked enterprises (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- An Overview of Model Transformation Mechanisms (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Athena Deliverable D3.3 - Semantic Annotation Language and Tool for Information and Business Processes (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Generation of Test Data Structures Using Constraint Logic Programming (Contributo in atti di convegno) (Prodotto della ricerca)
- Verification of Imperative Programs by Constraint Logic Program Transformation (Articolo in rivista) (Prodotto della ricerca)
- Un Sistema per la Gestione di Dati Epidemiologici (Contributo in atti di convegno) (Prodotto della ricerca)
- A System to Define and Allocate Health Care Resources on a Territory to Improve the Life Quality of the Populations in Developing Countries (Articolo in rivista) (Prodotto della ricerca)
- Supporting Customer Choice with Semantic Similarity Search and Explanation (Contributo in atti di convegno) (Prodotto della ricerca)
- The Health Resource Allocation Planning Problem (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- RAM: a system for health resources allocation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Object-Oriented Epidemiological data Modelling System (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Scenario: from Geographical to Statistical Information (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Using Answer Set Programming Solvers to Synthesize Concurrent Programs (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Verifying Programs via Iterated Specialization (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- DIRS - Device Infomobility Reference Station (Progetti) (Prodotto della ricerca)
- Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Branching Preserving Specialization for Software Model Checking (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- First Order Predicate Calculus and Logic Programming, Third Edition (Monografia o trattato scientifico) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1401)
- Ontodev (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- IDEAS - Interoperability Developments for Enterprise Application and Software roadmaps (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Information Interoperability Services Prototype (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Innovative Knowledge Interoperability Services (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Aggregate Query Rewriting in Multidimensional Databases (Voce (in dizionario o enciclopedia)) (Prodotto della ricerca)
- A uniform theoretic approach to opinion and information retrieval (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Hierarchies (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- A Linked Data Based Approach to Similarity Reasoning (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- COIN - COllaboration and INteroperability for networked enterprises (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- The Future of Enterprise Systems in a Fully Networked Society (Articolo in rivista) (Prodotto della ricerca)
- Monitoring Innovation in Virtual Enterprises: an Agile Semantic Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards a convergence of Enterprise Interoperability and the FInES Research Roadmap (Contributo in atti di convegno) (Prodotto della ricerca)
- Il futuro dei sistemi d'impresa (Articolo in rivista) (Prodotto della ricerca)
- Web Ontology Learning and Engineering: an Integrated Approach (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Efficient Computation of Data Cubes and Aggregate Views (Voce (in dizionario o enciclopedia)) (Prodotto della ricerca)
- A semantic platform for enterprise knowledge interoperability (Rapporti progetti di ricerca) (Prodotto della ricerca)
- A Unified Framework for Querying OLAP-Object Databases (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Hierarchies in Multidimensional Databases (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Transformations of logic programs on infinite lists (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Linking Ontologies to Business Process Schemas (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Querying semantically annotated business processes (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Semantic Web Search Based On Rough Sets And Fuzzy Formal Concept Analysis (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Constraint relaxing on topological operators in pictorial queries with null answer (Contributo in atti di convegno) (Prodotto della ricerca)
- Generalised software for statistical cooperation (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- D5.2.1a - Information Interoperability Services 1st Specifications (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Semantic Search in Digital Business EcoSystems (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- The Transformational Approach to Program Development (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Concept similarity by evaluating Information Contents and Feature Vectors: a combined approach (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Concept similarity in Formal Concept Analysis: an Information Content Approach (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Interoperability for Emergenices' Managment (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- A framework for the smart dynamic selection of web service access points (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Brokering infrastructure for minimum-cost data procurement based on information quality-quantity models (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Local computation of answers to table queries on summary databases (Rapporti progetti di ricerca) (Prodotto della ricerca)
- La modellazione dei processi nel Sistema Informativo Generalizzato di Diffusione dell'ISTAT (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Ontology-based concept similary in Formal Concept Analysis (Rapporti progetti di ricerca) (Prodotto della ricerca)
- The Sketch Recognition and Query Interpretation by {GSQL}, a Geographical Sketch Query Language (Rapporti progetti di ricerca) (Prodotto della ricerca)
- E-CHALLENGE 2005. Building an eProcurement Ontology with UPON methodology (Altre pubblicazioni) (Prodotto della ricerca)
- Verifying parameterized protocols by transforming stratified logic programs (Altre pubblicazioni) (Prodotto della ricerca)
- Improving Reachability Analysis of Infinite State Systems by Specialization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Verification of Imperative Programs by Transforming Constraint Logic Programs (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Platform for Managing Business Process Knowledge Bases via Logic Programming (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Program Transformation for Program Verification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Controlling Polyvariance for Specialization-based Verification (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An advanced pictorial query language to query urban and rural data on GIS (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Rule-Based Behavioural Reasoning on Semantic Business Processes (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- SP6 Web Learning per la qualità del capitale umano (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Information Interoperability Services Final Specifications (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Verifying Array Programs by Transforming Verification Conditions (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Knowledge Interoperability Services Prototype (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- LEMAIA (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- SINERGIA (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- eGOV, Progetto Nazionale di Ricerca con oggetto e-government e enti locali (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- TOCAI.IT - Knowledge-oriented technologies for enterprise aggregation in Internet (Progetti) (Prodotto della ricerca)
- INTEROP, Interoperability Research for Networked Enterprises Applications and Software (Progetti) (Prodotto della ricerca)
- ONTOMAN (Progetti) (Prodotto della ricerca)
- COIN - COllaboration and INteroperability for networked enterprises (Progetti) (Prodotto della ricerca)
- LEONARDO DA VINCI - Community action programme on vocational training (Progetti) (Prodotto della ricerca)
- Deliverable D3.1 Research Landscape Report (Progetti) (Prodotto della ricerca)
- Hardware e Software (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- A SIR Epidemic Model and the Parametric Resonance (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Extending Geographic Databases for a Query Language to Support Queries Involving Statistical Data (Contributo in atti di convegno) (Prodotto della ricerca)
- An epidemiological model for heterogeneous population regarding epidemic and endemic infective diseases and a system for the planning of resource allocation (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Semantic UBL-like documents for innovation (Contributo in atti di convegno) (Prodotto della ricerca)
- Collaborative Ontology Building in Virtual Innovation Factories (Contributo in atti di convegno) (Prodotto della ricerca)
- Advanced Data Adaptors and Enrichment with Linked Open Data (D5.2 - BIVEE FP7 EU project) (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Codice
- ICT.P08.001.001 (literal)
- Anno di chiusura previsto
- 2014-01-01T00:00:00+01:00 (literal)
- Istituto esecutore
- Primo anno di attività
- 2005-01-01T00:00:00+01:00 (literal)
- Abstract
- La tecnologia moderna mette a disposizione in forma digitale enormi masse di dati, informazioni e applicazioni: documenti di testo, video, sistemi informativi aziendali, mappe geografiche, applicazioni per telefoni mobili e per l'e-commerce, per citarne solo alcuni tipi. L'avvento del WEB ha fornito potenzialita' enormi di condivisione e fruizione di queste risorse digitali che pero' sono disponibili in forma estremamente eterogenea, distribuita, e non organizzata. Per permettere agli utenti individuali, alle imprese e alla pubblica amministrazione di utilizzare questa massa di risorse digitali disponibili, sono necessarie tecnologie intelligenti per estrarre e gestire conoscenza effettivamente fruibile.
In tale contesto la commessa di \"Metodi e sistemi per l'informazione e la conoscenza\" contribuisce con le seguenti attivita' di ricerca: (i) Logiche per la rappresentazione della conoscenza e il ragionamento automatico, (ii) Ontologie per l'integrazione semantica di dati, processi e servizi, (iii) Information retrieval and text mining, (iv) Sistemi informativi avanzati (geographic information systems e data warehouse). (literal)
- Nome
- Metodi e Sistemi per l' Informazione e la Conoscenza (literal)
- Descrizione
- Modulo di
- Gestore
Incoming links:
- Prodotto di
- A Formulation of the Data Quality Optimization Problem in Cooperative Information Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Ontologies for Interoperability: A Tutorial (Contributo in atti di convegno) (Prodotto della ricerca)
- Enriching Ontology Languages Adequacy for eBusiness Domain (Contributo in atti di convegno) (Prodotto della ricerca)
- Il ruolo delle ontologie nella costruzione e fruizione di corsi e-Learning (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards an Ontological Support for e-Learning Courses (Contributo in atti di convegno) (Prodotto della ricerca)
- Web-enabled statistical Data Warehouses (Contributo in atti di convegno) (Prodotto della ricerca)
- Course configuration via logic and graphic tools (Contributo in atti di convegno) (Prodotto della ricerca)
- Statistical Warehousing on the Web: navigating troubled waters (Contributo in atti di convegno) (Prodotto della ricerca)
- Multidimensional Statistical Data Dissemination on the Web (Contributo in atti di convegno) (Prodotto della ricerca)
- Statistical Warehousing on the Web: navigating troubled waters (Contributo in atti di convegno) (Prodotto della ricerca)
- Digital resource discovery: semantic annotation and matchmaking techniques (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards a unified view of model mapping and transformation (Contributo in atti di convegno) (Prodotto della ricerca)
- An ontology for describing model mapping/transformation tools and methodologies the MoMo ontolog (Contributo in atti di convegno) (Prodotto della ricerca)
- Relaxing Constraints on GeoPQL Operators to Improve Query Answering (Contributo in atti di convegno) (Prodotto della ricerca)
- Modeling heterogeneous context information in adaptive web based applications (Contributo in atti di convegno) (Prodotto della ricerca)
- A Rule-based Approach to Content Delivery Adaptation in Web Information Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Ad-Hoc Maintenance Program Composition: an Ontological Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Process Composition in Logistics: an Ontological Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Business Process Evolution: a Rule-based Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Improving estimation accuracy of aggregate queries on data cubes (Contributo in atti di convegno) (Prodotto della ricerca)
- A Business Ontology for Supporting Cross Border Cooperation Between European Chambers Of Commerce (Contributo in atti di convegno) (Prodotto della ricerca)
- A platform for Social Ontology Building and Evolution (SOBE) (Contributo in atti di convegno) (Prodotto della ricerca)
- Social Validation in the Ontology Evolution Process (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards a Service-Oriented e-Learning Framework Based on Semantics (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards Cross-organisational Innovative Business Process Interoperability Services (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards Automatic Support to Mapping discovery in eBusiness resources Exchange (Contributo in atti di convegno) (Prodotto della ricerca)
- On performance of Topical Opinion Retrieval (Contributo in atti di convegno) (Prodotto della ricerca)
- eGovernment Ontologies: Social Participation in Building and Evolution (Contributo in atti di convegno) (Prodotto della ricerca)
- A Logic-Based Method for Business Process Knowledge Base Management (Contributo in atti di convegno) (Prodotto della ricerca)
- Learning Word-Class Lattices for Definition and Hypernym Extraction (Contributo in atti di convegno) (Prodotto della ricerca)
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Contributo in atti di convegno) (Prodotto della ricerca)
- A Transformation Strategy for Verifying Logic Programs on Infinite Lists (Contributo in atti di convegno) (Prodotto della ricerca)
- Generalization Strategies for the Verification of Infinite State Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Semantic Search for Enterprises Competencies Management (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A description logic based grid inferential monitoring and discovery framework (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Extending the UDDI API for service instance ranking (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Local Computation of Answers to Table Queries on Summary Databases (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The Italian judicial statistical information system (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- JASMINA: An observing behaviours experiment of java threads migration mechanisms over JXTA (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The Composite OLAP-Object Data Model: Removing an Unnecessary Barrier (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards a recommendation system for model mapping/transformations tasks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Practical Issues in Ontology Modeling: The Case of Defence Conceptual Modeling Framework-Ontolog (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- GeoPQL: la ricerca nell'interrogazione pittoriale di dati territoriali/urbanistici (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Ontological Approach to Business Process Modeling (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Folding Transformation Rules for Constraint Logic Programs (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards Enterprise Interoperability Service Utility (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Semantic Lifting of Business Process Models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Deciding Full Branching Time Logic by Program Transformation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Evaluation of ontology building methodologies: a method based on balanced scorecards (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Semantic Services for Business Documents Reconciliation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Assessing the quality of opinion retrieval systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A social platform for enterprise ontology building (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Systematic Method for the Intentional Modelling and Verification of Business Applications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Reasoning on Business Processes and Ontologies in a Logic Programming Environment (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Synthesizing Concurrent Programs using Answer Set Programming (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On relevance, time and query expansion (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Hybrid models for future event prediction (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Verification of Sets of Infinite State Systems Using Program Transformation (Articolo in rivista) (Prodotto della ricerca)
- Concept similarity in SymOntos: An enterprise ontology management tool (Articolo in rivista) (Prodotto della ricerca)
- Coherence Maintainance in Cooperative Information Systems: the Access Key Warehouse Approach (Articolo in rivista) (Prodotto della ricerca)
- Analysis and optimization of active databases (Articolo in rivista) (Prodotto della ricerca)
- Codes foe a long silence (Articolo in rivista) (Prodotto della ricerca)
- Finding the Most Vital Node of a Shortest Path (Articolo in rivista) (Prodotto della ricerca)
- On $k$-Edge-Connectivity Problems with Sharpened Triangle Inequality (Articolo in rivista) (Prodotto della ricerca)
- Modelling Temporal Thematic Map Contents (Articolo in rivista) (Prodotto della ricerca)
- Text Mining Techniques to Automatically Enrich a Domain Ontology (Articolo in rivista) (Prodotto della ricerca)
- Combining Logic Programs and Monadic Second Order Logics by Program Transformation (Articolo in rivista) (Prodotto della ricerca)
- A Method to Estimate the Incidence of Communicable Diseases Under Seasonal Fluctuations: a case study of Application to Cholera (Articolo in rivista) (Prodotto della ricerca)
- On the design of efficient ATM routing schemes (Articolo in rivista) (Prodotto della ricerca)
- Finite satisfiability of integrity constraints in object-oriented database schemas (Articolo in rivista) (Prodotto della ricerca)
- Logic Based Program Synthesis and Transformation, Proceedings of {LOPSTR} 2001 (Articolo in rivista) (Prodotto della ricerca)
- Strongly Polynomial-Time Truthful Mechanisms in One Shot (Articolo in rivista) (Prodotto della ricerca)
- Minimal invariant sets in a vertex-weighted graph (Articolo in rivista) (Prodotto della ricerca)
- Efficient Estimation of Joint Queries from Multiple OLAP Databases (Articolo in rivista) (Prodotto della ricerca)
- Automatic Correctness Proofs for Logic Program Transformations (Articolo in rivista) (Prodotto della ricerca)
- A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs (Articolo in rivista) (Prodotto della ricerca)
- A Software Engineering Approach to Ontology Building (Articolo in rivista) (Prodotto della ricerca)
- Semantic Mediation for Standard-Based B2B Interoperability (Articolo in rivista) (Prodotto della ricerca)
- Preface to the Special Issue on the Italian Conference on Computational Logic: CILC 2009 (Articolo in rivista) (Prodotto della ricerca)
- The List Introduction Strategy for the Derivation of Logic Programs (Articolo in rivista) (Prodotto della ricerca)
- Content Based Similarity of Geographic Classes organized as Partition Hierarchies (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Querying Semantically Enriched Business Processes (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Modular Termination and Combinability for Superposition Modulo Counter Arithmetic (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Reference Architecture for the Certification of E-Services in a Digital Government Infrastructure (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Pictorial Query Language for Querying Geographic Databases Using Positional and OLAP Operators (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Swapping a Failing Edge of a Single Source Shortest Paths Tree is Good and Fast (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Answering Joint Queries from Multiple Aggregate OLAP Databases (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- On the content of materialized aggregate views (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An Integrated Approach for Web Ontology Learning and Engineering (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Program derivation = rules + strategies (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A proposal for a Unified Process for Ontology building: UPON (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Transparent Java threads migration protocol over Peer2Peer (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Range augmentation problems in static ad-hoc wireless networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Transformation rules for locally stratified constraint logic programs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Legality of XML-Schema Type Hierarchies (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- On the equivalence and rewriting of aggregate queries (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Transformations of logic programs with goals as arguments (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An architecture for data Warehousing Supporting Data Independence and Interoperability (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Efficient Management of Transient Station Failures in Linear Radio Communication Networks with Bases (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Automatic construction of an opinion-term vocabulary for ad hoc retrieval (Articolo in rivista) (Prodotto della ricerca)
- Similarity of XML-Schema Elements: a Structural and Information Content Approach (Articolo in rivista) (Prodotto della ricerca)
- A Semantic-Mediation Architecture for Interoperable Supply-chain Applications (Articolo in rivista) (Prodotto della ricerca)
- Improving Estimation Accuracy of Aggregate Queries on Data Cubes (Articolo in rivista) (Prodotto della ricerca)
- Deciding Full Branching Time Logic by Program Transformation (Articolo in rivista) (Prodotto della ricerca)
- Improving Reachability Analysis of Infinite State Systems by Specialization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Consistency of the static and dynamic components of object-oriented specifications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Satisfiability of object-oriented database constraints with set and bag attributes (Articolo in rivista) (Prodotto della ricerca)
- Evaluation of skin and respiratory doses and urinary excretion of alkylphosphates in workers exposed to dimethoate during treatment of olive trees (Articolo in rivista) (Prodotto della ricerca)
- Inheritance Processing and Conflicts in Structural Generalization Hierarchies (Articolo in rivista) (Prodotto della ricerca)
- Automated Strategies for Specializing Constraint Logic Programs (Articolo in rivista) (Prodotto della ricerca)
- On the Complexity of Minimizing Interference in Ad-Hoc and Sensor Networks (Articolo in rivista) (Prodotto della ricerca)
- Ontology-based concept similarity in Formal Concept Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Brokering infrastructure for minimum cost data procurement based on quality-quantity models (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Concept Similarity in Formal Concept Analysis: an Information Content Approach (Articolo in rivista) (Prodotto della ricerca)
- Weighted Ontology for Semantic Search (Articolo in rivista) (Prodotto della ricerca)
- A software engineering approach to ontology building (Articolo in rivista) (Prodotto della ricerca)
- Semantic-Mediation for Standards-based B2B Interoperability (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Concept similarity by evaluating Information Contents and Feature Vectors: a combined approach (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Semantic Web Search Based On Rough Sets And Fuzzy Formal Concept Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Transformations of Logic Programs on Infinite Lists (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- CONCEPT SIMILARITY IN FUZZY FORMAL CONCEPT ANALYSIS FOR SEMANTIC WEB (Articolo in rivista) (Prodotto della ricerca)
- The Transformational Approach to Program Development (Articolo in rivista) (Prodotto della ricerca)
- An Open Platform for Business Process Modeling and Verification (Articolo in rivista) (Prodotto della ricerca)
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Articolo in rivista) (Prodotto della ricerca)
- Editorial for the Special Issue Dedicated to Bob Paige (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Totally Correct Logic Program Transformations Via Well-Founded Annotations (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Program Transformation for Development, Verification, and Synthesis of Software (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Program Transformation for Development, Verification, and Synthesis of Programs (Articolo in rivista) (Prodotto della ricerca)
- Towards a method for business process and informal business rules compliance (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Articolo in rivista) (Prodotto della ricerca)
- Auditing sum-queries to make a statistical database secure (Articolo in rivista) (Prodotto della ricerca)
- A system for predicting the run-time behavior of Web services (Contributo in atti di convegno) (Prodotto della ricerca)
- Integrating Heterogeneous Multidimensional Databases (Contributo in atti di convegno) (Prodotto della ricerca)
- CAiSE 2005. A Method for Ontology Modeling in the Business Domain (Contributo in atti di convegno) (Prodotto della ricerca)
- Transformational Verification of Parameterized Protocols Using Array Formulas (Contributo in atti di convegno) (Prodotto della ricerca)
- A truthful mechanism for the non-utilitarian minimum radius spanning tree problem (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic correction of C programming exercises through Unit-Testing and Aspect-Programming (Contributo in atti di convegno) (Prodotto della ricerca)
- Enhancing Dynamic Selection of Web Services Access Point (Contributo in atti di convegno) (Prodotto della ricerca)
- Customized Answers to Summary Queries via Aggregate Views (Contributo in atti di convegno) (Prodotto della ricerca)
- Una Core Enterprise Ontology per l'organizzazione ed i sistemi di e-Business (Contributo in atti di convegno) (Prodotto della ricerca)
- A Method for Ontology Modeling in the eCommerce Domain (Contributo in atti di convegno) (Prodotto della ricerca)
- Totally correct logic program transformations using well-founded annotations (Contributo in atti di convegno) (Prodotto della ricerca)
- A Statistical Web Warehouse System (Contributo in atti di convegno) (Prodotto della ricerca)
- Course Configuration With Examples And Tests (Contributo in atti di convegno) (Prodotto della ricerca)
- Semantic Reconciliation of Business Documents in a SOA Framework (Contributo in atti di convegno) (Prodotto della ricerca)
- Benchmarking Criteria to Evaluate Ontology Building Methodologies (Contributo in atti di convegno) (Prodotto della ricerca)
- A Semantic Cooperation Platform for the Interoperability of European Chambers of Commerce (Contributo in atti di convegno) (Prodotto della ricerca)
- An Ontology-based Similarity Method for Semantic Search (Contributo in atti di convegno) (Prodotto della ricerca)
- Semantic Technologies for European Chambers of Commerce Cooperation (Contributo in atti di convegno) (Prodotto della ricerca)
- FUB, IASI-CNR and University of Tor Vergata at TREC 2008 Blog Track (Contributo in atti di convegno) (Prodotto della ricerca)
- Transformational Verification of Linear Temporal Logic (Contributo in atti di convegno) (Prodotto della ricerca)
- EagleVox: piattaforma semantica per la partecipazione sociale alla ricostruzione dell'Aquila (Contributo in atti di convegno) (Prodotto della ricerca)
- A Semantics-based Approach to Support eParticipation of Citizens (Contributo in atti di convegno) (Prodotto della ricerca)
- Adding Concept Weights to Ontologies for Semantic Search (Contributo in atti di convegno) (Prodotto della ricerca)
- A study on the evaluation of opinion retrieval systems (Contributo in atti di convegno) (Prodotto della ricerca)
- A Business Process Knowledge Base for Composite Services Development (Contributo in atti di convegno) (Prodotto della ricerca)
- An Annotated Dataset for Extracting Definitions and Hypernyms from the Web (Contributo in atti di convegno) (Prodotto della ricerca)
- Controlling Polyvariance for Specialization-Based Verification (Contributo in atti di convegno) (Prodotto della ricerca)
- Using Real Relaxations During Program Specialization (Contributo in atti di convegno) (Prodotto della ricerca)
- Querying Business Processes and Ontologies in a Logic Programming Environment (Contributo in atti di convegno) (Prodotto della ricerca)
- Hierarchies (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Aggregate Query Rewriting in Multidimensional Databases (Voce (in dizionario o enciclopedia)) (Prodotto della ricerca)
- A uniform theoretic approach to opinion and information retrieval (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Hierarchies in Multidimensional Databases (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Web Ontology Learning and Engineering: an Integrated Approach (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Efficient Computation of Data Cubes and Aggregate Views (Voce (in dizionario o enciclopedia)) (Prodotto della ricerca)
- Automatic Proofs of Protocols via Program Transformation (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Cooperation of Geographic and Multidimensional Databases (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Basic Notions on Multidimensional Databases (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Querying Multidimensional Data (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- The Architecture of an Ontology-based Platform for Semantic interoperability (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Querying Multidimensional Data (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Statistical Dissemination Systems and the Web (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Classification of ambiguities (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Semantic Services for Business Documents Reconciliation (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Exploratory Analysis of the Social Network of Researchers in Inductive Logic Programming (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- LEMAIA (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- SINERGIA (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- eGOV, Progetto Nazionale di Ricerca con oggetto e-government e enti locali (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- SP6 Web Learning per la qualità del capitale umano (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Information Interoperability Services Final Specifications (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Knowledge Interoperability Services Prototype (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Cardinal and Positional Operators in a Pictorial Query Geographical Data (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Automated course configuration based on automated planning: framework and first experiments (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- DERI 2005. ''Semantic mismatches hampering data exchange between heterogeneous web services W3C'' (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- D8.1: State of the art and state of the practice including initial possible research orientations (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Course configuration in e-learning via automated planning (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Collhaps: a new heuristic algorithm for haplotype inference by maximum parsimony (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- The management of spatial and temporal constraints in gis using pictorial interaction on the web (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- An Overview of Model Transformation Mechanisms (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Athena Deliverable D3.3 - Semantic Annotation Language and Tool for Information and Business Processes (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Verifying Infinite State Systems by Specializing Constraint Logic Programs (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Improving Estimation Accuracy of Aggregate Queries on Data Cubes (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Semantic search for collaborative competency management in networked enterprises (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- D4.2 - Prototype Design (Altre pubblicazioni) (Prodotto della ricerca)
- A Logic-Based Method for BPMN Diagrams Verification (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Transformational Verification of Linear Temporal Logic (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Deciding Full Branching Time Logic by Program Transformation (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- L'adozione di soluzioni ICT nelle pubbliche amministrazioni: la prospettiva europea (Altre pubblicazioni) (Prodotto della ricerca)
- Cluster Computer system for INTEGRAL Scientific Analysis (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Constraint Relaxation of the Polygon-Polyline Topological Relation for Geographic Pictorial Query Languages (Rapporti progetti di ricerca) (Prodotto della ricerca)
- A Constraint-Based Transformation for Verifying Infinite State Systems (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Constraint-Based Correctness Proofs for Logic Program Transformations (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Special Issue on the Italian Conference on Computational Logic: CILC 2009 (Curatela) (Prodotto della ricerca)
- COIN - COllaboration and INteroperability for networked enterprises (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Ontodev (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- IDEAS - Interoperability Developments for Enterprise Application and Software roadmaps (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Information Interoperability Services Prototype (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Innovative Knowledge Interoperability Services (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- La modellazione dei processi nel Sistema Informativo Generalizzato di Diffusione dell'ISTAT (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Ontology-based concept similary in Formal Concept Analysis (Rapporti progetti di ricerca) (Prodotto della ricerca)
- The Sketch Recognition and Query Interpretation by {GSQL}, a Geographical Sketch Query Language (Rapporti progetti di ricerca) (Prodotto della ricerca)
- E-CHALLENGE 2005. Building an eProcurement Ontology with UPON methodology (Altre pubblicazioni) (Prodotto della ricerca)
- Verifying parameterized protocols by transforming stratified logic programs (Altre pubblicazioni) (Prodotto della ricerca)
- A framework for the smart dynamic selection of web service access points (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Brokering infrastructure for minimum-cost data procurement based on information quality-quantity models (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Local computation of answers to table queries on summary databases (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Concept similarity by evaluating Information Contents and Feature Vectors: a combined approach (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Concept similarity in Formal Concept Analysis: an Information Content Approach (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Interoperability for Emergenices' Managment (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Generalised software for statistical cooperation (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- D5.2.1a - Information Interoperability Services 1st Specifications (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Semantic Search in Digital Business EcoSystems (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- The Transformational Approach to Program Development (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Transformations of logic programs on infinite lists (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Linking Ontologies to Business Process Schemas (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Querying semantically annotated business processes (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Semantic Web Search Based On Rough Sets And Fuzzy Formal Concept Analysis (Rapporti progetti di ricerca) (Prodotto della ricerca)
- A semantic platform for enterprise knowledge interoperability (Rapporti progetti di ricerca) (Prodotto della ricerca)
- A Unified Framework for Querying OLAP-Object Databases (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Querying by sketch geographical databases and ambiguities (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- TOCAI.IT - Knowledge-oriented technologies for enterprise aggregation in Internet (Progetti) (Prodotto della ricerca)
- INTEROP, Interoperability Research for Networked Enterprises Applications and Software (Progetti) (Prodotto della ricerca)
- ONTOMAN (Progetti) (Prodotto della ricerca)
- COIN - COllaboration and INteroperability for networked enterprises (Progetti) (Prodotto della ricerca)
- LEONARDO DA VINCI - Community action programme on vocational training (Progetti) (Prodotto della ricerca)
- Deliverable D3.1 Research Landscape Report (Progetti) (Prodotto della ricerca)
- DaWinci/MD: un sistema per data warehouse statistici su Web (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- The Composite OLAP-Object Data Model (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Component Based Automated e-learning (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Content based similarity of geographic classes organized as partition hierarchies (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Joint Queries Estimation from Aggregate OLAP Databases (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Athena Deliverable D3.2 - Update Version of the Ontology Authoring and Management System with Semantic search functions (Altre pubblicazioni) (Prodotto della ricerca)
- Deliverable TG2.2:Report on model driven interoperability (Altre pubblicazioni) (Prodotto della ricerca)
- Deliverable TG3.3: MoMo Toolbox definition and Workshop report (Altre pubblicazioni) (Prodotto della ricerca)
- Deliverable DO.1: Basic Ontological solutions for Interoperability (Altre pubblicazioni) (Prodotto della ricerca)
- Approximating Geographical Query Answers (Rapporti progetti di ricerca) (Prodotto della ricerca)
- D5.3.1a - Knowledge Interoperability Services 1st Specifications (Altre pubblicazioni) (Prodotto della ricerca)
- Usage of the ontology in the LD-CAST project (Altre pubblicazioni) (Prodotto della ricerca)
- A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Concept Similarity in Fuzzy Formal Concept Analysis for Semantic Web (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Similarity Reasoning for Fuzzy Concept Lattices (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Generalization strategies for the verification of infinite state systems (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Egovernment in Europa: verso una cultura della valutazione dei risultati (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Gli strumenti di finanziamento del VII programma quadro e l'esperienza dello IASI-CNR nel large-scale integrating project (Altre pubblicazioni) (Prodotto della ricerca)
- Similarity of XML-Schema Elements: A Structural and Information Content Approach (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- ATHENA, Advanced Technologies for Interoperability of Heterogeneous Enterprise Networks and their Applications (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Evaluating semantic similarity using GML in Geographic Information Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Approximating geographical queries (Articolo in rivista) (Prodotto della ricerca)
- Visual query languages, representation techniques and data models (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Visual query languages, representation techniques and data models (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- An advanced pictorial query language to query urban and rural data on GIS (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Constraint relaxing on topological operators in pictorial queries with null answer (Contributo in atti di convegno) (Prodotto della ricerca)
- Analysing Collaborations Throug (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Personalized Tourism and Mobile Devices: System Architectures and Protocols (Altre pubblicazioni) (Prodotto della ricerca)
- Synthesizing Concurrent Programs Using Answer Set Programming (Articolo in rivista) (Prodotto della ricerca)
- Software Model Checking by Program Specialization (Contributo in atti di convegno) (Prodotto della ricerca)
- Semantic search for matching user requests with profiled enterprises (Articolo in rivista) (Prodotto della ricerca)
- Improving Reachability Analysis of Infinite State Systems by Specialization (Articolo in rivista) (Prodotto della ricerca)
- Generalization Strategies for the Verification of Infinite State Systems (Articolo in rivista) (Prodotto della ricerca)
- Ontology-Based Querying of Composite Services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Similarity reasoning for the semantic web based on fuzzy concept lattices: An informal approach (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A 16-intersection matrix for the Polygon-Polyline Topological Relation for Geographic Pictorial Query Languages (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- A necessary and sufficient condition for a set of sequences on the genetic alphabet to be a circular code (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Proceedings of Interop-VLab Workshop (Curatela) (Prodotto della ricerca)
- Proceedings of New Generation Enterprise and Business Innovation Systems Workshop (Curatela) (Prodotto della ricerca)
- A Knowledge-centric approach to Virtual Enterprise Innovation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Open Innovation in Virtual Enterprises: An Ontology-based Approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Using neural networks to automate the classification of works of art (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Similarity of XML-schema elements supported by domain ontologies (Articolo in rivista) (Prodotto della ricerca)
- A pictorial human computer interaction to query geographical data (Articolo in rivista) (Prodotto della ricerca)
- Virtual travel communities development and sustainable tourism (Altre pubblicazioni) (Prodotto della ricerca)
- Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- The sketch recognition and query interpretation by GSQL, a geographical sketch query language (Contributo in atti di convegno) (Prodotto della ricerca)
- 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Branching Preserving Specialization for Software Model Checking (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Verifying Programs via Iterated Specialization (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Using Answer Set Programming Solvers to Synthesize Concurrent Programs (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Rule-Based Behavioral Reasoning on Semantic Business Processes (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Knowledge-Based Support to Business Innovation (Contributo in atti di convegno) (Prodotto della ricerca)
- A Software Platform for Semantics-based Enterprise Knowledge Management (Contributo in atti di convegno) (Prodotto della ricerca)
- Evaluation of complex security scenarios using defense trees and economic indexes (Articolo in rivista) (Prodotto della ricerca)
- The Future of Enterprise Systems in a Fully Networked Society (Articolo in rivista) (Prodotto della ricerca)
- Monitoring Innovation in Virtual Enterprises: an Agile Semantic Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards a convergence of Enterprise Interoperability and the FInES Research Roadmap (Contributo in atti di convegno) (Prodotto della ricerca)
- Il futuro dei sistemi d'impresa (Articolo in rivista) (Prodotto della ricerca)
- Episturmian words and episturmian morphisms (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Optimal MST Maintenance for Transient Deletion of Every Node in Planar Graphs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- XPQL: a pictorial language for querying geographic data (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Syntactically and semantically correctness in pictorial queries for GIS (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Constraint relaxation on topological operators which produce a null value as answer to a query (Contributo in atti di convegno) (Prodotto della ricerca)
- Structural similarity in geographical queries to improve query answering (Contributo in atti di convegno) (Prodotto della ricerca)
- Spatio-temporal Information Systems in a Statistical Context (Articolo in rivista) (Prodotto della ricerca)
- The social implications of Rfid technology of healthcare (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Using Real Relaxations During Program Specialization (Articolo in rivista) (Prodotto della ricerca)
- Constraint-Based Correctness Proofs for Logic Program Transformations (Articolo in rivista) (Prodotto della ricerca)
- Specification and Validation of Algorithms Generating Planar Lehman Words (Contributo in atti di convegno) (Prodotto della ricerca)
- Generation of Test Data Structures Using Constraint Logic Programming (Contributo in atti di convegno) (Prodotto della ricerca)
- An Object-Oriented Epidemiological data Modelling System (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Scenario: from Geographical to Statistical Information (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The Health Resource Allocation Planning Problem (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- RAM: a system for health resources allocation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A System to Define and Allocate Health Care Resources on a Territory to Improve the Life Quality of the Populations in Developing Countries (Articolo in rivista) (Prodotto della ricerca)
- Un Sistema per la Gestione di Dati Epidemiologici (Contributo in atti di convegno) (Prodotto della ricerca)
- An epidemiological model for heterogeneous population regarding epidemic and endemic infective diseases and a system for the planning of resource allocation (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- A SIR Epidemic Model and the Parametric Resonance (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Verification of Imperative Programs by Transforming Constraint Logic Programs (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Platform for Managing Business Process Knowledge Bases via Logic Programming (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Program Transformation for Program Verification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Controlling Polyvariance for Specialization-based Verification (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Rule-Based Behavioural Reasoning on Semantic Business Processes (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Linked Data Based Approach to Similarity Reasoning (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Hardware e Software (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Extending Geographic Databases for a Query Language to Support Queries Involving Statistical Data (Contributo in atti di convegno) (Prodotto della ricerca)
- A Decision Support System for the allocation of health care resources to decrease the disease incidence in developing countries (Contributo in atti di convegno) (Prodotto della ricerca)
- Virtual reality in telemedicine [Reti e realta virtuale in medicina] (Articolo in rivista) (Prodotto della ricerca)
- A system for free hand accessing to computers and telematic services (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
- A system for the management of epidemiologic data (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Planning Health Resources Allocation Using A Geographic Information System (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Analysis and Application of Epidemic Models (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- A Method to Estimate the Incidence of Communicable Diseases Under Seasonal Fluctuations with Application to Cholera (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Linking Geographic and Multidimesional Environment through OLAP Operator (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- An Information System for Virtual Hospitalization Management (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Proving Theorems by Program Transformation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Verification of Imperative Programs through Transformation of Constraint Logic Programs (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Verifying Programs via Iterated Specialization (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Specialization with Constrained Generalization for Software Model Checking (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Supporting Customer Choice with Semantic Similarity Search and Explanation (Contributo in atti di convegno) (Prodotto della ricerca)
- Verifying Array Programs by Transforming Verification Conditions (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- First Order Predicate Calculus and Logic Programming, Third Edition (Monografia o trattato scientifico) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1401)
- Dynamically Maintaining Shortest Path Trees Under Batches of Updates (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Exact and Approximate Algorithms for Movement Problems on (Special Classes of) Graphs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An information system on toxicological risks linked to drug manipulation (Contributo in atti di convegno) (Prodotto della ricerca)
- Linking Geographic and Multidimensional Databases by Functional Attributes (Contributo in atti di convegno) (Prodotto della ricerca)
- Health Environmental Risk Analysis Using Object-Oriented Geographic Information System (Contributo in atti di convegno) (Prodotto della ricerca)
- Development of Methodology of Multiple Assessment of Landscape Parcels on the Base Fuzzy Models Integrated into GIS Environment (Contributo in atti di convegno) (Prodotto della ricerca)
- PQL*: An Extended Pictorial Query Language for Querying Geographical Databases using Positional and OLAP operators (Contributo in atti di convegno) (Prodotto della ricerca)
- A Voice Driven System to Support Disabled People for Using Computers (Contributo in atti di convegno) (Prodotto della ricerca)
- GIS and Health Resources Planning Problems (Contributo in atti di convegno) (Prodotto della ricerca)
- RAM: Resources Allocation Model for health resources allocation (Contributo in atti di convegno) (Prodotto della ricerca)
- Constraint relaxation of the polygon-polyline topological relation for geographic pictorial query languages (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- The allocation of hospital resources by a Geographic Information System|[L'allocazione di risorse ospedaliere mediante un sistema informativo geografico] (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Hierarchies and Relative Operators in the OLAP Environment (Articolo in rivista) (Prodotto della ricerca)
- Un sistema di supporto alla decisione per la pianificazione dell'allocazione di risorse sanitarie (Contributo in atti di convegno) (Prodotto della ricerca)
- Spatial Statistical Models for the Evaluation of the Landscape (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Verification of Imperative Programs by Constraint Logic Program Transformation (Articolo in rivista) (Prodotto della ricerca)
- Program Verification via Iterated Specialization (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Efficient Generation of Test Data Structures Using Constraint Logic Programming and Program Transformation (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- A Semantic Framework for Knowledge Management in Virtual Innovation Factories (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Cross Domain Crawling for Innovation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Advanced Interoperability Services (5.3 - BIVEE FP7 EU Project) (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Semantics-based Social Media for the Shared Production Control and Collaborative Open Innovation (D5.4 - BIVEE FP7 EU project) (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Polygon-Constrained Motion Planning Problems (Articolo in rivista) (Prodotto della ricerca)
- Semantic UBL-like documents for innovation (Contributo in atti di convegno) (Prodotto della ricerca)
- Collaborative Ontology Building in Virtual Innovation Factories (Contributo in atti di convegno) (Prodotto della ricerca)
- Advanced Data Adaptors and Enrichment with Linked Open Data (D5.2 - BIVEE FP7 EU project) (Rapporti progetti di ricerca) (Prodotto della ricerca)
- A Faster Computation of All the Best Swap Edges of a Shortest Paths Tree (Articolo in rivista) (Prodotto della ricerca)
- Geographical Information Systems: Trends and Technologies (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Semantics-based social media for collaborative open innovation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Triggering Creativity through Semantic Cross-domain Web Crawling and Routing (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Experimental Evaluation of Dynamic Shortest Path Tree Algorithms on Homogeneous Batches (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Local-knowledge Network Creation Games (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Network creation games with traceroute-based strategies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- DIRS - Device Infomobility Reference Station (Progetti) (Prodotto della ricerca)
- Semantic Similarity based on Weighted Ontology (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Automatic Detection of Words Associations in Texts based on Joint Distribution of Words Occurrences (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Program verification via iterated specialization (Articolo in rivista) (Prodotto della ricerca)
- Program Verification using Constraint Handling Rules and Array Constraint Generalizations (Contributo in atti di convegno) (Prodotto della ricerca)
- Verification of Programs by Combining Iterated Specialization with Interpolation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Rule-based Verification Strategy for Array Manipulating Programs (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Fault-tolerant approximate shortest-path trees (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Knowledge-intensive choreographies for open manufacturing production networks (Abstract/Poster in convegno) (Prodotto della ricerca)
- Analisi di modelli di localizzazione e di interazione spaziale. Proposta di un modello di ottimo vincolato applicato ad un'area di studio per la localizzazione di un grande centro commerciale (Articolo in rivista) (Prodotto della ricerca)
- The Composite Data Model: A Unified Approach for Combining and Querying Multiple Data Models (Articolo in rivista) (Prodotto della ricerca)
- Towards semantic collective awareness platforms for business innovation (Contributo in atti di convegno) (Prodotto della ricerca)
- Innovation Governance Report (D4.40 - BIVEE FP7 EU project) (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Verifying Array Programs by Transforming Verification Conditions (Articolo in rivista) (Prodotto della ricerca)
- VeriMAP: A tool for verifying programs through transformations (Articolo in rivista) (Prodotto della ricerca)
- Reasoning on Data-Aware Business Processes with Constraint Logic (Contributo in atti di convegno) (Prodotto della ricerca)
- http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194383
- http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194514
- http://www.cnr.it/ontology/cnr/individuo/prodotto/ID275240
- Modulo
- Gestore di
- Istituto esecutore di
- Descrizione di