×

Found 9 Documents (Results 1–9)

Properties of system W and its relationships to other inductive inference operators. (English) Zbl 07630647

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 206-225 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Normal forms of conditional knowledge bases respecting entailments and renamings. (English) Zbl 1456.68184

Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 22-41 (2020).
MSC:  68T27 68T30 68T35
PDFBibTeX XMLCite
Full Text: DOI

Foundations of information and knowledge systems. 8th international symposium, FoIKS 2014, Bordeaux, France, March 3–7, 2014. Proceedings. (English) Zbl 1283.68028

Lecture Notes in Computer Science 8367. Berlin: Springer (ISBN 978-3-319-04938-0/pbk). xviii, 433 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Methods of knowledge-based systems. Foundations, algorithms, applications. 3rd expanded ed. (Methoden wissensbasierter Systeme. Grundlagen, Algorithmen, Anwendungen.) (German) Zbl 1097.68126

Wiesbaden: Vieweg (ISBN 3-8348-0010-4/pbk). xvi, 490 p. (2006).
MSC:  68T35 68-01
PDFBibTeX XMLCite

Footprints of conditionals. (English) Zbl 1098.68123

Hutter, Dieter (ed.) et al., Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-25051-4/pbk). Lecture Notes in Computer Science 2605. Lecture Notes in Artificial Intelligence, 99-119 (2005).
PDFBibTeX XMLCite
Full Text: DOI

Methods of knowledge-based systems. Foundations, algorithms, applications. 2. überarbeitete und erweiterte Auflage. (Methoden wissensbasierter Systeme. Grundlagen, Algorithmen, Anwendungen.) (German) Zbl 1054.68145

Computational Intelligence. Wiesbaden: Vieweg (ISBN 3-528-15723-2/pbk). xiv, 458 p. (2003).
MSC:  68T35 68-01 68T30
PDFBibTeX XMLCite

Methods of knowledge-based systems. Foundations, algorithms, applications. (Methoden wissensbasierter Systeme. Grundlagen, Algorithmen, Anwendungen.) (German) Zbl 0965.68099

Braunschweig: Vieweg. xiv, 408 S. (2000).
MSC:  68T35 68T15 68-01
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software