Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Trends in Artificial Intelligence: 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991. Proceedings > Towards the integration of different knowledge sources in model-based diagnosis
Trends in Artificial Intelligence: 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991. Proceedings |
Edoardo Ardizzone; Salvatore Gaglio; Filippo Sorbello
Springer Berlin Heidelberg
Trends in Artificial Intelligence: 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991. Proceedings
Towards the integration of different knowledge sources in model-based diagnosis
Authors

Luca Console; Daniele Theseider Dupre; Pietro Torasso

ARI Id

1674219855612_3507215

Access

Not Available Free

Pages

177-186

DOI

10.1007/3-540-54712-6_230

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-54712-6_230

Table of Contents of Book
Showing 1 to 20 of 55 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Knowledge-based media coordination in intelligent user interfaces
Wolfgang Wahlster; Elisabeth André; Winfried Graf; Thomas Rist
1-16
Some notes on cumulative reasoning
G. Amati
17-27
A family of three-valued autoepistemic logics
Piero A. Bonatti
28-37
Viewpoints subsume beliefs, truth and situations
Maria Simi
38-47
Automating meta-theory creation and system extension
David Basin; Fausto Giunchiglia; Paolo Traverso
48-57
Implementing exceptions in inheritance by concept transforming actions
Bertram Fronhöfer
58-67
Approximate entailment
Marco Cadoli; Marco Schaerf
68-77
Negation as failure and constraints through abduction and defaults
L. Giordano; A. Martelli; M. L. Sapino
78-87
A hybrid system with datalog and concept languages
Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Andrea Schaerf
88-97
Optimal search for conjunctive goals using constraints
Jeremy Ellman; Giancarlo Mezzanatto
98-107
FSS-WASTL interactive knowledge acquisition for a semantic lexicon
Roman M. Jansen-Winkeln; Alassane Ndiaye; Norbert Reithinger
108-116
Hybrid encoding: Constraints on addressing structure
Jon M. Slack
117-126
Uncertainty and cyclic dependencies a proposal and a network implementation
Andrea Bonarini; Ernesto Cappelletti; Antonio Corrao
127-136
Abductive reasoning in a multi-theory framework
Antonio Brogi; Evelina Lamma; Paolo Mancarella; Paola Mello
138-146
The abstract interpretation of hybrid rule/frame-based systems
Rick Evertsz; Enrico Motta
147-156
Taxonomic reasoning in configuration tasks
Clara Bagnasco; Paola Petrin; Luca Spampinato
157-166
Representation and use of teleological knowledge in the multi-modeling approach
Giorgio Brajnik; Luca Chittaro; Giovanni Guida; Carlo Tasso; Elio Toppano
167-176
Towards the integration of different knowledge sources in model-based diagnosis
Luca Console; Daniele Theseider Dupre; Pietro Torasso
177-186
Integrating statistics, numerical analysis and dependency-recording in model-based diagnosis
Stefano Cermignani; Giorgio Tornielli
187-196
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 55 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings