×

Found 20 Documents (Results 1–20)

Dynamical statement networks. (English) Zbl 1302.90056

Awrejcewicz, Jan (ed.), Applied non-linear dynamical systems. Selected papers based on the presentations at the 12th international conference “Dynamical systems-theory and applications”, DSTA, Łódź, Poland, December 2–5, 2013. Cham: Springer (ISBN 978-3-319-08265-3/hbk; 978-3-319-08266-0/ebook). Springer Proceedings in Mathematics & Statistics 93, 351-361 (2014).
MSC:  90B25 90B10
PDFBibTeX XMLCite
Full Text: DOI

A knowledge based system for the maintenance of chemical plants and its implementation using OPTRANS. (English) Zbl 0981.68681

Monostori, László (ed.) et al., Engineering of intelligent systems. 14th international conference on industrial and engineering applications of artificial intelligence and expert systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2070, 777-790 (2001).
MSC:  68U99
PDFBibTeX XMLCite
Full Text: Link

A logically complete reasoning maintenance system based on a logical contraint solver. (English) Zbl 0747.68072

Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 295-299 (1991).
Reviewer: N.Curteanu (Iaşi)
MSC:  68T20 68T27 68T35
PDFBibTeX XMLCite

Non-monotonic reasoning. 2nd international workshop, Grassau, FRG, June 15-15, 1988. Proceedings. (English) Zbl 0668.68006

Lecture Notes in Computer Science, 346; Lecture Notes in Artificial Intelligence. Berlin etc.: Springer-Verlag. XIV, 237 p.; DM 40.50 (1989).
Reviewer: J.Šefránek
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software