Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGabriele Kern-Isberner
Person information
- affiliation: Technical University of Dortmund, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j58]Gabriele Kern-Isberner, Meliha Sezgin
, Christoph Beierle:
A kinematics principle for iterated revision. Artif. Intell. 314: 103827 (2023)- 2022
- [c158]Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba:
Conditional Abstract Dialectical Frameworks. AAAI 2022: 5692-5699 - [c157]Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm:
Explaining Argument Acceptance in ADFs. ArgXAI@COMMA 2022 - [c156]Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner:
Realisability of Rankings-based Semantics. SAFA@COMMA 2022: 73-85 - [c155]Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning. FLAIRS 2022 - [c154]Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm:
Possibilistic Logic Underlies Abstract Dialectical Frameworks. IJCAI 2022: 2655-2661 - [c153]Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer:
Lexicographic Entailment, Syntax Splitting and the Drowning Problem. IJCAI 2022: 2662-2668 - [c152]Gabriele Kern-Isberner, Jesse Heyninck, Christoph Beierle:
Conditional Independence for Iterated Belief Revision. IJCAI 2022: 2690-2696 - [c151]Meliha Sezgin, Gabriele Kern-Isberner:
Revision by Comparison for Ranking Functions. IJCAI 2022: 2734-2740 - [c150]Andre Thevapalan, Konstantin Haupt, Gabriele Kern-Isberner:
Towards Causality-Based Conflict Resolution in Answer Set Programs. LPNMR 2022: 350-362 - [c149]Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer:
Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect. NMR 2022: 61-69 - [c148]Kai Sauerwald, Gabriele Kern-Isberner, Alexander Becker, Christoph Beierle:
From Forgetting Signature Elements to Forgetting Formulas in Epistemic States. SUM 2022: 92-106 - [e9]Jesse Heyninck, Thomas Meyer, Marco Ragni, Matthias Thimm, Gabriele Kern-Isberner:
Proceedings of the Workshop on Cognitive Aspects of Knowledge Representation co-located with the 31st international join conference on artificial intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022. CEUR Workshop Proceedings 3251, CEUR-WS.org 2022 [contents] - [e8]Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer:
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel. July 31 - August 5, 2022. 2022, ISBN 978-1-956792-01-0 [contents] - [i16]Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
A Conditional Perspective on the Logic of Iterated Belief Contraction. CoRR abs/2202.03196 (2022) - [i15]Andre Thevapalan, Gabriele Kern-Isberner:
On Establishing Robust Consistency in Answer Set Programs. CoRR abs/2208.08157 (2022) - 2021
- [j57]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch:
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. Artif. Intell. 297: 103489 (2021) - [j56]Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba:
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics. Ann. Math. Artif. Intell. 89(10-11): 1075-1099 (2021) - [j55]Meliha Sezgin, Gabriele Kern-Isberner, Christoph Beierle:
Ranking kinematics for revising by contextual information. Ann. Math. Artif. Intell. 89(10-11): 1101-1131 (2021) - [j54]Gabriele Kern-Isberner, 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) - [c147]Marco Wilhelm, Gabriele Kern-Isberner:
Focused Inference and System P. AAAI 2021: 6522-6529 - [c146]Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner:
Semantic Splitting of Conditional Belief Bases. Logic, Computation and Rigorous Methods 2021: 82-95 - [c145]Christoph Beierle, Gabriele Kern-Isberner:
Selection Strategies for Inductive Reasoning From Conditional Belief Bases and for Belief Change Respecting the Principle of Conditional Preservation. FLAIRS 2021 - [c144]Meliha Sezgin, Gabriele Kern-Isberner:
System Z for Conditional Belief Bases with Positive and Negative Information. FLAIRS 2021 - [c143]Andre Thevapalan, Jesse Heyninck, Gabriele Kern-Isberner:
Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation. ICLP Workshops 2021 - [c142]Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner:
Ranking Extensions in Abstract Argumentation. IJCAI 2021: 2047-2053 - [c141]Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle:
Conditional Descriptor Revision and Its Modelling by a CSP. JELIA 2021: 35-49 - [c140]Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. JELIA 2021: 85-100 - [c139]Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
A Brief Introduction Into Activation-Based Conditional Inference. FCR@KI 2021: 4-8 - [c138]Jonas Haldimann, Gabriele Kern-Isberner:
On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders. FCR@KI 2021: 34-47 - [c137]Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm:
Revision and Conditional Inference for Abstract Dialectical Frameworks. KR 2021: 345-355 - [c136]Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle:
Towards a framework of hansson's descriptor revision for conditionals. SAC 2021: 889-891 - [i14]Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope. CoRR abs/2108.07769 (2021) - [i13]Alexander Becker, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
Forgetting Formulas and Signature Elements in Epistemic States. CoRR abs/2108.08603 (2021) - [i12]Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
Conditional Inference and Activation of Knowledge Entities in ACT-R. CoRR abs/2110.15214 (2021) - 2020
- [c135]Jesse Heyninck, Gabriele Kern-Isberner:
An Epistemic Interpretation of Abstract Dialectical Argumentation. COMMA 2020: 227-238 - [c134]Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
A Conditional Perspective for Iterated Belief Contraction. ECAI 2020: 889-896 - [c133]Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, Kai Sauerwald:
Cognitive Logics - Features, Formalisms, and Challenges. ECAI 2020: 2931-2932 - [c132]Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm:
On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics. FLAIRS 2020: 575-580 - [c131]Meliha Sezgin, Gabriele Kern-Isberner:
Generalized Ranking Kinematics for Iterated Belief Revision. FLAIRS 2020: 587-592 - [c130]Marco Wilhelm, Gabriele Kern-Isberner:
Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy. FLAIRS 2020: 593-598 - [c129]Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle:
Syntax Splitting for Iterated Contractions. KR 2020: 465-475 - [c128]Gabriele Kern-Isberner, Christoph Beierle, Gerhard Brewka:
Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. KR 2020: 560-571
2010 – 2019
- 2019
- [j53]Thomas Eiter, Gabriele Kern-Isberner:
A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective. Künstliche Intell. 33(1): 9-33 (2019) - [j52]Christoph Beierle, Gabriele Kern-Isberner, Kai Sauerwald, Tanja Bock, Marco Ragni:
Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management. Künstliche Intell. 33(1): 57-68 (2019) - [c127]Marco Wilhelm, Gabriele Kern-Isberner:
Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$. Description Logic, Theory Combination, and All That 2019: 588-609 - [c126]Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, Kai Sauerwald:
Axiomatic Evaluation of Epistemic Forgetting Operators. FLAIRS 2019: 470-475 - [c125]Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle:
Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks. FLAIRS 2019: 494-499 - [c124]Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm:
The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞ME. FroCos 2019: 167-184 - [c123]Christof Thim, Norbert Gronau, Annette Kluge, Eric Tsui, Gabriele Kern-Isberner:
Introduction to the Minitrack on Intentional Forgetting in Organizations and Information Systems. HICSS 2019: 1-2 - [c122]Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader:
Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞ME Under the Principle of Maximum Entropy. JELIA 2019: 434-449 - [c121]Lena Rolf, Gabriele Kern-Isberner, Gerhard Brewka:
Argumentation-Based Explanations for Answer Sets Using ADF. LPNMR 2019: 89-102 - [c120]Lars-Phillip Spiegel, Gabriele Kern-Isberner, Marco Ragni:
Rational Inference Patterns. PRICAI (1) 2019: 405-417 - [c119]Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle:
Belief Change Properties of Forgetting Operations over Ranking Functions. PRICAI (1) 2019: 459-472 - [e7]Gabriele Kern-Isberner, Zoran Ognjanovic:
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings. Lecture Notes in Computer Science 11726, Springer 2019, ISBN 978-3-030-29764-0 [contents] - [i11]Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
A Conditional Perspective for Iterated Belief Contraction. CoRR abs/1911.08833 (2019) - [i10]Guillaume Aucher, Paul Égré, Gabriele Kern-Isberner, Francesca Poggiolesi:
Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032). Dagstuhl Reports 9(1): 47-66 (2019) - [i9]Anthony Hunter, Gabriele Kern-Isberner, Thomas Meyer, Renata Wassermann:
The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072). Dagstuhl Reports 9(2): 73-90 (2019) - 2018
- [j51]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, 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) - [j50]Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck:
Advanced Solving Technology for Dynamic and Reactive Applications. Künstliche Intell. 32(2-3): 199-200 (2018) - [c118]Christian Eichhorn, Gabriele Kern-Isberner, Marco Ragni:
Rational Inference Patterns Based on Conditional Logic. AAAI 2018: 1827-1834 - [c117]Christoph Beierle, Steven Kutsch, Gabriele Kern-Isberner:
From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 286-310 - [c116]Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann, Christoph Beierle:
Towards a Formal Foundation of Cognitive Architectures. CogSci 2018 - [c115]Richard Niland, Christian Eichhorn, Gabriele Kern-Isberner:
Comparing Approaches to Qualitative Data Mining. FLAIRS 2018: 519-524 - [c114]Andre Thevapalan, Gabriele Kern-Isberner, Diana Howey, Christoph Beierle, Ralf Georg Meyer, Mathias Nietzke:
Decision Support Core System for Cancer Therapies Using ASP-HEX. FLAIRS 2018: 531-536 - [c113]Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle:
A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies. FoIKS 2018: 379-399 - [c112]Gavin Rens, Thomas Andreas Meyer, Gabriele Kern-Isberner, Abhaya Nayak:
Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence. KI 2018: 343-356 - [c111]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, Christoph Beierle:
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. KI 2018: 357-365 - [c110]Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, Kai Sauerwald:
Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management. KI 2018: 366-373 - [c109]Gabriele Kern-Isberner:
Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change. KR 2018: 248-256 - [e6]Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
Proceedings of the 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and the 6th Workshop KI & Kognition (KIK-2018) co-located with 41st German Conference on Artificial Intelligence (KI 2018), Berlin, Germany, September 25, 2018. CEUR Workshop Proceedings 2194, CEUR-WS.org 2018 [contents] - 2017
- [j49]Gabriele Kern-Isberner, Marco Wilhelm, 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) - [j48]Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese, Gabriele Kern-Isberner:
A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic. FLAP 4(7) (2017) - [j47]Maj-Britt Isberner, Gabriele Kern-Isberner:
Plausible reasoning and plausibility monitoring in language comprehension. Int. J. Approx. Reason. 88: 53-71 (2017) - [j46]Christoph Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner:
System ZFO: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases. Int. J. Approx. Reason. 90: 120-143 (2017) - [j45]Gabriele Kern-Isberner, Daniela Huvermann:
What kind of independence do we need for multiple iterated belief change? J. Appl. Log. 22: 91-119 (2017) - [j44]Gabriele Kern-Isberner, Thomas Lukasiewicz:
Special Issue on Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences - A Topical Snapshot. Künstliche Intell. 31(1): 5-8 (2017) - [j43]Gabriele Kern-Isberner, Thomas Lukasiewicz:
Many Facets of Reasoning Under Uncertainty, Inconsistency, Vagueness, and Preferences: A Brief Survey. Künstliche Intell. 31(1): 9-13 (2017) - [j42]Gabriele Kern-Isberner, Igor Douven, Markus Knauff, Henri Prade:
Reasoning with Imperfect Information and Knowledge. Minds Mach. 27(1): 7-9 (2017) - [j41]Marco Ragni, Christian Eichhorn, Tanja Bock, Gabriele Kern-Isberner, Alice Ping Ping Tse:
Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning. Minds Mach. 27(1): 79-117 (2017) - [c108]Christoph Beierle, Bettina Sader, Christian Eichhorn, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke:
On the Ontological Modelling of Co-medication and Drug Interactions in Medical Cancer Therapy Regimens for a Clinical Decision Support System. CBMS 2017: 105-110 - [c107]Daan Apeldoorn, Gabriele Kern-Isberner:
An Agent-Based Learning Approach for Finding and Exploiting Heuristics in Unknown Environments. COMMONSENSE 2017 - [c106]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner:
A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases. ECSQARU 2017: 236-245 - [c105]Marco Wilhelm, Christian Eichhorn, Richard Niland, Gabriele Kern-Isberner:
A Semantics for Conditionals with Default Negation. ECSQARU 2017: 257-267 - [c104]Marco Wilhelm, Gabriele Kern-Isberner:
Typed Model Counting and Its Application to Probabilistic Conditional Reasoning at Maximum Entropy. FLAIRS 2017: 748-753 - [c103]Daan Apeldoorn, Gabriele Kern-Isberner:
Towards An Understanding of What is Learned: Extracting Multi-Abstraction-Level Knowledge from Learning Agents. FLAIRS 2017: 764-767 - [c102]Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke:
Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals. GCAI 2017: 36-50 - [c101]Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle:
Iterated contraction of propositions and conditionals under the principle of conditional preservation. GCAI 2017: 78-92 - [c100]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner:
On Transformations and Normal Forms of Conditional Knowledge Bases. IEA/AIE (1) 2017: 488-494 - [c99]Gabriele Kern-Isberner, Gerhard Brewka:
Strong Syntax Splitting for Iterated Belief Revision. IJCAI 2017: 1131-1137 - [c98]Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel:
Various Approaches to the Application of Answer Set Programming in Order-picking Systems with Intelligent Vehicles. IJCCI 2017: 25-34 - [c97]Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel:
Cellular Transport Systems Improved: Achieving Efficient Operations with Answer Set Programming. IJCCI (Selected Papers) 2017: 305-326 - [c96]Marco Wilhelm, Marc Finthammer, Gabriele Kern-Isberner, Christoph Beierle:
First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy. SUM 2017: 266-279 - [e5]Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg:
Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI & Kognition (KIK-2017) co-located with 40th German Conference on Artificial Intelligence (KI 2017), Dortmund, Germany, September 26, 2017. CEUR Workshop Proceedings 1928, CEUR-WS.org 2017 [contents] - [e4]Gabriele Kern-Isberner, Johannes Fürnkranz, Matthias Thimm:
KI 2017: Advances in Artificial Intelligence - 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings. Lecture Notes in Computer Science 10505, Springer 2017, ISBN 978-3-319-67189-5 [contents] - 2016
- [j40]Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, Guillermo Ricardo Simari:
Belief change and argumentation in multi-agent scenarios. Ann. Math. Artif. Intell. 78(3-4): 177-179 (2016) - [j39]Christian Eichhorn, Matthias Fey, Gabriele Kern-Isberner:
CP- and OCF-networks - a comparison. Fuzzy Sets Syst. 298: 109-127 (2016) - [j38]Christoph Beierle, Gabriele Kern-Isberner:
Dynamics of Knowledge and Belief. J. Appl. Log. 19: 51-53 (2016) - [c95]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch:
Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions. ECAI 2016: 1149-1157 - [c94]Gavin Rens, Gabriele Kern-Isberner:
An Approach to Qualitative Belief Change Modulo Ontic Strength. DARe@ECAI 2016 - [c93]Christoph Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner:
Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases. FLAIRS 2016: 626-631 - [c92]Maj-Britt Isberner, Gabriele Kern-Isberner:
A Formal Model of Plausibility Monitoring in Language Comprehension. FLAIRS 2016: 662-667 - [c91]Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke:
Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories. FLAIRS 2016: 690-694 - [c90]Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner:
Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem. FoIKS 2016: 65-82 - [c89]Daan Apeldoorn, Gabriele Kern-Isberner:
When Should Learning Agents Switch to Explicit Knowledge? GCAI 2016: 174-186 - [c88]Marco Ragni, Christian Eichhorn, Gabriele Kern-Isberner:
Simulating Human Inferences in the Light of New Information: A Formal Analysis. IJCAI 2016: 2604-2610 - [c87]Christoph Beierle, Lewin Eisele, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke:
Using Ontological Knowledge About Active Pharmaceutical Ingredients for a Decision Support System in Medical Cancer Therapy. KI 2016: 119-125 - 2015
- [j37]Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner:
Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases. Entropy 17(2): 852-865 (2015) - [j36]Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner:
A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics. J. Appl. Log. 13(4): 414-440 (2015) - [j35]Christian Eichhorn, Gabriele Kern-Isberner:
Using inductive reasoning for completing OCF-networks. J. Appl. Log. 13(4): 605-627 (2015) - [j34]Christoph Beierle, Gabriele Kern-Isberner, Marc Finthammer, Nico Potyka:
Extending and Completing Probabilistic Knowledge and Beliefs Without Bias. Künstliche Intell. 29(3): 255-262 (2015) - [j33]Christian Eichhorn, Gabriele Kern-Isberner:
Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals - Technical Project Report. Künstliche Intell. 29(3): 279-289 (2015) - [c86]Gabriele Kern-Isberner, Christoph Beierle:
A System Z-like Approach for First-Order Default Reasoning. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 81-95 - [c85]Christoph Beierle, Steffen Kuche, Marc Finthammer, Gabriele Kern-Isberner:
A Software System for the Computation, Visualization, and Comparison of Conditional Structures for Relational Probabilistic Knowledge Bases. FLAIRS 2015: 558-563 - [c84]Gabriele Kern-Isberner, Daniela Huvermann:
Multiple Iterated Belief Revision Without Independence. FLAIRS 2015: 570-575 - [c83]Paul D. Thorn, Christian Eichhorn, Gabriele Kern-Isberner, Gerhard Schurz:
Qualitative Probabilistic Inference with Default Inheritance. DKB/KIK@KI 2015: 16-28 - [e3]Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg:
Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015), Dresden, Germany, September 22, 2015. CEUR Workshop Proceedings 1444, CEUR-WS.org 2015 [contents] - [i8]Igor Douven, Gabriele Kern-Isberner, Markus Knauff, Henri Prade:
Multi-disciplinary approaches to reasoning with imperfect information and knowledge - a synthesis and a roadmap of challenges (Dagstuhl Seminar 15221). Dagstuhl Reports 5(5): 92-114 (2015) - 2014
- [b6]Christoph Beierle, Gabriele Kern-Isberner:
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 5. Auflage. Computational intelligence, SpringerVieweg 2014, ISBN 978-3-8348-1896-6, pp. I-XVI, 1-545 - [j32]Gabriele Kern-Isberner, Christian Eichhorn:
Structural Inference from Conditional Knowledge Bases. Stud Logica 102(4): 751-769 (2014) - [c82]