Luigi Palopoli

According to our database1, Luigi Palopoli
  • authored at least 243 papers between 1990 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
A Tour from Regularities to Exceptions.
Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018

2017
Path Following With Authority Sharing Between Humans and Passive Robotic Walkers Equipped With Low-Cost Actuators.
IEEE Robotics and Automation Letters, 2017

Outlying property detection with numerical attributes.
Data Min. Knowl. Discov., 2017

Semi-analytical minimum time solutions with velocity constraints for trajectory following of vehicles.
Automatica, 2017

Assistive robotic walker parameter identification for estimation of human thrust without force sensors.
Proceedings of the IEEE 3rd International Forum on Research and Technologies for Society and Industry, 2017

Probabilistic Real-Time Guarantees: There Is Life Beyond the i.i.d. Assumption (Outstanding Paper).
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Modular Construction of Minimal Models.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

A nearly optimal landmark deployment for indoor localisation with limited sensing.
Proceedings of the 2017 International Conference on Indoor Positioning and Indoor Navigation, 2017

Harnessing steering singularities in passive path following for robotic walkers.
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

2016
An Analytical Solution for Probabilistic Guarantees of Reservation Based Soft Real-Time Systems.
IEEE Trans. Parallel Distrib. Syst., 2016

An Analytical Solution for Probabilistic Guarantees of Reservation Based Soft Real-Time Systems.
CoRR, 2016

Follow, listen, feel and go: alternative guidance systems for a walking assistance device.
CoRR, 2016

Hybrid Feedback Path Following for Robotic Walkers via Bang-Bang Control Actions.
CoRR, 2016

A distributed and multi-tiered software architecture for assessing e-Commerce recommendations.
Concurrency and Computation: Practice and Experience, 2016

Probabilistic analysis of bufferless pipelines of real-time tasks.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Sensory stimulation for human guidance in robot walkers: A comparison between haptic and acoustic solutions.
Proceedings of the IEEE International Smart Cities Conference, 2016

Optimal placement of passive sensors for robot localisation.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Passive robotic walker path following with bang-bang hybrid control paradigm.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Decomposing Minimal Models.
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

Semi-analytical minimum time solutions for a vehicle following clothoid-based trajectory subject to velocity constraints.
Proceedings of the 2016 European Control Conference, 2016

Trajectory planning for car-like vehicles: A modular approach.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Hybrid feedback path following for robotic walkers via bang-bang control actions.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Discovering New Proteins in Plant Mitochondria by RNA Editing Simulation.
Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), 2016

Path planning maximising human comfort for assistive robots.
Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015
Indoor Positioning of a Robotic Walking Assistant for Large Public Environments.
IEEE Trans. Instrumentation and Measurement, 2015

Restricted default theories: Expressive power and outlier detection tasks.
Theor. Comput. Sci., 2015

Efficient customisable dynamic motion planning for assistive robots in complex human environments.
JAISE, 2015

Navigation assistance and guidance of older adults across complex public spaces: the DALi approach.
Intelligent Service Robotics, 2015

Real-Time scheduling: from hard to soft real-time systems.
CoRR, 2015

Exploiting the HEF property to check model minimality.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

A passive guidance system for a robotic walking assistant using brakes.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Optimal mean square control using the continuous stream model of computation.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
The Complexity of the Nucleolus in Compact Games.
TOCT, 2014

Vision-Based Robust Path Reconstruction for Robot Control.
IEEE Trans. Instrumentation and Measurement, 2014

Flexible Indoor Localization and Tracking Based on a Wearable Platform and Sensor Data Fusion.
IEEE Trans. Instrumentation and Measurement, 2014

Soft Real-Time Scheduling Approaches in Embedded Control Systems.
ERCIM News, 2014

Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints.
CoRR, 2014

On the tractability of minimal model computation for some CNF theories.
Artif. Intell., 2014

uBuild: Automated Testing and Performance Evaluation of Embedded Linux Systems.
Proceedings of the Architecture of Computing Systems - ARCS 2014, 2014

2013
Discovering Characterizations of the Behavior of Anomalous Subpopulations.
IEEE Trans. Knowl. Data Eng., 2013

Timed-automata based schedulability analysis for distributed firm real-time systems: a case study.
STTT, 2013

The \sc np-spec{\sc np-spec} Project.
Intelligenza Artificiale, 2013

Outlying Property Detection with Numerical Attributes.
CoRR, 2013

On the Tractability of Minimal Model Computation for Some CNF Theories.
CoRR, 2013

Introducing specialization in e-commerce recommender systems.
Concurrent Engineering: R&A, 2013

Soft real-time scheduling for embedded control systems.
Automatica, 2013

Outlier detection: tasks and techniques.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Experimental Evaluation of the Real-Time Performance of Publish-Subscribe Middlewares.
Proceedings of the REACTION 2013, 2013

The Continuous Stream Model of Computation for Real-Time Control.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Design and performance analysis of an indoor position tracking technique for smart rollators.
Proceedings of the International Conference on Indoor Positioning and Indoor Navigation, 2013

Optimal CPU allocation to a set of control tasks with soft real-time execution constraints.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

A robotic vehicle testbench for the application of MBD-MDE development technologies.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Behavioural templates improve robot motion planning with social force model in human environments.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Global path planning for competitive robotic cars.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Unicycle steering by brakes: A passive guidance support for an assistive cart.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Motion planning in crowds using statistical model checking to enhance the social force model.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Adaptive real-time scheduling for legacy multimedia applications.
ACM Trans. Embedded Comput. Syst., 2012

Efficient and robust probabilistic guarantees for real-time tasks.
Journal of Systems and Software, 2012

Editorʼs foreword.
J. Comput. Syst. Sci., 2012

Quality of Service and Quality of Control in real-time control systems.
Proceedings of the 5th International Symposium on Communications, 2012

Wireless sensor networks and video analysis for scalable people tracking.
Proceedings of the 5th International Symposium on Communications, 2012

A Multi-tiered Recommender System Architecture for Supporting E-Commerce.
Proceedings of the Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing, 2012

Numerically efficient probabilistic guarantees for resource reservations.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

High speed robotics with low cost hardware.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

An Analytical Bound for Probabilistic Deadlines.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

Hard and Easy k-Typed Compact Coalitional Games: The Knowledge of Player Types Marks the Boundary.
Proceedings of the ECAI 2012, 2012

2011
Accuracy of RSS-Based Centroid Localization Algorithms in an Indoor Environment.
IEEE Trans. Instrumentation and Measurement, 2011

Scalable Offline Optimization of Industrial Wireless Sensor Networks.
IEEE Trans. Industrial Informatics, 2011

A Robust Mechanism for Adaptive Scheduling of Multimedia Applications.
ACM Trans. Embedded Comput. Syst., 2011

Asymmetric Comparison and Querying of Biological Networks.
IEEE/ACM Trans. Comput. Biology Bioinform., 2011

Biological Network Querying Techniques: Analysis and Comparison.
Journal of Computational Biology, 2011

A long tour from theory to practice.
Intelligenza Artificiale, 2011

Tractable Strong Outlier Identification
CoRR, 2011

On the complexity of core, kernel, and bargaining set.
Artif. Intell., 2011

Model-based design of embedded control software for hybrid vehicles.
Proceedings of the Industrial Embedded Systems (SIES), 2011

Deterministic and Stochastic QoS Provision for Real-Time Control Systems.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

On the Complexity of the Core over Coalition Structures.
Proceedings of the IJCAI 2011, 2011

2010
On the complexity of identifying head-elementary-set-free programs.
TPLP, 2010

Design of Embedded Controllers Based on Anytime Computing.
IEEE Trans. Industrial Informatics, 2010

On the Integration of Application Level and Resource Level QoS Control for Real-time Applications.
IEEE Trans. Industrial Informatics, 2010

QoS Control for Pipelines of Tasks Using Multiple Resources.
IEEE Trans. Computers, 2010

Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints.
J. Artif. Intell. Res., 2010

New Trends in Graph Mining: Structural and Node-Colored Network Motifs.
IJKDB, 2010

Detecting and repairing anomalous evolutions in noisy environments - Logic programming formalization and complexity results.
Ann. Math. Artif. Intell., 2010

Outlier detection for simple default theories.
Artif. Intell., 2010

Asymmetric Global Alignment of Protein-Protein Interaction Graph Databases (Extended Abstract).
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

Reservation-Based Interrupt Scheduling.
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

"Master-Slave" Biological Network Alignment.
Proceedings of the Bioinformatics Research and Applications, 6th International Symposium, 2010

Safety provisions for human/robot interactions using stochastic discrete abstractions.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Detection of Discriminating Rules.
Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

Self-tuning schedulers for legacy real-time applications.
Proceedings of the European Conference on Computer Systems, 2010

Parametric analysis of distributed firm real-time systems: A case study.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

IP6K Gene Discovery in Plant mtDNA.
Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2010

Adaptive reservations for feedback control.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009
A Summary of Genomic Databases: Overview and Discussion.
Proceedings of the Biomedical Data and Applications, 2009

Detecting outlying properties of exceptional objects.
ACM Trans. Database Syst., 2009

Resource Reservations for General Purpose Applications.
IEEE Trans. Industrial Informatics, 2009

Legacy Real-Time Applications in a Reservation-Based System.
IEEE Trans. Industrial Informatics, 2009

AQuoSA - adaptive quality of service architecture.
Softw., Pract. Exper., 2009

Improving protein secondary structure predictions by prediction fusion.
Information Fusion, 2009

A technique to search for functional similarities in protein-protein interaction networks.
IJDMB, 2009

On the complexity of identifying Head Elementary Set Free programs
CoRR, 2009

Extracting similar sub-graphs across PPI networks.
Proceedings of the 24th International Symposium on Computer and Information Sciences, 2009

On the Complexity of Compact Coalitional Games.
Proceedings of the IJCAI 2009, 2009

Experimental Evaluation of Protein Secondary Structure Predictors.
Proceedings of the Computational Science, 2009

Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Solving the Wake-Up Scattering Problem Optimally.
Proceedings of the Wireless Sensor Networks, 6th European Conference, 2009

Designing Real-time Embedded Controllers using the Anytime Computing Paradigm.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Multi-level Feedback Control for Quality of Service Management.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

A Probabilistic Methodology for Predicting Injuries to Human Operators in Automated Production Lines.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

The wizard of OS: a heartbeat for Legacy multimedia applications.
Proceedings of the 7th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2009

On the global convergence of a class of distributed algorithms for maximizing the coverage of a WSN.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Constrained coalitional games: formal framework, properties, and complexity results.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008
On the Computational Complexity of the Bargaining Set and the Kernel in Compact Coalitional Games
CoRR, 2008

Outlier detection using default reasoning.
Artif. Intell., 2008

Singling out functional similarities in graph databases.
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

An Unsupervised Outlier Detection Approach for Cleaning String Data Entries.
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Symbolic Computation of Schedulability Regions Using Parametric Timed Automata.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

QoS Support in the X11 Window System.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Adaptive real-time scheduling for legacy applications.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Weighted feedback reclaiming for multimedia applications.
Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2008

Logic Programming in DataLog: A Long Tour from Theory to Practice.
Proceedings of the Il Milione (i.e. 2ˆ6), 2008

Protein-Protein Interaction Network Querying by a "Focus and Zoom" Approach.
Proceedings of the Bioinformatics Research and Development, 2008

2007
Outlier detection by logic programming.
ACM Trans. Comput. Log., 2007

Combining Description Logics with synopses for inferring complex knowledge patterns from XML sources.
Inf. Syst., 2007

The LP-OD System: Logic Programming Meets Outlier Detection.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Analysis of Different Scheduling Strategies in 802.11e Networks with Multi-Class Traffic.
Proceedings of the 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 2007

Infeasibility Certificates and the Complexity of the Core in Coalitional Games.
Proceedings of the IJCAI 2007, 2007

Feedback Scheduling for Pipelines of Tasks.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Control and optimisation of HCCA 802.11e access scheduling.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

GRAPPIN: Bipartite GRAph Based Protein-Protein Interaction Network Similarity Search.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2007

2006
Agents' roles in B2C e-commerce.
AI Commun., 2006

Exploiting agents in e-learning and skills management context.
AI Commun., 2006

Protection Techniques from Information Extraction.
Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

Un Metodo per la Scoperta di Proprietà Inattese.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

Detecting and Repairing Anomalous Evolutions in Noisy Environments: Logic Programming Formalization and Complexity Results.
Proceedings of the Artificial Intelligence in Theory and Practice, 2006

JSSPrediction: a Framework to Predict Protein Secondary Structures Using Integration.
Proceedings of the 19th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2006), 2006

2005
Maximizing the stability radius of a set of systems under real-time scheduling constraints.
IEEE Trans. Automat. Contr., 2005

QoS Management Through Adaptive Reservations.
Real-Time Systems, 2005

A graph-based approach for extracting terminological properties from information sources with heterogeneous formats.
Knowl. Inf. Syst., 2005

Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming.
Proceedings of the Foundations of Intelligent Systems, 15th International Symposium, 2005

A Software Platform for Services Delivery in the Public Administration.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

2004
On the complexity of inducing categorical and quantitative association rules.
Theor. Comput. Sci., 2004

Coopps: a System for the Cooperative Prediction of Protein Structures.
J. Bioinformatics and Computational Biology, 2004

Outlier Detection by Logic Programming
CoRR, 2004

Modeling cooperation in multi-agent communities.
Cognitive Systems Research, 2004

Derivazione efficiente di pattern strutturati frequenti da database di natura biologica.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Adaptive reservations in a Linux environment.
Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

Discovering Anomalies in Evidential Knowledge by Logic Programming.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

An Educational Open Source Real-Time Kernel for Small Embedded Control Systems.
Proceedings of the Computer and Information Sciences, 2004

Outlier Detection Using Disjunctive Logic Programming.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Detecting Outliers via Logical Theories and Its Data Complexity.
Proceedings of the Discovery Science, 7th International Conference, 2004

2003
Computational properties of metaquerying problems.
ACM Trans. Comput. Log., 2003

Uniform Techniques for Deriving Similarities of Objects and Subschemes in Heterogeneous Databases.
IEEE Trans. Knowl. Data Eng., 2003

DIKE: a system supporting the semi-automatic construction of cooperative information systems from heterogeneous databases.
Softw., Pract. Exper., 2003

Experiences using DIKE, a system for supporting cooperative information system and data warehouse design.
Inf. Syst., 2003

A Plausibility Description Logic for Handling Information Sources with Heterogeneous Data Representation Formats.
Ann. Math. Artif. Intell., 2003

Outlier Detection Using Default Logic.
Proceedings of the IJCAI-03, 2003

On the Application of Hybrid Control to CPU Reservations.
Proceedings of the Hybrid Systems: Computation and Control, 2003

Outlier Detection Using Default Logic.
Proceedings of the Answer Set Programming, 2003

A Framework for Improving Protein Structure Predictions by Teamwork.
Proceedings of the First Asia-Pacific Bioinformatics Conference (APBC 2003), 2003

2002
An object-oriented tool for simulating distributed real-time control systems.
Softw., Pract. Exper., 2002

A novel three-level architecture for large data warehouses.
Journal of Systems Architecture, 2002

A technique for deriving hyponymies and overlappings from database schemes.
Data Knowl. Eng., 2002

Analysis of a Reservation-Based Feedback Scheduler.
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

An XML Multi-agent System for E-learning and Skill Management.
Proceedings of the Agent Technologies, 2002

A Plausibility Description Logics for Reasoning with Information Sources Having Different Formats and Structures.
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

Synthesis of Robust Control Systems under Resource Constraints.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Discovering Frequent Structured Patterns from String Databases: An Application to Biological Sequences.
Proceedings of the Discovery Science, 5th International Conference, 2002

2001
Computational Properties of Metaquerying Problems
CoRR, 2001

On the complexity of inducing categorical and quantitative association rules
CoRR, 2001

Modeling Web-search scenarios exploiting user and source profiles.
AI Commun., 2001

A System Implementing Cooperation in Multi-Agent Networks.
Proceedings of the WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2001

Un modello concettuale per rappresentare e derivare la semantica associata a sorgenti informative strutturate e semi-strutturate.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

On the Complexity of Mining Association Rules.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

A Tool for Simulation and Fast Prototyping of Embedded Control Systems.
Proceedings of The Workshop on Languages, 2001

Discrete-Time Multirate Stabilization of Chained Form Systems: Convergence, Robustness, and Performance.
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

A Graph-Based Approach For Extracting Terminological Properties of Elements of XML Documents.
Proceedings of the 17th International Conference on Data Engineering, 2001

Supporting User-Profiled Semantic Web-Oriented Search.
Proceedings of the Cooperative Information Agents V, 5th International Workshop, 2001

2000
More on tractable disjunctive Datalog.
J. Log. Program., 2000

Intensional and extensional integration and abstraction of heterogeneous databases.
Data Knowl. Eng., 2000

NP-SPEC: an executable specification language for solving all problems in NP.
Comput. Lang., 2000

Derivazione di iponimie/iperonimie tra entità appartenenti a basi di dati eterogenee.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

The InterData methodological framework for the development of Web-based information systems.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

Metaquerying: proprietà e tecniche di implementazione.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

Real-Time control system analysis: an integrated approach.
Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Computational Properties of Metaquerying Problems.
Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

Multi-Level Stabilizing Control of an Nonholonomic Vehicle and Its Discrete-Time Multirate Implementation.
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

A General Methodological Framework for the Development of Web-Based Information Systems.
Proceedings of the Conceptual Modeling for E-Business and the Web, 2000

On adaptive control techniques in real-time resource allocation.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

Semi-automatic Extraction of Hyponymies and Overlappings from Heterogeneous Database Schemes.
Proceedings of the Database and Expert Systems Applications, 11th International Conference, 2000

The System DIKE: Towards the Semi-Automatic Synthesis of Cooperative Information Systems and Data Warehouses.
Proceedings of Chalenges, 2000

1999
Automatic Extraction of Database Scheme Semantic Properties using Knowledge Discovery Techniques.
Transactions of the SDPS, 1999

DLP: A Description Logic for Extracting and Managing Complex Terminological and Structural Properties from Database Schemes.
Inf. Syst., 1999

Semi-Automatic Techniques for Deriving Interscheme Properties from Database Schemes.
Data Knowl. Eng., 1999

Propositional lower bounds: Algorithms and complexity.
Ann. Math. Artif. Intell., 1999

Algorithms for Selective Enumeration of Prime Implicants.
Artif. Intell., 1999

Progettazione Semi-Automatica di Data Warehouse di Grandi Dimensioni .
Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

A C Language Extension for Programming Real-Time Applications.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

NP-SPEC: An Executable Specification Language for Solving All Problems in NP.
Proceedings of the Practical Aspects of Declarative Languages, 1999

Automatic and Semantic Techniques for Scheme Integration and Scheme Abstraction.
Proceedings of the Database and Expert Systems Applications, 10th International Conference, 1999

A Unified Graph-Based Framework for Deriving Nominal Interscheme Properties, Type Conflicts and Object Cluster Similarities.
Proceedings of the Fourth IFCIS International Conference on Cooperative Information Systems, 1999

1998
Circumscribing DATALOG: Expressive Power and Complexity.
Theor. Comput. Sci., 1998

An architecture for accessing a large number of autonomous, heterogeneous databases.
Networking and Information Systems, 1998

Utilizzo della logica descrittiva per l'estrazione di proprietà terminologiche e strutturali complesse.
Proceedings of the Atti del Sesto Convegno Nazionale Sistemi Evolluti per Basi di Dati, 1998

Propositional Lower Bounds: Generalization and Algorithms.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

Semi-Automatic Semantic Discovery of Properties from Database Schemas.
Proceedings of the 1998 International Database Engineering and Applications Symposium, 1998

Automatic Extraction of Database Scheme Semantic Properties Using Knowledge Discovery Techniques.
Proceedings of the Third International Conference on Integrated Design and Process Technology, IDPT, 1998

On the Complexity of Search Queries.
Proceedings of the Fundamentals of Information Systems, 1998

Automatic Derivation of Terminological Properties from Database Schemes.
Proceedings of the Database and Expert Systems Applications, 9th International Conference, 1998

An Automatic Techniques for Detecting Type Conflicts in Database Schemes.
Proceedings of the 1998 ACM CIKM International Conference on Information and Knowledge Management, 1998

1997
Generalized Production Rules as a Basis for Integrating Active and Deductive Databases.
IEEE Trans. Knowl. Data Eng., 1997

THE GPR System: An Architecture for Integrating Active and Deductive Rules on Complex Database Objects.
TAPOS, 1997

Reasoning with Minimal Models: Efficient Algorithms and Applications.
Artif. Intell., 1997

Knowledge Discovery su Schemi per l'Integrazione di Basi di Dati.
Proceedings of the Convegno Nazionale Sistemi Evolluti per Basi di Dati, 1997

Discovering description logic assertions from database schemes.
Proceedings of the 1997 International Workshop on Description Logics, 1997

Datalog and Description Logics: Expressive Power.
Proceedings of the Database Programming Languages, 6th International Workshop, 1997

Datalog and Description Logics: Expressive Power.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
Querying Datalog with Arrays: Design and Implementation Issues.
Journal of Systems Integration, 1996

Polynomial-Time Computable Stable Models.
Ann. Math. Artif. Intell., 1996

The Expressive Power of Tractable Disjunction.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Datalog and Description Logics: Expressive Power - Preliminary Report.
Proceedings of the 1996 International Workshop on Description Logics, 1996

1995
A Language for Updating Logic Programs and its Implementation.
J. Log. Program., 1995

Extending Datalog with Arrays.
Data Knowl. Eng., 1995

The GPR System: an Architecture for Integrating Active and Deductive Rules.
Proceedings of the Atti del Terzo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 1995

Disjunctive Ordered Logic
Proceedings of the Database and Expert Systems Applications, 1995

DatalogA: Array Manipulations in a Deductive Database Language.
Proceedings of the Database Systems for Advanced Applications '95, 1995

Curbing Theories: Fixpoint Semantics and Complexity Issues.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
Modifying Intensional Logic Knowledge.
Fundam. Inform., 1994

A Rule-Based Update Language for Complex Objects with Identity.
Data Knowl. Eng., 1994

Modeling Database Applications Using Generalized Production Rules.
Proceedings of the Fourth International Workshop on Research Issues in Data Engineering: Active Database Systems, 1994

Reasoning with Minimal Models: Efficient Algorithms and Applications.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Active and Passive Rules for Complex Object Databases.
Proceedings of the Database and Expert Systems Applications, 5th International Conference, 1994

1993
Management of Extended Update Operations.
Proceedings of the LOGIDATA+: Deductive Databases with Complex Objects, 1993


Polynominal Time Computable Stable Models.
Proceedings of the Logic Programming, 1993

Actions and Transactions on Complex Objects.
Proceedings of the Convegno SEBD'93, 1993

Updating Logic Programs.
Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

1992
Testing Logic Programs for Local Stratification.
Theor. Comput. Sci., 1992

Specifying the Dynamics of Complex Object Databases.
Proceedings of the Modelling Database Dynamics, 1992

1991
Optimization of join strategies in distributed databases.
Inf. Syst., 1991

Netlog: A Logic Query Language for Network Model Databases.
Data Knowl. Eng., 1991

1990
A new proof of undecidability of safety of logic queries.
SIGACT News, 1990


  Loading...