Google
Google Scholar
Semantic Scholar
MS Academic
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
- 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 Conference 2020: 575-580 - [c131]Meliha Sezgin, Gabriele Kern-Isberner:
Generalized Ranking Kinematics for Iterated Belief Revision. FLAIRS Conference 2020: 587-592 - [c130]Marco Wilhelm, Gabriele Kern-Isberner:
Context-Based Inferences from Probabilistic Conditionals with Default Negation at Maximum Entropy. FLAIRS Conference 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 Conference 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 Conference 2019: 494-499 - [c124]Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm:
The Complexity of the Consistency Problem in the Probabilistic Description Logic ALC ^\mathsf 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 ALC^\mathsf 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 Conference 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 Conference 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 Conference 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 Conference 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 Conference 2016: 626-631 - [c92]Maj-Britt Isberner, Gabriele Kern-Isberner:
A Formal Model of Plausibility Monitoring in Language Comprehension. FLAIRS Conference 2016: 662-667 - [c91]Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke:
Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories. FLAIRS Conference 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 Conference 2015: 558-563 - [c84]Gabriele Kern-Isberner, Daniela Huvermann:
Multiple Iterated Belief Revision Without Independence. FLAIRS Conference 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]Matthias Thimm, Gabriele Kern-Isberner:
On Controversiality of Arguments and Stratified Labelings. COMMA 2014: 413-420 - [c81]Patrick Krümpelmann, Tim Janus, Gabriele Kern-Isberner:
Angerona - A Flexible Multiagent Framework for Knowledge-Based Agents. EUMAS 2014: 35-50 - [c80]Christoph Beierle, Rita Hermsen, Gabriele Kern-Isberner:
Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation. FLAIRS Conference 2014 - [c79]Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle:
A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy. FLAIRS Conference 2014 - [c78]Joachim Biskup, Gabriele Kern-Isberner, Patrick Krümpelmann, Cornelia Tadros:
Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions. FoIKS 2014: 97-116 - [c77]Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle:
Probabilistic Knowledge Representation Using Gröbner Basis Theory. ISAIM 2014 - [c76]Christian Eichhorn, Gabriele Kern-Isberner:
LEG Networks for Ranking Functions. JELIA 2014: 210-223 - 2013
- [j31]Frank Weichert, Christoph Mertens, Lars Walczak, Gabriele Kern-Isberner, Mathias Wagner:
A novel approach for connecting temporal-ontologies with blood flow simulations. J. Biomed. Informatics 46(3): 470-479 (2013) - [j30]Marcelo A. Falappa, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari:
Stratified Belief Bases Revision with Argumentative Inference. J. Philos. Log. 42(1): 161-193 (2013) - [c75]Julian Varghese, Christoph Beierle, Nico Potyka, Gabriele Kern-Isberner:
Using probabilistic logic and the principle of maximum entropy for the analysis of clinical brain tumor data. CBMS 2013: 401-404 - [c74]Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese, Gabriele Kern-Isberner:
A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery. ECSQARU 2013: 49-60 - [c73]Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner:
On the Problem of Reversing Relational Inductive Knowledge Representation. ECSQARU 2013: 485-496 - [c72]Gabriele Kern-Isberner, Christian Eichhorn:
Intensional Combination of Rankings for OCF-Networks. FLAIRS Conference 2013 - [c71]Ella Albrecht, Patrick Krümpelmann, Gabriele Kern-Isberner:
Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs. KDPD 2013: 1-16 - [c70]Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner:
Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics. KI 2013: 176-187 - [c69]Patrick Krümpelmann, Gabriele Kern-Isberner:
Secrecy Preserving BDI Agents Based on Answerset Programming. MATES 2013: 124-137 - [i7]Matthias Thimm, Gabriele Kern-Isberner:
Stratified Labelings for Abstract Argumentation. CoRR abs/1308.0807 (2013) - [i6]Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, Guillermo Ricardo Simari:
Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231). Dagstuhl Reports 3(6): 1-21 (2013) - 2012
- [j29]Christoph Beierle, Gabriele Kern-Isberner:
Semantical investigations into nonmonotonic and probabilistic logics. Ann. Math. Artif. Intell. 65(2-3): 123-158 (2012) - [j28]Christoph Beierle, Gabriele Kern-Isberner:
Editorial: Relational approaches to knowledge representation and learning. Log. J. IGPL 20(5): 771-773 (2012) - [j27]Matthias Thimm, Gabriele Kern-Isberner:
On probabilistic inference in relational conditional logics. Log. J. IGPL 20(5): 872-908 (2012) - [j26]Marcelo A. Falappa, Gabriele Kern-Isberner, Maurício D. Luís Reis, Guillermo Ricardo Simari:
Prioritized and Non-prioritized Multiple Change on Belief Bases. J. Philos. Log. 41(1): 77-113 (2012) - [j25]Christoph Beierle, Gabriele Kern-Isberner:
Aspects of Universitarian Distance Teaching and Online Learning. Künstliche Intell. 26(3): 305-306 (2012) - [j24]Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm:
Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications. Trans. Large Scale Data Knowl. Centered Syst. 6: 31-75 (2012) - [c68]Gabriele Kern-Isberner, Matthias Thimm:
A Ranking Semantics for First-Order Conditionals. ECAI 2012: 456-461 - [c67]Christoph Beierle, Gabriele Kern-Isberner:
Conditional Objects Revisited: Variants and Model Translations. FLAIRS Conference 2012 - [c66]Christoph Beierle, Gabriele Kern-Isberner, Karl Södler:
Stepwise Optimization of a Constraint Logic Program for the Computation of Ranking Functions. GI-Jahrestagung 2012: 205-224 - [c65]Patrick Krümpelmann, Gabriele Kern-Isberner:
Belief Base Change Operations for Answer Set Programming. JELIA 2012: 294-306 - 2011
- [j23]Daniel Hölzgen, Thomas Vengels, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner:
Argonauts: a working system for motivated cooperative agents. Ann. Math. Artif. Intell. 61(4): 309-332 (2011) - [j22]Sven Hartmann, Gabriele Kern-Isberner:
Preface. Ann. Math. Artif. Intell. 63(3-4): 209-211 (2011) - [j21]Marcelo A. Falappa, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari:
On the evolving relation between Belief Revision and Argumentation. Knowl. Eng. Rev. 26(1): 35-43 (2011) - [c64]Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis:
ABA: Argumentation Based Agents. ArgMAS 2011: 9-27 - [c63]Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm:
Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. DEXA (1) 2011: 27-46 - [c62]Matthias Thimm, Gabriele Kern-Isberner, Jens Fisseler:
Relational Probabilistic Conditional Reasoning at Maximum Entropy. ECSQARU 2011: 447-458 - [c61]Gabriele Kern-Isberner, Guillermo Ricardo Simari:
A Default Logical Semantics for Defeasible Argumentation. FLAIRS Conference 2011 - [c60]Christoph Beierle, Gabriele Kern-Isberner:
On the computation of ranking functions for default rules - A challenge for constraint programming. GI-Jahrestagung 2011: 249 - [c59]Gabriele Kern-Isberner, Patrick Krümpelmann:
A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets. IJCAI 2011: 937-942 - [c58]Christoph Beierle, Gabriele Kern-Isberner, Karl Södler:
A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming. INAP/WLP 2011: 175-192 - [c57]Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm:
Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. KI 2011: 63-74 - [c56]Diego R. García, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, Alejandro Javier García:
On Influence and Contractions in Defeasible Logic Programming. LPNMR 2011: 199-204 - [c55]Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Regina Fritsch:
Motivating Agents in Unreliable Environments: A Computational Model. MATES 2011: 65-76 - [c54]Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari:
Selective Revision by Deductive Argumentation. TAFA 2011: 147-162 - [i5]Christoph Beierle, Gabriele Kern-Isberner, Karl Södler: