{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T16:40:10Z","timestamp":1748796010428,"version":"3.41.0"},"publisher-location":"Cham","reference-count":50,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319300238"},{"type":"electronic","value":"9783319300245"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30024-5_5","type":"book-chapter","created":{"date-parts":[[2016,3,3]],"date-time":"2016-03-03T03:53:01Z","timestamp":1456977181000},"page":"83-94","source":"Crossref","is-referenced-by-count":1,"title":["Systems and Implementations for Solving Reasoning Problems in Conditional Logics"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,4]]},"reference":[{"key":"5_CR1","series-title":"Synthese Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-7622-2","volume-title":"The Logic of Conditionals: An Application of Probability to Deductive Logic","author":"EW Adams","year":"1975","unstructured":"Adams, E.W.: The Logic of Conditionals: An Application of Probability to Deductive Logic. Synthese Library. Springer Science+Business Media, Dordrecht (1975)"},{"key":"5_CR2","first-page":"65","volume-title":"Lecture Notes in Computer Science","author":"Christoph Beierle","year":"2016","unstructured":"Beierle, C., Eichhorn, C., Kern-Isberner, G.: Skeptical inference based on c-representations and its characterization as a constraint satisfaction problem. In: Gyssens, M., Simari, G. (eds.) FoIKS 2016. LNCS, vol. 9161, pp. 65\u201382. Springer, Switzerland (2016)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-39091-3_5","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"C Beierle","year":"2013","unstructured":"Beierle, C., Finthammer, M., Potyka, N., Varghese, J., Kern-Isberner, G.: A case study on the application of probabilistic conditional modelling and reasoning to clinical patient data in neurosurgery. In: van der Gaag, L.C. (ed.) ECSQARU 2013. LNCS, vol. 7958, pp. 49\u201360. Springer, Heidelberg (2013)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/3-540-36498-6_10","volume-title":"Abstract State Machines 2003. Advances in Theory and Practice","author":"C Beierle","year":"2003","unstructured":"Beierle, C., Kern-Isberner, G.: Modelling conditional knowledge discovery and belief revision by abstract state machines. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 186\u2013203. Springer, Heidelberg (2003)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-540-87603-8_9","volume-title":"Abstract State Machines, B and Z","author":"C Beierle","year":"2008","unstructured":"Beierle, C., Kern-Isberner, G.: A verified AsmL implementation of belief revision. In: B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 98\u2013111. Springer, Heidelberg (2008)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-71070-7_12","volume-title":"Automated Reasoning","author":"C Beierle","year":"2008","unstructured":"Beierle, C., Kern-Isberner, G., Koch, N.: A high-level implementation of a system for automated reasoning with default rules (system description). In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 147\u2013153. Springer, Heidelberg (2008)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-642-41524-1_10","volume-title":"Applications of Declarative Programming and Knowledge Management","author":"C Beierle","year":"2013","unstructured":"Beierle, C., Kern-Isberner, G., S\u00f6dler, K.: A declarative approach for computing ordinal conditional functions using constraint logic programming. In: Tompits, H., Abreu, S., Oetsch, J., P\u00fchrer, J., Seipel, D., Umeda, M., Wolf, A. (eds.) INAP\/WLP 2011. LNCS, vol. 7773, pp. 168\u2013185. Springer, Heidelberg (2013)"},{"issue":"1\u20132","key":"5_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10472-013-9369-3","volume":"73","author":"C Beierle","year":"2015","unstructured":"Beierle, C., Kr\u00e4mer, A.: Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics. Ann. Math. Artif. Intell. 73(1\u20132), 5\u201345 (2015)","journal-title":"Ann. Math. Artif. Intell."},{"key":"5_CR9","unstructured":"Beierle, C., Kuche, S., Finthammer, M., Kern-Isberner, G.: A software system for the computation, visualization, and comparison of conditional structures for relational probabilistic knowledge bases. In: Proceeding of the Twenty-Eigth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2015), pp. 558\u2013563. AAAI Press, Menlo Park (2015)"},{"issue":"2","key":"5_CR10","doi-asserted-by":"publisher","first-page":"852","DOI":"10.3390\/e17020852","volume":"17","author":"C Beierle","year":"2015","unstructured":"Beierle, C., Finthammer, M., Kern-Isberner, G.: Relational probabilistic conditionals and their instantiations under maximum entropy semantics for first-order knowledge bases. Entropy 17(2), 852\u2013865 (2015)","journal-title":"Entropy"},{"key":"5_CR11","unstructured":"Benferhat, S., Dubois, D., Prade, H.: Representing default rules in possibilistic logic. In: Proceedings 3th International Conference on Principles of Knowledge Representation and Reasoning KR 1992, pp. 673\u2013684 (1992)"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0004-3702(98)00088-5","volume":"105","author":"J Delgrande","year":"1998","unstructured":"Delgrande, J.: On first-order conditional logics. Artif. Intell. 105, 105\u2013137 (1998)","journal-title":"Artif. Intell."},{"key":"5_CR13","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1016\/B978-1-4832-1452-8.50112-3","volume-title":"Principles of Knowledge Representation and Reasoning","author":"Didier Dubois","year":"1994","unstructured":"Dubois, D., Prade, H.: Conditional objects as nonmonotonic consequence relations: main results. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR 1994), pp. 170\u2013177. Morgan Kaufmann Publishers, San Francisco (1994)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-662-43505-2_3","volume-title":"Springer Handbook of Computational Intelligence","author":"D Dubois","year":"2015","unstructured":"Dubois, D., Prade, H.: Possibility Theory and Its Applications: Where Do We Stand? In: Kacprzyk, J., Pedrycz, W. (eds.) Springer Handbook of Computational Intelligence, pp. 31\u201360. Springer, Heidelberg (2015)"},{"key":"5_CR15","unstructured":"Falke, T.: Computation of ranking functions for knowledge bases with relational conditionals. M.Sc. Thesis, Dept. of Computer Science, University of Hagen, Germany (2015)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-33347-7_5","volume-title":"KI 2012: Advances in Artificial Intelligence","author":"M Finthammer","year":"2012","unstructured":"Finthammer, M., Beierle, C.: Using equivalences of worlds for aggregation semantics of relational conditionals. In: Glimm, B., Kr\u00fcger, A. (eds.) KI 2012. LNCS, vol. 7526, pp. 49\u201360. Springer, Heidelberg (2012)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/978-3-319-11508-5_14","volume-title":"Scalable Uncertainty Management","author":"M Finthammer","year":"2014","unstructured":"Finthammer, M., Beierle, C.: A two-level approach to maximum entropy model computation for relational probabilistic logic based on weighted conditional impacts. In: Straccia, U., Cal\u00ec, A. (eds.) SUM 2014. LNCS, vol. 8720, pp. 162\u2013175. Springer, Heidelberg (2014)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-319-24489-1_6","volume-title":"KI 2015: Advances in Artificial Intelligence","author":"M Finthammer","year":"2015","unstructured":"Finthammer, M., Beierle, C.: Towards a more efficient computation of weighted conditional impacts for relational probabilistic knowledge bases under maximum entropy semantics. In: H\u00f6lldobler, S., Kr\u00f6tzsch, M., Pe\u00f1aloza, R., Rudolph, S. (eds.) KI 2015. LNCS, vol. 9324, pp. 72\u201386. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-24489-1_6"},{"key":"5_CR19","unstructured":"Finthammer, M., Beierle, C., Berger, B., Kern-Isberner, G.: Probabilistic reasoning at optimum entropy with the MEcore system. In: Lane, H.C., Guesgen, H.W. (eds.) Proceedings 22nd International FLAIRS Conference, FLAIRS 2009, pp. 535\u2013540. AAAI Press, Menlo Park (2009)"},{"issue":"5","key":"5_CR20","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1093\/jigpal\/jzs009","volume":"20","author":"M Finthammer","year":"2012","unstructured":"Finthammer, M., Thimm, M.: An integrated development environment for probabilistic relational reasoning. Logic J. IGPL 20(5), 831\u2013871 (2012)","journal-title":"Logic J. IGPL"},{"issue":"5","key":"5_CR21","doi-asserted-by":"publisher","first-page":"796","DOI":"10.1093\/jigpal\/jzs008","volume":"20","author":"J Fisseler","year":"2012","unstructured":"Fisseler, J.: First-order probabilistic conditional logic and maximum entropy. Logic J. IGPL 20(5), 796\u2013830 (2012)","journal-title":"Logic J. IGPL"},{"key":"5_CR22","unstructured":"Fisseler, J., Kern-Isberner, G., Beierle, C.: Learning uncertain rules with CondorCKD. In: Proceedings 20th International FLAIRS Conference, FLAIRS 2007. AAAI Press, Menlo Park (2007)"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-540-69611-7_5","volume-title":"Practical Aspects of Declarative Languages","author":"J Fisseler","year":"2007","unstructured":"Fisseler, J., Kern-Isberner, G., Beierle, C., Koch, A., M\u00fcller, C.: Algebraic knowledge discovery using haskell. In: Hanus, M. (ed.) PADL 2007. LNCS, vol. 4354, pp. 80\u201393. Springer, Heidelberg (2007). http:\/\/dx.doi.org\/10.1007\/978-3-540-69611-7_5"},{"volume-title":"Introduction to Statistical Relational Learning","year":"2007","key":"5_CR24","unstructured":"Getoor, L., Taskar, B. (eds.): Introduction to Statistical Relational Learning. MIT Press, Cambridge (2007)"},{"issue":"1\u20132","key":"5_CR25","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(95)00090-9","volume":"84","author":"M Goldszmidt","year":"1996","unstructured":"Goldszmidt, M., Pearl, J.: Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artif. Intell. 84(1\u20132), 57\u2013112 (1996)","journal-title":"Artif. Intell."},{"issue":"3","key":"5_CR26","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1016\/j.tcs.2005.06.017","volume":"343","author":"Y Gurevich","year":"2005","unstructured":"Gurevich, Y., Rossman, B., Schulte, W.: Semantic essence of AsmL. Theoret. Comput. Sci. 343(3), 370\u2013412 (2005)","journal-title":"Theoret. Comput. Sci."},{"key":"5_CR27","volume-title":"Reasoning About Uncertainty","author":"JY Halpern","year":"2005","unstructured":"Halpern, J.Y.: Reasoning About Uncertainty. MIT Press, Cambridge (2005)"},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S0004-3702(97)00068-4","volume":"98","author":"G Kern-Isberner","year":"1998","unstructured":"Kern-Isberner, G.: Characterizing the principle of minimum cross-entropy within a conditional-logical framework. Artif. Intell. 98, 169\u2013208 (1998)","journal-title":"Artif. Intell."},{"key":"5_CR29","unstructured":"Kern-Isberner, G.: Solving the inverse representation problem. In: Proceedings 14th European Conference on Artificial Intelligence. ECAI 2000, pp. 581\u2013585. IOS Press, Berlin (2000)"},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44600-1","volume-title":"Conditionals in Nonmonotonic Reasoning and Belief Revision","author":"G Kern-Isberner","year":"2001","unstructured":"Kern-Isberner, G.: Conditionals in Nonmonotonic Reasoning and Belief Revision. LNCS (LNAI), vol. 2087. Springer, Heidelberg (2001)"},{"issue":"1\u20132","key":"5_CR31","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1023\/A:1026110129951","volume":"40","author":"G Kern-Isberner","year":"2004","unstructured":"Kern-Isberner, G.: A thorough axiomatization of a principle of conditional preservation in belief revision. Annals Math. Artif. Intell. 40(1\u20132), 127\u2013164 (2004)","journal-title":"Annals Math. Artif. Intell."},{"key":"5_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/978-3-319-14726-0_6","volume-title":"Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation","author":"G Kern-Isberner","year":"2015","unstructured":"Kern-Isberner, G., Beierle, C.: A system Z-like approach for first-order default reasoning. In: Eiter, T., Strass, H., Truszczy\u0144ski, M., Woltran, S. (eds.) Advances in Knowledge Representation. LNCS, vol. 9060, pp. 81\u201395. Springer, Heidelberg (2015)"},{"key":"5_CR33","first-page":"31","volume":"6","author":"G Kern-Isberner","year":"2012","unstructured":"Kern-Isberner, G., Beierle, C., Finthammer, M., Thimm, M.: Comparing and evaluating approaches to probabilistic reasoning: theory, implementation, and applications. Trans. Large-Scale Data Knowl.-Centered Syst. 6, 31\u201375 (2012)","journal-title":"Trans. Large-Scale Data Knowl.-Centered Syst."},{"key":"5_CR34","unstructured":"Kern-Isberner, G., Fisseler, J.: Knowledge discovery by reversing inductive knowledge representation. In: Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning, KR-2004, pp. 34\u201344. AAAI Press (2004)"},{"issue":"1\u20132","key":"5_CR35","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.artint.2004.04.003","volume":"157","author":"G Kern-Isberner","year":"2004","unstructured":"Kern-Isberner, G., Lukasiewicz, T.: Combining probabilistic logic programming with the power of maximum entropy. Artif. Intell. 157(1\u20132), 139\u2013202 (2004). Special Issue on Nonmonotonic Reasoning","journal-title":"Artif. Intell."},{"key":"5_CR36","unstructured":"Kern-Isberner, G., Thimm, M.: Novel semantical approaches to relational probabilistic conditionals. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) Proceedings Twelfth International Conference on the Principles of Knowledge Representation and Reasoning, KR 2010, pp. 382\u2013391. AAAI Press (2010)"},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"Kern-Isberner, G., Thimm, M.: A ranking semantics for first-order conditionals. In: De Raedt, L., Bessiere, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P. (eds.) Proceedings 20th European Conference on Artificial Intelligence, ECAI-2012, pp. 456\u2013461. No. 242 in Frontiers in Artificial Intelligence and Applications. IOS Press (2012)","DOI":"10.3233\/978-1-61499-098-7-456"},{"key":"5_CR38","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D.: Counterfactuals. Harvard University Press, Cambridge (1973)"},{"key":"5_CR39","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-8966-5","volume-title":"Topics in Conditional Logic","author":"D Nute","year":"1980","unstructured":"Nute, D.: Topics in Conditional Logic. D. Reidel Publishing Company, Dordrecht (1980)"},{"key":"5_CR40","volume-title":"The Uncertain Reasoner\u2019s Companion - A Mathematical Perspective","author":"J Paris","year":"1994","unstructured":"Paris, J.: The Uncertain Reasoner\u2019s Companion - A Mathematical Perspective. Cambridge University Press, Cambridge (1994)"},{"issue":"1","key":"5_CR41","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/S0888-613X(97)00014-5","volume":"17","author":"J Paris","year":"1997","unstructured":"Paris, J., Vencovska, A.: In defence of the maximum entropy inference process. Int. J. Approximate Reasoning 17(1), 77\u2013103 (1997)","journal-title":"Int. J. Approximate Reasoning"},{"key":"5_CR42","unstructured":"Pearl, J.: System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning. In: Proceeding of the 3rd Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1990), pp. 121\u2013135. Morgan Kaufmann Publ. Inc., San Francisco (1990)"},{"key":"5_CR43","unstructured":"Potyka, N.: Linear programs for measuring inconsistency in probabilistic logics. In: Proceedings KR 2014, pp. 568\u2013578. AAAI Press (2014)"},{"key":"5_CR44","unstructured":"Potyka, N.: Solving Reasoning Problems for Probabilistic Conditional Logics with Consistent and Inconsistent Information. Ph.D. thesis, Fernuniversit\u00e4t Hagen, Germany (2015)"},{"key":"5_CR45","doi-asserted-by":"crossref","unstructured":"Potyka, N., Thimm, M.: Consolidation of probabilistic knowledge bases by inconsistency minimization. In: Proceedings ECAI 2014, pp. 729\u2013734. IOS Press (2014)","DOI":"10.3233\/978-1-61499-419-0-729"},{"key":"5_CR46","unstructured":"Potyka, N., Thimm, M.: Probabilistic reasoning with inconsistent beliefs using inconsistency measures. In: Proceeding of the International Joint Conference on Artificial Intelligence 2015 (IJCAI 2015), pp. 3156\u20133163 (2015)"},{"issue":"3","key":"5_CR47","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF01539807","volume":"19","author":"W R\u00f6dder","year":"1997","unstructured":"R\u00f6dder, W., Kern-Isberner, G.: L\u00e9a somb\u00e9 und entropie-optimale informationsverarbeitung mit der expertensystem-shell SPIRIT. OR Spektrum 19(3), 41\u201346 (1997)","journal-title":"OR Spektrum"},{"issue":"3","key":"5_CR48","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1093\/jigpal\/jzl020","volume":"14","author":"W R\u00f6dder","year":"2006","unstructured":"R\u00f6dder, W., Reucher, E., Kulmann, F.: Features of the expert-system-shell SPIRIT. Logic J. IGPL 14(3), 483\u2013500 (2006)","journal-title":"Logic J. IGPL"},{"key":"5_CR49","doi-asserted-by":"crossref","unstructured":"Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper, W., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, II, pp. 105\u2013134. Kluwer Academic Publishers (1988)","DOI":"10.1007\/978-94-009-2865-7_6"},{"key":"5_CR50","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199697502.001.0001","volume-title":"The Laws of Belief: Ranking Theory and Its Philosophical Applications","author":"W Spohn","year":"2012","unstructured":"Spohn, W.: The Laws of Belief: Ranking Theory and Its Philosophical Applications. Oxford University Press, Oxford (2012)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30024-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T16:13:08Z","timestamp":1748794388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30024-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319300238","9783319300245"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30024-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}