×

Found 86 Documents (Results 1–86)

100
MathJax

Model-based diagnosis by the artificial intelligence community: alternatives to GDE and diagnosis of dynamic systems. (English) Zbl 1425.93099

Escobet, Teresa (ed.) et al., Quantitative and qualitative approaches of dynamic systems. Cham: Springer. 125-152 (2019).
MSC:  93B40 93A30
PDF BibTeX XML Cite
Full Text: DOI

Model-based diagnosis by the artificial intelligence community: the DX approach. (English) Zbl 1425.93094

Escobet, Teresa (ed.) et al., Quantitative and qualitative approaches of dynamic systems. Cham: Springer. 97-124 (2019).
MSC:  93B40 93A30 68T20
PDF BibTeX XML Cite
Full Text: DOI

Towards knowledge compilation for automated diagnosis: a qualitative, model-based approach with constraint programming. (English) Zbl 1384.90035

Kowalczuk, Zdzisław (ed.), Advanced and intelligent computations in diagnosis and control. Selected papers based on the presentations at the 12th international conference on diagnostics of processes and systems, DPS, Ustka, Poland, September 6–9, 2015. Cham: Springer (ISBN 978-3-319-23179-2/pbk; 978-3-319-23180-8/ebook). Advances in Intelligent Systems and Computing 386, 355-367 (2016).
MSC:  90B25
PDF BibTeX XML Cite
Full Text: DOI

Diagnosing time-dependent incipient faults. (English) Zbl 1417.65139

da Silva Neto, Antônio José (ed.) et al., Mathematical modeling and computational intelligence in engineering applications. Cham: Springer. 47-62 (2016).
MSC:  65L09 93B30
PDF BibTeX XML Cite
Full Text: DOI

ECAI 2008. 18th European conference on artificial intelligence. Proceedings of the conference, July 21–25, 2008, Patras, Greece, including prestigious applications of intelligent systems (PAIS 2008). Proceedings. (English) Zbl 1157.68417

Frontiers in Artificial Intelligence and Applications 178. Amsterdam: IOS Press (ISBN 978-1-58603-891-5/pbk). xxviii, 941 p. (2008).
PDF BibTeX XML Cite

Simplifying diagnosis using LSAT: A propositional approach to reasoning from first principles. (English) Zbl 1133.68426

Barták, Roman (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems.; Second international conference, CPAIOR 2005, Prague, Czech Republic, May 31 – June 1, 2005. Refereed proceedings. Berlin: Springer (ISBN 978-3-540-26152-0/pbk). Lecture Notes in Computer Science 3524, 49-63 (2005).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI

Debugging VHDL designs using temporal process instances. (English) Zbl 1039.68884

Chung, Paul W. H. (ed.) et al., Developments in applied artificial intelligence. 16th international conference on industrial and engineering applications of artificial intelligence and expert systems, IEA/AIE 2003, Loughborough, UK, June 23–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40455-4/pbk). Lect. Notes Comput. Sci. 2718, 402-415 (2003).
MSC:  68U99 68M15 68N99
PDF BibTeX XML Cite
Full Text: Link

The consistency-based approach to automated diagnosis of devices. (English) Zbl 0962.68156

Brewka, Gerhard (ed.), Principles of knowledge representation. Stanford, CA: CSLI Publications. Studies in Logic, Language and Information. 267-311 (1996).
MSC:  68T20
PDF BibTeX XML Cite

CommonKADS library for expertise modelling. Reusable problem solving components. (English) Zbl 0876.68100

Frontiers in Artificial Intelligence and Applications. 21. Amsterdam: IOS Press. Tokyo: Ohmsha. xii, 359 p. (1994).
PDF BibTeX XML Cite

Diagnosis temporal misbehavior. (English) Zbl 0751.68064

Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 1116-1122 (1991).
Reviewer: N.Curteanu (Iaşi)
MSC:  68T20 68T35
PDF BibTeX XML Cite

When oscillators stop oscillating. (English) Zbl 0749.68083

Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 1109-1115 (1991).
Reviewer: N.Curteanu (Iaşi)
MSC:  68T20 68T35
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software