Zum Inhalt
Information Engineering

Publikationen

Meliha Sezgin and  Gabriele Kern-Isberner.
Revision by Comparison for Ranking Functions.
Proceedings International Joint Conference on Artificial Intelligence / 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022

Jesse Heyninck, Gabriele Kern-Isberner and Thomas Meyer.
Lexicographic entailment, syntax splitting, and the drowning problem.
Proceedings International Joint Conference on Artificial Intelligence / 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022

Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba and Tjitze Rienstra.
Possibilistic Logic Underlies Abstract Dialectical Frameworks.
Proceedings International Joint Conference on Artificial Intelligence / 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022

Gabriele Kern-Isberner, Jesse Heyninck and Christoph Beierle.
Conditional Independence for Iterated Belief Revision.
Proceedings International Joint Conference on Artificial Intelligence / 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022

Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner and Steven Kutsch.
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models.
Artif. Intell. 297:103489, 2021.
URL, DOI

Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm and Kenneth Skiba.
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics.
Ann. Math. Artif. Intell. 89(10-11):1075–1099, 2021.
URL, DOI

Meliha Sezgin, Gabriele Kern-Isberner and Christoph Beierle.
Ranking kinematics for revising by contextual information.
Ann. Math. Artif. Intell. 89(10-11):1101–1131, 2021.
URL, DOI

Gabriele Kern-Isberner and Zoran Ognjanovic.
Special issue from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019).
Int. J. Approx. Reason. 138:76–77, 2021.
URL, DOI

Andre Thevapalan, Jesse Heyninck and Gabriele Kern-Isberner.
Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation.
In Joaqu{\'ı}n Arias, Fabio Aurelio D'Asaro, Abeer Dyoub, Gopal Gupta, Markus Hecher, Emily LeBlanc, Rafael Peñaloza, Elmer Salazar, Ari Saptawijaya, Felix Weitkämper and Jessica Zangari (eds.). Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021 2970. 2021.
URL

Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck and Gabriele Kern-Isberner.
Ranking Extensions in Abstract Argumentation.
In Zhi-Hua Zhou (ed.). Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021. 2021, 2047–2053.
URL, DOI

Christoph Beierle, Jonas Haldimann and Gabriele Kern-Isberner.
Semantic Splitting of Conditional Belief Bases.
In Alexander Raschke, Elvinia Riccobene and Klaus-Dieter Schewe (eds.). Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday 12750. 2021, 82–95.
URL, DOI

Christoph Beierle and Gabriele Kern-Isberner.
Selection Strategies for Inductive Reasoning From Conditional Belief Bases and for Belief Change Respecting the Principle of Conditional Preservation.
In Eric Bell and Fazel Keshtkar (eds.). Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, North Miami Beach, Florida, USA, May 17-19, 2021. 2021.
URL, DOI

Meliha Sezgin and Gabriele Kern-Isberner.
System Z for Conditional Belief Bases with Positive and Negative Information.
In Eric Bell and Fazel Keshtkar (eds.). Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, North Miami Beach, Florida, USA, May 17-19, 2021. 2021.
URL, DOI

Marco Wilhelm and Gabriele Kern-Isberner.
Focused Inference and System P.
In Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021. 2021, 6522–6529.
URL

Jonas Haldimann, Christoph Beierle and Gabriele Kern-Isberner.
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies.
In Wolfgang Faber, Gerhard Friedrich, Martin Gebser and Michael Morak (eds.). Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings 12678. 2021, 85–100.
URL, DOI

Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr and João Leite.
Tractable Reasoning Using Logic Programs with Intensional Concepts.
In Wolfgang Faber, Gerhard Friedrich, Martin Gebser and Michael Morak (eds.). Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings 12678. 2021, 329–345.
URL, DOI

Jesse Heyninck and Christian Straßer.
A Comparative Study of Assumption-based Argumentative Approaches to Reasoning with Priorities.
FLAP 8(3):737–808, 2021.
URL

Jonas Haldimann, Kai Sauerwald, Martin Berg, Gabriele Kern-Isberner and Christoph Beierle.
Towards a framework of hansson's descriptor revision for conditionals.
In Chih-Cheng Hung, Jiman Hong, Alessio Bechini and Eunjee Song (eds.). SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021. 2021, 889–891.
URL, DOI

Jonas Philipp Haldimann, Gabriele Kern-Isberner and Christoph Beierle.
Syntax Splitting for Iterated Contractions.
In Diego Calvanese, Esra Erdem and Michael Thielscher (eds.). Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. 2020, 465–475.
URL, DOI

Jesse Heyninck and Ofer Arieli.
Argumentative Reflections of Approximation Fixpoint Theory.
In Henry Prakken, Stefano Bistarelli, Francesco Santini and Carlo Taticchi (eds.). Computational Models of Argument - Proceedings of COMMA 2020, Perugia, Italy, September 4-11, 2020 326. 2020, 215–226.
URL, DOI

Gabriele Kern-Isberner, Christoph Beierle and Gerhard Brewka.
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases.
In Diego Calvanese, Esra Erdem and Michael Thielscher (eds.). Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. 2020, 560–571.
URL, DOI

Ofer Arieli and Jesse Heyninck.
Prioritized Simple Contrapositive Assumption-Based Frameworks.
In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugar{\'ı}n and Jérôme Lang (eds.). ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) 325. 2020, 608–615.
URL, DOI

Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle and Kai Sauerwald.
Cognitive Logics - Features, Formalisms, and Challenges.
In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugar{\'ı}n and Jérôme Lang (eds.). ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) 325. 2020, 2931–2932.
URL, DOI

Kai Sauerwald, Gabriele Kern-Isberner and Christoph Beierle.
A Conditional Perspective for Iterated Belief Contraction.
In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugar{\'ı}n and Jérôme Lang (eds.). ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) 325. 2020, 889–896.
URL, DOI

Jesse Heyninck and Gabriele Kern-Isberner.
An Epistemic Interpretation of Abstract Dialectical Argumentation.
In Henry Prakken, Stefano Bistarelli, Francesco Santini and Carlo Taticchi (eds.). Computational Models of Argument - Proceedings of COMMA 2020, Perugia, Italy, September 4-11, 2020 326. 2020, 227–238.
URL, DOI

Marco Wilhelm and Gabriele Kern-Isberner.
Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy.
In Roman Barták and Eric Bell (eds.). Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, Originally to be held in North Miami Beach, Florida, USA, May 17-20, 2020. 2020, 593–598.
URL

Meliha Sezgin and Gabriele Kern-Isberner.
Generalized Ranking Kinematics for Iterated Belief Revision.
In Roman Barták and Eric Bell (eds.). Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, Originally to be held in North Miami Beach, Florida, USA, May 17-20, 2020. 2020, 587–592.
URL

Jesse Heyninck and Christian Straßer.
Rationality and maximal consistent sets for a fragment of ASPIC+ without undercut.
Argument & Computation (Preprint):1–45.
URL

Jesse Heyninck and Ofer Arieli.
Simple contrapositive assumption-based argumentation frameworks.
International Journal of Approximate Reasoning, 2020.
Abstract
URL, DOI

Thomas Eiter and Gabriele Kern-Isberner.
A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective.
KI 33(1):9–33, 2019.
URL, DOI

Lena Rolf, Gabriele Kern-Isberner and Gerhard Brewka.
Argumentation-Based Explanations for Answer Sets Using ADF.
In Marcello Balduccini, Yuliya Lierler and Stefan Woltran (eds.). Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings 11481. 2019, 89–102.
URL, DOI

Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle and Kai Sauerwald.
Axiomatic Evaluation of Epistemic Forgetting Operators.
In Roman Barták and Keith W Brawner (eds.). Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019. 2019, 470–475.
URL

Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald and Christoph Beierle.
Belief Change Properties of Forgetting Operations over Ranking Functions.
In Abhaya C Nayak and Alok Sharma (eds.). PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I 11670. 2019, 459–472.
URL, DOI

Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke and Franz Baader.
Counting Strategies for the Probabilistic Description Logic \emphALC{\^}\textbackslashmathsf ME Under the Principle of Maximum Entropy.
In Francesco Calimeri, Nicola Leone and Marco Manna (eds.). Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings 11468. 2019, 434–449.
URL, DOI

Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer and Christoph Beierle.
Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks.
In Roman Barták and Keith W Brawner (eds.). Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019. 2019, 494–499.
URL

Tung Bui (ed.).
52nd Hawaii International Conference on System Sciences, HICSS 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019
. ScholarSpace / AIS Electronic Library (AISeL), 2019.
URL

Christof Thim, Norbert Gronau, Annette Kluge, Eric Tsui and Gabriele Kern-Isberner.
Introduction to the Minitrack on Intentional Forgetting in Organizations and Information Systems.
In 52nd Hawaii International Conference on System Sciences, HICSS 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019. 2019, 1–2.
URL

Marco Wilhelm and Gabriele Kern-Isberner.
Maximum Entropy Calculations for the Probabilistic Description Logic \textdollar\textdollar\textbackslashmathcal ALC{\^}{\textbackslashmathsfME}\textdollar\textdollar.
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan and Frank Wolter (eds.). Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday 11560. 2019, 588–609.
URL, DOI

Lars-Phillip Spiegel, Gabriele Kern-Isberner and Marco Ragni.
Rational Inference Patterns.
In Abhaya C Nayak and Alok Sharma (eds.). PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I 11670. 2019, 405–417.
URL, DOI

Franz Baader, Andreas Ecke, Gabriele Kern-Isberner and Marco Wilhelm.
The Complexity of the Consistency Problem in the Probabilistic Description Logic \emphALC {\^}\textbackslashmathsf ME.
In Andreas Herzig and Andrei Popescu (eds.). Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings 11715. 2019, 167–184.
URL, DOI

Christoph Beierle, Gabriele Kern-Isberner, Kai Sauerwald, Tanja Bock and Marco Ragni.
Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management.
KI 33(1):57–68, 2019.
URL, DOI

Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer and Christoph Beierle.
A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies.
In Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings. 2018, 379–399.
URL, DOI

Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub and Steffen Schieweck.
Advanced Solving Technology for Dynamic and Reactive Applications.
KI 32(2-3):199–200, 2018.
URL, DOI

Gabriele Kern-Isberner.
Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change.
In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018.. 2018, 248–256.
URL

Richard Niland, Christian Eichhorn and Gabriele Kern-Isberner.
Comparing Approaches to Qualitative Data Mining.
In Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018, Melbourne, Florida, USA. May 21-23 2018.. 2018, 519–524.
URL

Andre Thevapalan, Gabriele Kern-Isberner, Diana Howey, Christoph Beierle, Ralf Georg Meyer and Mathias Nietzke.
Decision Support Core System for Cancer Therapies Using ASP-HEX.
In Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018, Melbourne, Florida, USA. May 21-23 2018.. 2018, 531–536.
URL

Christoph Beierle, Steven Kutsch and Gabriele Kern-Isberner.
From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming.
In Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday. 2018, 286–310.


Ingo J Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niederée, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt and Christoph Beierle.
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges.
In KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. 2018, 357–365.
URL, DOI

Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni and Kai Sauerwald.
Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management.
In KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. 2018, 366–373.
URL, DOI

Gavin Rens, Thomas Andreas Meyer, Gabriele Kern-Isberner and Abhaya Nayak.
Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence.
In KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. 2018, 343–356.
URL, DOI

Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner and Steven Kutsch.
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem.
Ann. Math. Artif. Intell. 83(3-4):247–275, 2018.
URL, DOI

Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann and Christoph Beierle.
Towards a Formal Foundation of Cognitive Architectures.
In Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, Madison, WI, USA, July 25-28, 2018. 2018.
URL

Corinna Krüger, Daan Apeldoorn and Gabriele Kern-Isberner.
Comparing Answer Set Programming and Hierarchical Knowledge Bases Regarding Comprehensibility and Reasoning Efficiency in the Context of Agents.
In Proceedings of the 30th International Workshop on Qualitative Reasoning (QR 2017) at International Joint Conference on Artificial Intelligence (IJCAI 2017) in Melbourne, Australia. 2017.
URL

Daan Apeldoorn and Vanessa Volz.
Measuring Strategic Depth in Games Using Hierarchical Knowledge Bases.
In 2017 IEEE Conference on Computational Intelligence and Games (CIG). 2017, 9–16.
URL

Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese and Gabriele Kern-Isberner.
A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic.
FLAP 4(7), 2017.
URL

Gabriele Kern-Isberner, Marco Wilhelm and Christoph Beierle.
Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory.
Ann. Math. Artif. Intell. 79(1-3):163–179, 2017.
URL, DOI

Christoph Beierle, Tobias Falke, Steven Kutsch and Gabriele Kern-Isberner.
System Z\(^{\mboxFO}\): Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases.
Int. J. Approx. Reasoning 90:120–143, 2017.
URL, DOI

Christoph Beierle, Bettina Sader, Christian Eichhorn, Gabriele Kern-Isberner, Ralf Georg Meyer and Mathias Nietzke.
On the Ontological Modelling of Co-Medication and Drug Interactions in Medical Cancer Therapy Regimens for a Clinical Decision Support System.
In Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2017). 2017, 105-110.
 

Christoph Beierle, Christian Eichhorn and Gabriele Kern-Isberner.
On Transformations and Normal Forms of Conditional Knowledge Bases.
In Salem Benferhat, Karim Tabia and Moonis Ali (eds.). Advances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I. 2017, 488–494.
URL

Christoph Beierle, Christian Eichhorn and Gabriele Kern-Isberner.
A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases.
In Alessandro Antonucci, Laurence Cholvy and Odile Papini (eds.). Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings. Springer International Publishing, 2017, pages 236–245.
URL

Marco Wilhelm, Christian Eichhorn, Richard Niland and Gabriele Kern-Isberner.
A semantics for conditionals with default negation.
In Alessandro Antonucci, Laurence Cholvy and Odile Papini (eds.). Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings. Springer International Publishing, 2017, pages 236–245.
URL

Daan Apeldoorn and Gabriele Kern-Isberner.
An Agent-Based Learning Approach for Finding and Exploiting Heuristics in Unknown Environments.
In Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, COMMONSENSE 2017, London, UK, November 6-8, 2017.. 2017.
URL

Daan Apeldoorn and Gabriele Kern-Isberner.
Towards an Understanding of What is Learned: Extracting Multi-Abstraction-Level Knowledge from Learning Agents.
In Vasile Rus and Zdravko Markov (eds.). Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference. 2017, 764–767.
URL

Marco Wilhelm and Gabriele Kern-Isberner.
Typed Model Counting and Its Application to Probabilistic Conditional Reasoning at Maximum Entropy.
In Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017.. 2017, 748–753.
URL

Gabriele Kern-Isberner and Thomas Lukasiewicz.
Many Facets of Reasoning Under Uncertainty, Inconsistency, Vagueness, and Preferences: A Brief Survey.
KI 31(1):9–13, 2017.
URL, DOI

Gabriele Kern-Isberner, Igor Douven, Markus Knauff and Henri Prade.
Reasoning with Imperfect Information and Knowledge.
Minds and Machines 27(1):7–9, 2017.
URL, DOI

Gabriele Kern-Isberner and Thomas Lukasiewicz.
Special Issue on Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences - A Topical Snapshot.
KI 31(1):5–8, 2017.
URL, DOI

Gabriele Kern-Isberner and Daniela Huvermann.
What kind of independence do we need for multiple iterated belief change?.
J. Applied Logic 22:91–119, 2017.
URL, DOI

Marco Wilhelm, Gabriele Kern-Isberner and Andreas Ecke.
Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals.
In GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017.. 2017, 36–50.
URL

Marco Wilhelm, Marc Finthammer, Gabriele Kern-Isberner and Christoph Beierle.
First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy.
In Scalable Uncertainty Management - 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings. 2017, 266–279.
URL, DOI

Marco Ragni, Christian Eichhorn, Tanja Bock, Gabriele Kern-Isberner and Alice Ping Ping Tse.
Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning.
Minds and Machines Volume 27, Number 1:79–117, 2017.

Gabriele Kern-Isberner and Gerhard Brewka.
Strong Syntax Splitting for Iterated Belief Revision.
In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. 2017, 1131–1137.
URL, DOI

Steffen Schieweck, Gabriele Kern-Isberner and Michael Hompel.
Various Approaches to the Application of Answer Set Programming in Order-picking Systems with Intelligent Vehicles.
In Proceedings of the 9th International Joint Conference on Computational Intelligence, IJCCI 2017, Funchal, Madeira, Portugal, November 1-3, 2017.. 2017, 25–34.
URL, DOI

Daan Apeldoorn and Gabriele Kern-Isberner.
When Should Learning Agents Switch to Explicit Knowledge?.
In Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (eds.). GCAI 2016. 2nd Global Conference on Artificial Intelligence 41. 2016, 174–186.
URL

Christoph Beierle, Christian Eichhorn and Steven Kutsch.
A Practical Comparison of Qualitative Inferences with Preferred Ranking Models.
KI - Künstliche Intelligenz Volume 31, Issue 1:41–52, 2016.
 

Marco Ragni, Christian Eichhorn and Gabriele Kern-Isberner.
Simulating Human Inferences in the Light of New Information: A Formal Analysis (Extended Abstract).
In Gerhard Friedrich, Malte Helmert and Franz Wotawa (eds.). KI 2016: Advances in Artificial Intelligence – 39th Annual German Conference on AI (Proceedings) (LNAI) 9904. 2016, 297-302.

Christoph Beierle, Christian Eichhorn and Gabriele Kern-Isberner.
Skeptical Inference Based on C-representations and its Characterization as a Constraint Satisfaction Problem.
In Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2016) 9616. 2016, 65–82.
 

Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner and Steven Kutsch.
Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions.
In Gal A Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum and Frank Harmelen (eds.). Frontiers in Artificial Intelligence and Applications Volume 285: ECAI 2016. 2016, 1149–1157.
 

Marco Ragni, Christian Eichhorn and Gabriele Kern-Isberner.
Simulating Human Inferences in the Light of New Information: A Formal Analysis.
In Subbarao Kambhampati (ed.). Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI'16). 2016, 2604–2610.

Christian Eichhorn, Matthias Fey and Gabriele Kern-Isberner.
CP- and OCF-networks – a comparison.
Fuzzy Sets and Systems 298():109 - 127, 2016.
Abstract
URL, DOI

Marco Wilhelm, Gabriele Kern-Isberner and Andreas Ecke.
Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories.
In Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference (FLAIRS). 2016.

Christoph Beierle, Marc Finthammer and Gabriele Kern-Isberner.
Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases.
Entropy 17(2):852–865, 2015.
URL, DOI

Daan Apeldoorn.
Learning Rules for Cooperative Solving of Spatio-Temporal Problems.
In C Beierle, G Kern-Isberner, M Ragni and F Stolzenburg (eds.). Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with the 38th German Conference on Artificial Intelligence (KI-2015), Dresden, Germany, September 22, 2015 1444. 2015, 5–15.
URL

Daan Apeldoorn.
A Spatio-Temporal Multiagent Simulation Framework for Reusing Agents in Different Kinds of Scenarios.
In Jörg P Müller, Wolf Ketter, Gal Kaminka, Gerd Wagner and Nils Bulling (eds.). Multiagent System Technologies 9433. 2015, 79–97.
URL

Christian Eichhorn and Gabriele Kern-Isberner.
Using inductive reasoning for completing OCF-networks.
Journal of Applied Logic 13(4, Part 2):605–627, 2015.
DOI

Gabriele Kern-Isberner, Marco Wilhelm and Christoph Beierle.
Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory.
Annals of Mathematics and Artificial Intelligence (AMAI), 2015.

Christian Eichhorn and Gabriele Kern-Isberner.
Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals.
KI - Künstliche Intelligenz 29(3):279-289, 2015.
URL, DOI

Patrick Krümpelmann, Tim Janus and Gabriele Kern-Isberner.
Angerona - A flexible Multiagent Framework for Knowledge-based Agents.
In Nils Bulling (ed.). Proceedings of the 12th European Conference on Multi-Agent Systems to appear. 2014.
 

Gabriele Kern-Isberner, Marco Wilhelm and Christoph Beierle.
A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy.
In Proceedings of the 27th International Florida Artificial Intelligence Research Society Conference (FLAIRS). 2014.
 

Christian Eichhorn and Gabriele Kern-Isberner.
LEG Networks for Ranking Functions.
In Eduardo Fermé and João Leite (eds.). Logics in Artificial Intelligence. Lecture Notes in Computer Science series, volume 8761, Springer International Publishing, 2014, pages 210-223.
URL, DOI

Joachim Biskup, Gabriele Kern-Isberner, Patrick Krümpelmann and Cornelia Tadros.
Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions.
In Christoph Beierle and Carlo Meghini (eds.). 8th Proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems (FoIKS2014) to appear. 2014.

Christoph Beierle, Rita Hermsen and Gabriele Kern-Isberner.
Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation.
In Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, FLAIRS 2014, Pensacola Beach, Florida, May 21-23, 2014.. 2014.
URL

Gabriele Kern-Isberner, Marco Wilhelm and Christoph Beierle.
Probabilistic Knowledge Representation Using Gröbner Basis Theory.
In Proceedings of the 13th International Symposium on Artificial Intelligence and Mathematics (ISAIM). 2014.

Patrick Krümpelmann, Tim Janus and Gabriele Kern-Isberner.
Angerona - A Multiagent Framework for Logic Based Agents.
Technische Universität Dortmund, Department of Computer Science, 2014.
 

Patrick Krümpelmann and Gabriele Kern-Isberner.
Secrecy preserving BDI Agents based on Answerset Programming.
In Proceedings of the 11th German Conference on Multi-Agent System Technologies (MATES'13) 8076. 2013, 124–137.
 

Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese and Gabriele Kern-Isberner.
A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery.
In Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings. 2013, 49–60.
URL, DOI

Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese and Gabriele Kern-Isberner.
A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery.
In Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings. 2013, 49–60.
URL, DOI

Ella Albrecht, Patrick Krümpelmann and Gabriele Kern-Isberner.
Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs.
In Michael Hanus and Ricardo Rocha (eds.). Post-proceedings of the 27th Workshop on Functional and Logic Programming (WFLP 2013). 0.

Gabriele Kern-Isberner and Christian Eichhorn.
Intensional combination of rankings for OCF-networks.
In Chutima Boonthum-Denecke and Michael Youngblood (eds.). Proceedings of the 26th International FLAIRS Conference FLAIRS-2013. 2013, 615–620.
PDF

Patrick Krümpelmann and Gabriele Kern-Isberner.
On Agent-based Epistemic Secrecy.
In Riccardo Rossi and Stefan Woltran (eds.). Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'12). 2012.

Gabriele Kern-Isberner and Christian Eichhorn.
OCF-Networks with missing values.
In Christoph Beierle and Gabriele Kern-Isberner (eds.). Proceedings of th 4th Workshop on Dynamics of Knowledge and Belief (DBK-2013). 2013, 46–60.
PDF

Gabriele Kern-Isberner and Christian Eichhorn.
Structural Inference from Conditional Knowledge Bases.
In Matthias Unterhuber and Gerhard Schurz (eds.). Studia Logica Special Issue Logic and Probability: Reasoning in Uncertain Environments. Number 102 (4), Springer Science+Business Media, August 2014, pages 751–769.
URL, DOI

Luciano H Tamargo, Alejandro J Garcia, Matthias Thimm and Patrick Krümpelmann.
Argumentative Credibility-based Revision in Multi-Agent Systems.
In Proceedings of the 13th Argentine Symposium on Artificial Intelligence (ASAI'12). 2012.
 

Christoph Beierle and Gabriele Kern-Isberner.
Semantical investigations into nonmonotonic and probabilistic logics.
Ann. Math. Artif. Intell. 65(2-3):123–158, 2012.
URL, DOI

Patrick Krümpelmann and Gabriele Kern-Isberner.
Belief Base Change Operations for Answer Set Programming.
In Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA'12) 7519. 2012.

Gabriele Kern-Isberner and Christian Eichhorn.
A structural base for conditional reasoning.
In Human Reasoning and Automated Deduction – KI 2012 Workshop Proceedings. 2012.
PDF

Christoph Beierle and Gabriele Kern-Isberner.
Aspects of Universitarian Distance Teaching and Online Learning.
KI 26(3):305–306, 2012.
URL, DOI

Christoph Beierle and Gabriele Kern-Isberner.
Semantical investigations into nonmonotonic and probabilistic logics.
Ann. Math. Artif. Intell. 65(2-3):123–158, 2012.
URL, DOI

Christoph Beierle and Gabriele Kern-Isberner.
Conditional Objects Revisited: Variants and Model Translations.
In Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, Marco Island, Florida. May 23-25, 2012. 2012.
URL

Christoph Beierle and Gabriele Kern-Isberner.
Editorial: Relational approaches to knowledge representation and learning.
Logic Journal of the IGPL 20(5):771–773, 2012.
URL, DOI

Patrick Krümpelmann.
Dependency Semantics for Sequences of Extended Logic Programs.
Logic Journal of the IGPL doi: 10.1093/jigpal/jzs012, 2012.

Gabriele Kern-Isberner and Patrick Krümpelmann.
A constructive approach to independent and evidence retaining belief revision by general information sets.
In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI'11). 2011.

Daniel Hölzgen, Thomas Vengels, Patrick Krümpelmann, Matthias Thimm and Gabriele Kern-Isberner.
Argonauts: a working system for motivated cooperative agents.
Annals of Mathematics and Artificial Intelligence 61:309–332, 2011.
URL

Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner and Regina Fritsch.
Motivating Agents in Unreliable Environments: A Computational Model.
In Franziska Klügl and Sascha Ossowski (eds.). Multiagent System Technologies - 9th German Conference, (MATES 2011), Berlin, Germany, October 6-7, 2011. Proceedings 6973. 2011, 65-76.

Diego R Garc\'ıa, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A Falappa and Alejandro J Garc\'ıa.
On Influence and Contractions in Defeasible Logic Programming.
In Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11). 2011.

Patrick Krümpelmann, Matthias Thimm, Marcelo A Falappa, Alejandro J Garcia, Gabriele Kern-Isberner and Guillermo R Simari.
Selective Revision by Deductive Argumentation.
In Sanjay Modgil, Nir Oren and Francesca Toni (eds.). Formal Argumentation - First International Workshop on Theory and Application, (TAFA'11), Barcelona, Spain, July 16-17, 2011, Revised Selected Papers 7132. 2012, 281.

Sven Hartrumpf, Hermann Helbig, Tim vor der Brück and Christian Eichhorn.
SemDupl: Semantic-based Duplicate Identification.
Number 359–07/2011, FernUniversität in Hagen, 2011.
PDF

Sven Hartrumpf, Tim Brück and Christian Eichhorn.
Detecting Duplicates with Shallow and Parser-based Methods.
In Proceedings of the 6th International Conference on Natural Language Processing and Knowledge Engineering (NLPKE). 2010, 142–149.

Christoph Beierle and Gabriele Kern-Isberner.
Editorial: Dynamics of knowledge and belief.
Logic Journal of the IGPL 18(4):485–487, 2010.
URL, DOI

Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner and Matthias Thimm.
Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law.
In Computational Models of Argument: Proceedings of COMMA 2010, Desenzano del Garda, Italy, September 8-10, 2010.. 2010, 87–98.
URL, DOI

Patrick Krümpelmann and Matthias Thimm.
A Logic Programming Framework for Reasoning about Know-How.
In Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR'10). 2010.

Patrick Krümpelmann and Gabriele Kern-Isberner.
On belief dynamics of dependency relations for extended logic programs.
In Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR'10). 2010.

Sven Hartrumpf, Tim vor der Brück and Christian Eichhorn.
Semantic Duplicate Identification with Parsing and Machine Learning.
In Petr Sojka, Ale\v Hor\ak, Ivan Kope\v cek and Karel Pala (eds.). Proceedings of the 13th International Conference on Text, Speech and Dialogue (TSD 2010) 6231. 2010, 84–92.

Christoph Beierle and Gabriele Kern-Isberner.
The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics.
In Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings. 2010, 191–210.
URL, DOI

Patrick Krümpelmann.
Towards Dependency Semantics for Conflict Handling in Logic Programs.
In Christoph Beierle and Gabriele Kern-Isberner (eds.). Proceedings of the 1st Workshop on Relational Approaches to Knowledge Representation and Learning. September 2009, 79–93.

Christian Eichhorn.
Automatische Duplikatserkennung: Ähnliche Texte entdecken und erkennen.
Der Andere Verlag, 2009.
URL

Christoph Beierle and Gabriele Kern-Isberner.
A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations.
In KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings. 2009, 273–280.
URL, DOI

Christoph Beierle and Gabriele Kern-Isberner.
Formal similarities and differences among qualitative conditional semantics.
Int. J. Approx. Reasoning 50(9):1333–1346, 2009.
URL, DOI

Matthias Thimm and Patrick Krümpelmann.
Know-How for Motivated BDI Agents (Extended Abstract).
In Decker, Sichman, Sierra and Castelfranchi (eds.). Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09). 2009.

Matthias Thimm and Patrick Krümpelmann.
Know-How for Motivated BDI Agents (Extended Version).
Number 822, Technische Universität Dortmund, Department of Computer Science, Februar 2009.

Christoph Beierle and Gabriele Kern-Isberner.
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen (4. Aufl.).
Vieweg, 2008.
URL

Christoph Beierle and Gabriele Kern-Isberner.
On the Modelling of an Agent's Epistemic State and its Dynamic Changes.
ECEASST 12, 2008.
URL

Holger Danielsiek, Christian Eichhorn, Tobias Hein, Edina Kurtic, Georg Neugebauer, Nico Piatkowski, Jan Quadflieg, Sebastian Schnelker, Raphael Stüer, Andreas Thom and Simon Wessing.
PG511 - CI in Games - Final Report.
Technische Universität Dortmund, 2008.
PDF

N Beume, H Danielsiek, C Eichhorn, B Naujoks, M Preuss, K Stiller and S Wessing.
Measuring flow as concept for detecting game fun in the Pac-Man game.
In Evolutionary Computation, 2008. CEC 2008. (IEEE World Congress on Computational Intelligence). IEEE Congress on. Juni 2008, 3448 -3455.
URL

Patrick Krümpelmann and Gabriele Kern-Isberner.
Propagating Credibility in Answer Set Programs.
In Sibylle Schwarz (ed.). Proceedings of the 22nd Workshop on (Constraint) Logic Programming (WLP'08). 2008.

Christoph Beierle and Gabriele Kern-Isberner.
A Verified AsmL Implementation of Belief Revision.
In Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. 2008, 98–111.
URL, DOI

Patrick Krümpelmann, Matthias Thimm, Manuela Ritterskamp and Gabriele Kern-Isberner.
Belief Operations for Motivated BDI Agents.
In Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems 2008 (AAMAS '08). 2008.

Holger Danielsiek, Christian Eichhorn, Tobias Hein, Edina Kurtic, Georg Neugebauer, Nico Piatkowski, Michael Puchowezki, Jan Quadflieg, Sebastian Schnelker, Raphael Stüer, Andreas Thom and Simon Wessing.
PG511 - CI in Games - Zwischenbericht.
Technische Universität Dortmund, 2008.
PDF

Anfahrt & Lageplan

Der Campus der Technischen Universität Dortmund liegt in der Nähe des Autobahnkreuzes Dortmund West, wo die Sauerlandlinie A45 den Ruhrschnellweg B1/A40 kreuzt. Die Abfahrt Dortmund-Eichlinghofen auf der A45 führt zum Campus Süd, die Abfahrt Dortmund-Dorstfeld auf der A40 zum Campus-Nord. An beiden Ausfahrten ist die Universität ausgeschildert.

Direkt auf dem Campus Nord befindet sich die S-Bahn-Station „Dortmund Universität“. Von dort fährt die S-Bahn-Linie S1 im 15- oder 30-Minuten-Takt zum Hauptbahnhof Dortmund und in der Gegenrichtung zum Hauptbahnhof Düsseldorf über Bochum, Essen und Duisburg. Außerdem ist die Universität mit den Buslinien 445, 447 und 462 zu erreichen. Eine Fahrplanauskunft findet sich auf der Homepage des Verkehrsverbundes Rhein-Ruhr, außerdem bieten die DSW21 einen interaktiven Liniennetzplan an.
 

Zu den Wahrzeichen der TU Dortmund gehört die H-Bahn. Linie 1 verkehrt im 10-Minuten-Takt zwischen Dortmund Eichlinghofen und dem Technologiezentrum über Campus Süd und Dortmund Universität S, Linie 2 pendelt im 5-Minuten-Takt zwischen Campus Nord und Campus Süd. Diese Strecke legt sie in zwei Minuten zurück.

Vom Flughafen Dortmund aus gelangt man mit dem AirportExpress innerhalb von gut 20 Minuten zum Dortmunder Hauptbahnhof und von dort mit der S-Bahn zur Universität. Ein größeres Angebot an internationalen Flugverbindungen bietet der etwa 60 Kilometer entfernte Flughafen Düsseldorf, der direkt mit der S-Bahn vom Bahnhof der Universität zu erreichen ist.