Pietro Torasso

103 papers A* 8A 10B 4C 7Misc 7Journal 37Unranked 28
YearRankTypeTitle / Venue / Authors
2015 A* conf
Deordering and Numeric Macro Actions for Plan Repair.
IJCAI
Enrico Scala, Pietro Torasso
2015 J jnl
Robust plan execution via reconfiguration and replanning.
AI Commun.
Enrico Scala, Roberto Micalizio, Pietro Torasso
2014 J jnl
Cooperative Monitoring to Diagnose Multiagent Plans.
J. Artif. Intell. Res.
Roberto Micalizio, Pietro Torasso
2014 A conf
Proactive and Reactive Reconfiguration for the Robust Execution of Multi Modality Plans.
ECAI
Enrico Scala, Pietro Torasso
2014 — conf
ReCon: An Online Task ReConfiguration Approach for Robust Plan Execution.
ICAART (Revised Selected Papers)
Enrico Scala, Roberto Micalizio, Pietro Torasso
2014 — conf
Robust Execution of Rover Plans via Action Modalities Reconfiguration.
ICAART (1)
Enrico Scala, Roberto Micalizio, Pietro Torasso
2013 J jnl
A Multi-UAS Cooperative Mission Over Non-Segregated Civil Areas.
J. Intell. Robotic Syst.
Marco Boccalatte, Filippo Brogi, Francesco Catalfamo, Stefania Maddaluno, Michele Martino, Valter Mellano, Paolo Rosazza Prin, Filomena Solitro, Pietro Torasso, Gianluca Torta
2013 J jnl
Automatic component abstraction for Model-Based Diagnosis on relational models.
AI Commun.
Gianluca Torta, Pietro Torasso
2011 — conf
Exploiting Automatic Validation in Human Mission Planning.
SGAI Conf.
Pietro Torasso, Gianluca Torta
2011 — conf
Intelligent Supervision for Robust Plan Execution.
AI*IA
Roberto Micalizio, Enrico Scala, Pietro Torasso
2010 — conf
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model.
SGAI Conf.
Gianluca Torta, Pietro Torasso
2010 — conf
Involving the Human User in the Control Architecture of an Autonomous Agent.
IFIP AI
Roberto Micalizio, Giancarlo Nuzzolo, Enrico Scala, Pietro Torasso
2009 — conf
Agent Cooperation for Monitoring and Diagnosing a MAP.
MATES
Roberto Micalizio, Pietro Torasso
2009 — conf
Exploiting agent diagnosis for plan repair in MAS.
AAMAS (2)
Roberto Micalizio, Pietro Torasso
2009 J jnl
Parametric abstraction of behavioral modes for model-based diagnosis.
AI Commun.
Gianluca Torta, Pietro Torasso
2008 A conf
Computation of Minimal Sensor Sets for Conditional Testability Requirements.
ECAI
Gianluca Torta, Pietro Torasso
2008 A conf
Monitoring the Execution of a Multi-Agent Plan: Dealing with Partial Observability.
ECAI
Roberto Micalizio, Pietro Torasso
2008 — conf
Supervision and diagnosis of joint actions in multi-agent plans.
AAMAS (3)
Roberto Micalizio, Pietro Torasso
2007 J jnl
An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems.
AI Commun.
Gianluca Torta, Pietro Torasso
2007 — conf
Formalizing the Abstraction Process in Model-Based Diagnosis.
SARA
Lorenza Saitta, Pietro Torasso, Gianluca Torta
2007 J jnl
On the role of modeling causal independence for system model compilation with OBDDs.
AI Commun.
Gianluca Torta, Pietro Torasso
2007 J jnl
On-line monitoring of plan execution: A distributed approach.
Knowl. Based Syst.
Roberto Micalizio, Pietro Torasso
2007 — conf
Plan Diagnosis and Agent Diagnosis in Multi-agent Systems.
AI*IA
Roberto Micalizio, Pietro Torasso
2007 — conf
Recovery from Plan Failures in Partially Observable Environments.
SGAI Conf.
Roberto Micalizio, Pietro Torasso
2007 — conf
Team Cooperation for Plan Recovery in Multi-agent Systems.
MATES
Roberto Micalizio, Pietro Torasso
2006 J jnl
Automated Diagnosis.
Intelligenza Artificiale
Luca Console, Pietro Torasso
2006 J jnl
Intelligent Supervision of Plan Execution in Multi-Agent Systems.
Int. Trans. Syst. Sci. Appl.
Roberto Micalizio, Pietro Torasso, Gianluca Torta
2006 — conf
Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis.
Reasoning, Action and Interaction in AI Theories and Systems
Pietro Torasso, Gianluca Torta
2006 J jnl
On the use of OBDDs in model-based diagnosis: An approach based on the partition of the model.
Knowl. Based Syst.
Gianluca Torta, Pietro Torasso
2006 — conf
On-Line Monitoring of Plan Execution: a Distributed Approach.
SGAI Conf.
Roberto Micalizio, Pietro Torasso
2006 J jnl
On-line monitoring and diagnosis of a team of service robots: A model-based approach.
AI Commun.
Roberto Micalizio, Pietro Torasso, Gianluca Torta
2006 — conf
Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems.
Artificial Intelligence and Applications
Roberto Micalizio, Pietro Torasso, Gianluca Torta
2005 Misc conf
Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis.
KI
Pietro Torasso, Gianluca Torta
2005 J jnl
Compact Diagnoses Representation in Diagnostic Problem Solving.
Comput. Intell.
Pietro Torasso, Gianluca Torta
2005 — conf
On the Use of OBDDs in Model Based Diagnosis: an Approach Based on the Partition of the Model.
SGAI Conf.
Gianluca Torta, Pietro Torasso
2004 J jnl
Multi-modal diagnosis combining case-based and model-based reasoning: a formal and experimental analysis.
Artif. Intell.
Luigi Portinale, Diego Magro, Pietro Torasso
2004 A conf
On-Line Monitoring and Diagnosis of Multi-Agent Systems: A Model Based Approach.
ECAI
Roberto Micalizio, Pietro Torasso, Gianluca Torta
2004 — ch.
User Modeling and Recommendation Techniques for Personalized Electronic Program Guides.
Personalized Digital Television
Liliana Ardissono, Cristina Gena, Pietro Torasso, Fabio Bellifemine, Angelo Difino, Barbara Negro
2003 A* conf
Automatic Abstraction in Component-Based Diagnosis Driven by System Observability.
IJCAI
Gianluca Torta, Pietro Torasso
2003 — conf
Automatically Decomposing Configuration Problems.
AI*IA
Luca Anselma, Diego Magro, Pietro Torasso
2003 Misc conf
Computing Minimum-Cardinality Diagnoses Using OBDDs.
KI
Pietro Torasso, Gianluca Torta
2003 J jnl
Decomposition strategies for configuration problems.
Artif. Intell. Eng. Des. Anal. Manuf.
Diego Magro, Pietro Torasso
2003 J jnl
Intrigue: Personalized Recommendation of Tourist Attractions for Desktop and Hand Held Devices.
Appl. Artif. Intell.
Liliana Ardissono, Anna Goy, Giovanna Petrone, Marino Segnan, Pietro Torasso
2003 — conf
Personalized Recommendation of TV Programs.
AI*IA
Liliana Ardissono, Cristina Gena, Pietro Torasso, Fabio Bellifemine, A. Chiarotto, Angelo Difino, Barbara Negro
2002 Misc conf
Decomposing and Distributing Configuration Problems.
AIMSA
Diego Magro, Pietro Torasso
2002 — conf
Ubiquitous User Assistance in a Tourist Information Server.
AH
Liliana Ardissono, Anna Goy, Giovanna Petrone, Marino Segnan, Pietro Torasso
2001 — conf
Agent Technologies for the Development of Adaptive Web Stores.
AgentLink
Liliana Ardissono, Anna Goy, Giovanna Petrone, Marino Segnan, Luca Console, Leonardo Lesmo, Carla Simone, Pietro Torasso
2001 J jnl
Case-Base Maintenance in a Multimodal Reasoning System.
Comput. Intell.
Luigi Portinale, Pietro Torasso
2001 J jnl
Multiple representations and multi-modal reasoning in medical diagnostic systems.
Artif. Intell. Medicine
Pietro Torasso
2001 — conf
Supporting Product Configuration in a Virtual Store.
AI*IA
Diego Magro, Pietro Torasso
2001 — conf
Tailoring the Recommendation of Tourist Information to Heterogeneous User Groups.
OHS-7/SC-3/AH-3
Liliana Ardissono, Anna Goy, Giovanna Petrone, Marino Segnan, Pietro Torasso
2000 — conf
Automatic Case Base Management in a Multi-modal Reasoning System.
EWCBR
Luigi Portinale, Pietro Torasso
2000 A conf
Dynamic User Modeling in a Web Store Shell.
ECAI
Liliana Ardissono, Pietro Torasso
1999 J jnl
A Configurable System for the Construction of Adaptive Virtual Stores.
World Wide Web
Liliana Ardissono, Anna Goy, Rosa Meo, Giovanna Petrone, Luca Console, Leonardo Lesmo, Carla Simone, Pietro Torasso
1999 A* conf
Diagnosis as a Variable Assignment Problem: A Case Study in a Space Robot Fault Diagnosis.
IJCAI
Luigi Portinale, Pietro Torasso
1999 C conf
Speed-Up, Quality and Competence in Multi-modal Case-Based Reasoning.
ICCBR
Luigi Portinale, Pietro Torasso, Paolo Tavano
1998 A conf
Dynamic Case Memory Management.
ECAI
Luigi Portinale, Pietro Torasso, Paolo Tavano
1997 — conf
A Comparative Analysis of Horn Models and Bayesian Networks for Diagnosis.
AI*IA
Luigi Portinale, Pietro Torasso
1997 C conf
A Utility-Based Approach to Learning in a Mixed Case-Base and Model-Based Reasoning Architecture.
ICCBR
Maarten van Someren, Jerzy Surma, Pietro Torasso
1997 C conf
Selecting Most Adaptable Diagnostic Solutions through Pivoting-Based Retrieval.
ICCBR
Luigi Portinale, Pietro Torasso, Diego Magro
1996 A conf
On the Usefulness of Re-using Diagnostic Solutions.
ECAI
Luigi Portinale, Pietro Torasso
1995 C conf
ADAPtER: An Integrated Diagnostic System Combining Case-Based and Abductive Reasoning.
ICCBR
Luigi Portinale, Pietro Torasso
1995 J jnl
On the Role of Abduction.
ACM Comput. Surv.
Pietro Torasso, Luca Console, Luigi Portinale, Daniele Theseider Dupré
1995 — conf
Temporal Prediction: Dealing with Change and Interactions within a Causal Framework.
AI*IA
Marco Gazza, Pietro Torasso
1995 J jnl
Time, Action-Types, Causation: An Integrated Analysis.
Comput. Intell.
Paolo Terenziani, Pietro Torasso
1994 J jnl
Diagnosing Tim-Varying Misbehavior: An Approach Based on Model Decomposition.
Ann. Math. Artif. Intell.
Luca Console, Luigi Portinale, Daniele Theseider Dupré, Pietro Torasso
1994 A* ed.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994.
KR
Jon Doyle, Erik Sandewall, Pietro Torasso
1994 J jnl
Towards an integration of time and causation in a hybrid knowledge representation formalism.
Int. J. Intell. Syst.
Paolo Terenziani, Pietro Torasso
1993 — ed.
Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA'93, Torino, Italy, October 26-28, 1993, Proceedings
AI*IA
Pietro Torasso
1993 J jnl
Temporal constraint satisfaction on causal models.
Inf. Sci.
Luca Console, Pietro Torasso
1993 — conf
Using Case-Based Reasoning to Focus Model-Based Diagnostic Problem Solving.
EWCBR
Luigi Portinale, Pietro Torasso, Carlo Ortalda, Antonio Giardino
1992 J jnl
An approach to the compilation of operational knowledge from casual models.
IEEE Trans. Syst. Man Cybern.
Luca Console, Pietro Torasso
1992 A conf
Diagnostic Reasoning Across Different Time Points.
ECAI
Luca Console, Luigi Portinale, Daniele Theseider Dupré, Pietro Torasso
1991 J jnl
A spectrum of logical definitions of model-based diagnosis.
Comput. Intell.
Luca Console, Pietro Torasso
1991 B conf
CAP: A Critiquing Expert System for Medical Education.
AIME
Luca Console, R. Conto, Gianpaolo Molino, Vittorio Ripa di Meana, Pietro Torasso
1991 J jnl
Editorial.
Artif. Intell. Medicine
Pietro Torasso
1991 J jnl
On the Relationship between Abduction and Deduction.
J. Log. Comput.
Luca Console, Daniele Theseider Dupré, Pietro Torasso
1991 J jnl
On the co-operation between abductive and temporal reasoning in medical diagnosis.
Artif. Intell. Medicine
Luca Console, Pietro Torasso
1991 — conf
Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis.
AI*IA
Luca Console, Daniele Theseider Dupré, Pietro Torasso
1990 J jnl
A report on medical expert systems research in Italy.
Artif. Intell. Medicine
Pietro Torasso
1990 C conf
Dealing With Uncertainty in a Distributed Expert System Architecture.
IPMU
Luca Console, Claudio Borlo, Alberto Casale, Pietro Torasso
1990 A conf
Integrating Models of the Correct Behavior into Abductive Diagnosis.
ECAI
Luca Console, Pietro Torasso
1989 A* conf
A Theory of Diagnosis for Incomplete Causal Models.
IJCAI
Luca Console, Daniele Theseider Dupré, Pietro Torasso
1989 J jnl
Approximate reasoning and prototypical knowledge.
Int. J. Approx. Reason.
Pietro Torasso, Luca Console
1989 J jnl
Dealing with uncertain knowledge in medical decision-making: A case study in hepatology.
Artif. Intell. Medicine
Leonardo Lesmo, Lorenza Saitta, Pietro Torasso
1989 J jnl
Expert systems architectures: L. Johnson and E.T. Keravnou: Kogan Page Ltd., London, 1988, £ 25.00.
Artif. Intell. Medicine
Pietro Torasso
1989 B conf
Simulating Generic Situations on Causal Models.
AIME
Luca Console, Gianpaolo Molino, Roberta Pavia, Marco Signorelli, Pietro Torasso
1988 C conf
A Logical Approach to Deal with Incomplete Causal Models in Diagnostic Problem Solving.
IPMU
Luca Console, Pietro Torasso
1988 C conf
Dealing with Time in Diagnostic Reasoning Based on Causal Models.
ISMIS
Luca Console, Anna Furno, Pietro Torasso
1986 B conf
A Logical Formalism for the Representation of Determiners.
COLING
Barbara Di Eugenio, Leonardo Lesmo, Paolo Pogliano, Pietro Torasso, Francesco Urbano
1985 A* conf
Analysis of Conjunctions in a Rule-Based Parser.
ACL
Leonardo Lesmo, Pietro Torasso
1985 J jnl
Evidence Combination in Expert Systems.
Int. J. Man Mach. Stud.
Leonardo Lesmo, Lorenza Saitta, Pietro Torasso
1985 J jnl
Semantic and pragmatic processing in FIDO: A flexible interface for data-base operations.
Inf. Syst.
Leonardo Lesmo, Pietro Torasso, Laurent Siklóssy
1985 A* conf
Weighted Interaction of Syntax and Semantics in Natural Language Analysis.
IJCAI
Leonardo Lesmo, Pietro Torasso
1984 B conf
Interpreting Syntactically Ill-Formed Sentences.
COLING
Leonardo Lesmo, Pietro Torasso
1983 A conf
A Flexible Natural Language Parser Based On A Two-Level Representation Of Syntax.
EACL
Leonardo Lesmo, Pietro Torasso
1982 J jnl
Natural language queries: an interpreter for the Italian Language: Unversita di Torino, Italy.
SIGART Newsl.
Leonardo Lesmo, Pietro Torasso
1981 A* conf
A Deterministic Analyzer for the Interpretation of Natural Language Commands.
IJCAI
Leonardo Lesmo, Daniela Magnani, Pietro Torasso
1979 Misc conf
Syntax and semantics in a word-sequence recognition system.
ICASSP
Silvano Rivoira, Pietro Torasso
1978 J jnl
An isolated-word recognizer based on grammar-controlled classification processes.
Pattern Recognit.
Silvano Rivoira, Pietro Torasso
1978 Misc conf
Performance analysis of syntactic-recognizer of isolated words.
ICASSP
Silvano Rivoira, Pietro Torasso
1976 Misc conf
Automatic generation of pitch contour for speech synthesis.
ICASSP
Marco Mezzalama, Enrico Rusconi, Pietro Torasso
1976 Misc conf
Lexical classification in a speech understanding system using fuzzy relations.
ICASSP
Renato De Mori, Pietro Torasso