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
- 2024
[c175]Marco Wilhelm, Gabriele Kern-Isberner:
Decomposing Constraint Networks for Calculating c-Representations. AAAI 2024: 10740-10747- [c174]Gabriele Kern-Isberner:
Ranking-based Conditional Semantics for Defeasible Subsumptions (Abstract of Invited Talk). Description Logics 2024 - [c173]Marco Wilhelm
, Lars-Phillip Spiegel, Gabriele Kern-Isberner:
Intrinsic Prioritization in Answer Set Programming Based on an Adapted Notion of Tolerance. FLAIRS 2024 - [c172]Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference. FoIKS 2024: 85-103 - [c171]Marco Wilhelm, Gabriele Kern-Isberner, Christoph Beierle:
Core c-Representations and c-Core Closure for Conditional Belief Bases. FoIKS 2024: 104-122 - [c170]Kai Sauerwald, Christoph Beierle, Gabriele Kern-Isberner:
Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin. FoIKS 2024: 144-162 - 2023
- [j62]Gabriele Kern-Isberner, Meliha Sezgin, Christoph Beierle:
A kinematics principle for iterated revision. Artif. Intell. 314: 103827 (2023) - [j61]Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm:
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks. Artif. Intell. 317: 103876 (2023) - [j60]Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Epistemic State Mappings among Ranking Functions and Total Preorders. FLAP 10(2): 155-191 (2023) - [j59]Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
Activation-based Conditional Inference. FLAP 10(2): 221-247 (2023) - [j58]Andre Thevapalan, Gabriele Kern-Isberner:
On Establishing Robust Consistency in Answer Set Programs. Theory Pract. Log. Program. 23(5): 1094-1127 (2023) - [c169]Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer, Jonas Philipp Haldimann, Christoph Beierle:
Conditional Syntax Splitting for Non-monotonic Inference Operators. AAAI 2023: 6416-6424 - [c168]Meliha Sezgin, Gabriele Kern-Isberner:
Implementing Bounded Revision via Lexicographic Revision and C-revision. AAAI 2023: 6525-6532 - [c167]Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle:
On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions. ECSQARU 2023: 224-238 - [c166]Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer:
Conditionals, Infeasible Worlds, and Reasoning with System W. FLAIRS 2023 - [c165]Andre Thevapalan, Marco Wilhelm, Gabriele Kern-Isberner, Pascal Kaiser, Moritz Roidl:
An Interactive Modelling Environment for Designing Warehouse Layouts Based on ASP. FLAIRS 2023 - [c164]Marco Wilhelm, Andre Thevapalan, Gabriele Kern-Isberner:
Prioritizing Answer Sets Based on Conditional Expert Knowledge. FLAIRS 2023 - [c163]Andre Thevapalan, Daan Apeldoorn, Gabriele Kern-Isberner, Ralf Georg Meyer, Mathias Nietzke, Torsten Panholzer:
Comparison and Incorporation of Reasoning and Learning Approaches for Cancer Therapy Research. GMDS 2023: 161-171 - [c162]Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck:
Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. JELIA 2023: 462-477 - [c161]Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle:
Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA 2023: 561-576 - [c160]Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds. NMR 2023: 52-63 - [c159]Andre Thevapalan, Gabriele Kern-Isberner:
Sorting Strategies for Interactive Conflict Resolution in ASP. ICLP 2023: 116-128 - [e10]Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner:
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. 2023, ISBN 978-1-956792-02-7 [contents] - 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]