Haldimann, Jonas; Beierle, Christoph 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). MSC: 68P15 68T27 68T35 68U35 PDFBibTeX XMLCite \textit{J. Haldimann} and \textit{C. Beierle}, Lect. Notes Comput. Sci. 13388, 206--225 (2022; Zbl 07630647) Full Text: DOI
Beierle, Christoph; Haldimann, Jonas 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). Reviewer: Neli Zlatareva (New Britain) MSC: 68T27 68T30 68T35 PDFBibTeX XMLCite \textit{C. Beierle} and \textit{J. Haldimann}, Lect. Notes Comput. Sci. 12012, 22--41 (2020; Zbl 1456.68184) Full Text: DOI
Beierle, Christoph; Kutsch, Steven; Sauerwald, Kai Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. (English) Zbl 1452.68179 Ann. Math. Artif. Intell. 87, No. 1-2, 5-41 (2019). MSC: 68T27 68T30 68T35 68T37 PDFBibTeX XMLCite \textit{C. Beierle} et al., Ann. Math. Artif. Intell. 87, No. 1--2, 5--41 (2019; Zbl 1452.68179) Full Text: DOI
Beierle, Christoph; Falke, Tobias; Kutsch, Steven; Kern-Isberner, Gabriele System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases. (English) Zbl 1419.68107 Int. J. Approx. Reasoning 90, 120-143 (2017). MSC: 68T27 68T30 68T35 PDFBibTeX XMLCite \textit{C. Beierle} et al., Int. J. Approx. Reasoning 90, 120--143 (2017; Zbl 1419.68107) Full Text: DOI
Beierle, Christoph (ed.); Meghini, Carlo (ed.) 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). MSC: 68-06 68P15 68T35 68U35 00B25 PDFBibTeX XMLCite \textit{C. Beierle} (ed.) and \textit{C. Meghini} (ed.), Foundations of information and knowledge systems. 8th international symposium, FoIKS 2014, Bordeaux, France, March 3--7, 2014. Proceedings. Berlin: Springer (2014; Zbl 1283.68028) Full Text: DOI
Beierle, Christoph; Kern-Isberner, Gabriele 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 \textit{C. Beierle} and \textit{G. Kern-Isberner}, Me\-thoden wissensbasierter Systeme. Grundlagen, Algorithmen, Anwendungen. 3rd expanded ed. Wiesbaden: Vieweg (2006; Zbl 1097.68126)
Beierle, Christoph; Kern-Isberner, Gabriele 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). MSC: 68T27 03B48 68T30 68T35 68T37 PDFBibTeX XMLCite \textit{C. Beierle} and \textit{G. Kern-Isberner}, Lect. Notes Comput. Sci. 2605, 99--119 (2005; Zbl 1098.68123) Full Text: DOI
Beierle, Christoph; Kern-Isberner, Gabriele 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). Reviewer: Christian Posthoff (St. Augustine) MSC: 68T35 68-01 68T30 PDFBibTeX XMLCite \textit{C. Beierle} and \textit{G. Kern-Isberner}, Methoden wissensbasierter Systeme. Grundlagen, Algorithmen, Anwendungen. 2. überarbeitete und erweiterte Auflage. Wiesbaden: Vieweg (2003; Zbl 1054.68145)
Beierle, Christoph; Kern-Isberner, Gabriele Methods of knowledge-based systems. Foundations, algorithms, applications. (Methoden wissensbasierter Systeme. Grundlagen, Algorithmen, Anwendungen.) (German) Zbl 0965.68099 Braunschweig: Vieweg. xiv, 408 S. (2000). Reviewer: Jana Koehler (Ebikon/Lucerne) MSC: 68T35 68T15 68-01 PDFBibTeX XMLCite \textit{C. Beierle} and \textit{G. Kern-Isberner}, Methoden wissensbasierter Systeme. Grundlagen, Algorithmen, Anwendungen. Braunschweig: Vieweg (2000; Zbl 0965.68099)