Luca Console

Pietro Pavese

J. Intell. Inf. Syst., 2011

Toward a social web of intelligent things.

[BibT_eX]

[DOI]

AI Commun., 2011

2009

iDYNamicTV: a social adaptive television experience.

[BibT_eX]

[DOI]

Proceedings of the HYPERTEXT 2009, Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, Torino, Italy, June 29, 2009

Common-Sense Rule Inference.

[BibT_eX]

[DOI]

Ilaria Lombardi

Proceedings of the AI*IA 2009: Emergent Perspectives in Artificial Intelligence, 2009

Being a self-director: enhance user creativity with a video mash up tool.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Advances in Computer Entertainment Technology, 2009

2008

Tag-based user modeling for social multi-device adaptive guides.

[BibT_eX]

[DOI]

User Model. User Adapt. Interact., 2008

Enhancing Web Service Composition by Means of Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2008

2007

WS-DIAMOND: An Approach to Web Services - Monitoring and Diagnosis.

[BibT_eX]

[DOI]

Mariagrazia Fugini

ERCIM News, 2007

Modellazione della QoS in Ambienti Web-Service con Applicazioni di Video Streaming.

[BibT_eX]

Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

A Framework for Decentralized Qualitative Model-Based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

2006

Automated Diagnosis.

[BibT_eX]

Intelligenza Artificiale, 2006

Integrating heterogeneous adaptation techniques to build a flexible and usable mobile tourist guide.

[BibT_eX]

[DOI]

AI Commun., 2006

2005

Advanced fault analysis in web service composition.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on World Wide Web, 2005

Enhancing Web Services with Diagnostic Capabilities.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

2004

SALVO: model-based systems applications in automotive industry.

[BibT_eX]

Intelligenza Artificiale, 2004

UbiquiTO: A Multi-device Adaptive Guide.

[BibT_eX]

[DOI]

Proceedings of the Mobile Human-Computer Interaction, 2004

AUTAS: A Tool for Supporting FMECA Generation in Aeronautic Systems.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Personalized and Adaptive Services on Board a Car: An Application for Tourist Information.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 2003

Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2003

2002

Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2002

Process algebras for systems diagnosis.

[BibT_eX]

[DOI]

Marina Ribaudo

Artif. Intell., 2002

IDD: Integrating Diagnosis in the Design of automotive systems.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Adaptation and Personalization on Board Cars: A Framework and Its Application to Tourist Services.

[BibT_eX]

[DOI]

Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2002

2001

An adaptive system for the personalized access to news.

[BibT_eX]

[DOI]

Liliana Ardissono

Ilaria Torre

AI Commun., 2001

Temporal Decision Trees or the lazy ECU vindicated.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Agent Technologies for the Development of Adaptive Web Stores.

[BibT_eX]

[DOI]

Proceedings of the Agent Mediated Electronic Commerce, The European AgentLink Perspective., 2001

2000

Representing and Reasoning with Temporal Constraints in Multimedia Presentations.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

Diagnosis and Diagnosability Analysis Using PEPA.

[BibT_eX]

Marina Ribaudo

Proceedings of the ECAI 2000, 2000

1999

A Configurable System for the Construction of Adaptive Virtual Stores.

[BibT_eX]

[DOI]

World Wide Web, 1999

Qualitative and Quantitative Temporal Constraints and Relational Databases: Theory, Architecture, and Applications.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1999

Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models.

[BibT_eX]

[DOI]

AI Commun., 1999

Model-based Diagnosis in the Real World: Lessons Learned and Challenges Remaining.

[BibT_eX]

[DOI]

Oskar Dressler

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

On the Application of Personalization Techniques to News Servers on the WWW.

[BibT_eX]

[DOI]

Liliana Ardissono

Ilaria Torre

Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998

A Spectrum of Definitions for Temporal Model-Based Diagnosis.

[BibT_eX]

[DOI]

Vittorio Brusoni

Artif. Intell., 1998

1997

Later: Managing Temporal Information Efficiently.

[BibT_eX]

[DOI]

IEEE Expert, 1997

An Efficient Algorithm for Temporal Abduction.

[BibT_eX]

[DOI]

Vittorio Brusoni

Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

Clinical-Mate: A Manager of Temporal Databases for Clinical Applications.

[BibT_eX]

[DOI]

Proceedings of the AMIA 1997, 1997

1996

Using Compiled Knowledge to Guide and Focus Abductive Diagnosis.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1996

Resource-Based vs. Task-Based Approaches for Scheduling Problems.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

1995

The Role of Abduction in Database View Updating.

[BibT_eX]

[DOI]

Maria Luisa Sapino

J. Intell. Inf. Syst., 1995

On the Role of Abduction.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1995

On the Computational Complexity of Querying Bounds on Differences Constraints.

[BibT_eX]

[DOI]

Vittorio Brusoni

Artif. Intell., 1995

Extending Temporal Relational Databases to Deal with Imprecise and Qualitative Temporal Information

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Temporal Databases, 1995

1994

Diagnosing Tim-Varying Misbehavior: An Approach Based on Model Decomposition.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1994

Introduction.

[BibT_eX]

[DOI]

Gerhard Friedrich

Ann. Math. Artif. Intell., 1994

LaTeR: A General Purpose Manager of Temporal Information.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

1993

Temporal constraint satisfaction on causal models.

[BibT_eX]

[DOI]

Inf. Sci., 1993

LATER: Un Approccio Modulare e Stratificato per la Gestione di Informazioni Temporali in basi di dati.

[BibT_eX]

Barbara Pernici

Proceedings of the Convegno SEBD'93, 1993

Model-Based Diagnosis Meets Error Diagnosis in Logic Programs.

[BibT_eX]

Gerhard Friedrich

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract).

[BibT_eX]

[DOI]

Gerhard Friedrich

Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

1992

An approach to the compilation of operational knowledge from casual models.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern., 1992

Diagnostic Reasoning Across Different Time Points.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

Adcuctive Reasoning with Abstraction Axioms.

[BibT_eX]

[DOI]

Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992

1991

On the Relationship between Abduction and Deduction.

[BibT_eX]

[DOI]

J. Log. Comput., 1991

A spectrum of logical definitions of model-based diagnosis.

[BibT_eX]

[DOI]

Comput. Intell., 1991

On the co-operation between abductive and temporal reasoning in medical diagnosis.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 1991

Focussing Abductive Diagnosis.

[BibT_eX]

[DOI]

AI Commun., 1991

Investigating the Relationships between Abduction and Inverse Resolution in Proposition Calculus.

[BibT_eX]

[DOI]

Attilio Giordana

Lorenza Saitta

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Object-Level Abduction for View Updates.

[BibT_eX]

Maria Luisa Sapino

Proceedings of the Second International Workshop on the Deductive Approach to Information Systems and Databases, 1991

CAP: A Critiquing Expert System for Medical Education.

[BibT_eX]

[DOI]

R. Conto

Gianpaolo Molino

Vittorio Ripa di Meana

Proceedings of the AIME 91, 1991

Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Trends in Artificial Intelligence, 1991

1990

Dealing With Uncertainty in a Distributed Expert System Architecture.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty in Knowledge Bases, 1990

Integrating Models of the Correct Behavior into Abductive Diagnosis.

[BibT_eX]

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989

Using Prolog for Building Frog, a Hybrid Knowledge Representation System.

[BibT_eX]

[DOI]

Gianfranco Rossi

New Gener. Comput., 1989

Approximate reasoning and prototypical knowledge.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 1989

A Theory of Diagnosis for Incomplete Causal Models.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

Simulating Generic Situations on Causal Models.

[BibT_eX]

[DOI]

Proceedings of the AIME 89, 1989

1988

Dealing with Time in Diagnostic Reasoning Based on Causal Models.

[BibT_eX]

Anna Furno

Proceedings of the Methodologies for Intelligent Systems, 1988

A Logical Approach to Deal with Incomplete Causal Models in Diagnostic Problem Solving.

[BibT_eX]

[DOI]