Can Bobby demand delivery? Towards a knowledge-based system for private law
by Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm
In: Proceedings of the 24th Workshop on Constraint Logic Programming (WLP'10). Cairo, Egypt, September 2010.
|
Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law
by Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm
In: Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10). Desenzano del Garda, Italy, September 2010.
|
Automated Reasoning for Relational Probabilistic Knowledge Representation
by Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm
In: Proceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR'10), Edinburgh, UK, July 2010.
|
Novel Semantical Approaches to Relational Probabilistic Conditionals
by Gabriele Kern-Isberner and Matthias Thimm
In: Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR'10), Toronto, Canada, May 2010. To appear.
|
A System for Relational Probabilistic Reasoning on Maximum Entropy
by Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner and Christoph Beierle
In: Proceedings of the 23rd International FLAIRS Conference (FLAIRS'10), Daytona Beach, USA, May 2010. To appear.
|
On the Problem of Grounding a Relational Probabilistic Conditional Knowledge Base
by Sebastian Loh, Matthias Thimm, Gabriele Kern-Isberner
In: Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'10), Toronto, Canada, May 2010.
|
Relational Approaches to Knowledge Representation and Learning
by Christoph Beierle and Gabrielle Kern-Isberner, editors.
In: Proceedings of the Workshop at the 32nd Annual German Conference on Artificial Intelligence, KI-2009. Informatik-Bericht 354, Fakultät für Mathematik und Informatik, FernUniversität Hagen, 2009.
|
A Conceptual Agent Model based on a Uniform Approach to Various Belief Operations
by Christoph Beierle and Gabriele Kern-Isberner
In: B. Mertsching, M. Hund, and Z. Aziz, editors, KI 2009: Advances in Artificial Intelligence. Proceedings of the 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009, volume 5803 of Lecture Notes in Artificial Intelligence, pages 273-280. Springer, 2009.
|
An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic
by Mark Finthammer and Christoph Beierle and Benjamin Berger and Gabriele Kern-Isberner
In: E. Erdem, F. Lin, and T. Schaub, editors, Logic Programming and Nonmonotonic Reasoning, Proceedings of the10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, volume 5753 of Lecture Notes in Computer Science, pages 496-501. Springer, 2009.
|
Belief Revision and Argumentation Theory
by Marcelo Alejandro Falappa, Gabriele Kern-Isberner, and Guillermo Ricardo Simar
In: Simari, G.R. and Rahwan, I., editors, Argumentation in Artificial Intelligence. Springer, 2009.
|
Mining Default Rules From Statistical Data
by Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer, and Jens Fisseler
In: Proceedings of the 22th International FLAIRS Conference (FLAIRS'09). Sanibel Island, USA, May 2009.
|
Formal similarities and differences between qualitative conditional semantics
by Christoph Beierle and Gabriele Kern-Isberner
In: International Journal of Approximate Reasoning, 50:1333-1346, 2009.
|
Qualitative Knowledge Discovery
by Gabriele Kern-Isberner, Matthias Thimm, and Marc Finthammer
In: Klaus-Dieter Schewe, Bernhard Thalheim (Eds.), Proceedings of the Third International Workshop on Semantics in Data and Knowledge Bases (SDKB), volume 4925 of Lecture Notes in Computer Science, pages 77-102. Springer, December 2008.
|
A formal approach to agent-based knowledge representation and reasoning using default rules
by Christoph Beierle and Gabriele Kern-Isberner
In: G. E. Lasker and J. Pfalzgraf, editors, Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. (Volume II). IIAS, Tecumseh, Canada, 2008.
|
A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)
by Christoph Beierle, Gabriele Kern-Isberner, and Nicole Koch
In: A. Armando, P. Baumgartner, and G. Dowek, editors, Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR-2008), volume 5195 of Lecture Notes in Computer Science, pages 147-153. Springer, 2008.
|
Propagating Credibility in Answer Set Programs
by Patrick Krümpelmann and Gabriele Kern-Isberner
In: Proceedings of the 22nd Workshop on (Constraint) Logic Programming (WLP08). Dresden, Germany, October 2008.
|
Towards Enforcement of Confidentiality in Agent Interactions
by Joachim Biskup, Gabriele Kern-Isberner, and Matthias Thimm
In: M. Pagnucco and M. Thielscher (Eds.), Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning (NMR'08), pages 104-112. University of New South Wales, Technical Report UNSW-CSE-TR-0819, Sydney, Australia, September 2008.
|
Using Collaborations for Distributed Argumentation with Defeasible Logic Programming
by Matthias Thimm, Alejandro J. Garcia, Gabriele Kern-Isberner, and Guillermo R. Simari
In: M. Pagnucco and M. Thielscher (Eds.), Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning (NMR'08), pages 179-188. University of New South Wales, Technical Report UNSW-CSE-TR-0819, Sydney, Australia, September 2008.
|
Linking iterated belief change operations to nonmonotonic reasoning
by Gabriele Kern-Isberner
In: G. Brewka and J. Lang (Eds.), Proceedings 11th International Conference on Knowledge Representation and Reasoning, KR'2008, pp. 166-176. AAAI Press, Menlo Park, CA, 2008.
|
Combining Reinforcement Learning and Belief Revision - A Learning System for Active Vision
by Thomas Leopold, Gabriele Kern-Isberner, and Gabriele Peters
In: Proceedings of the British Machine Vision Conference 2008, BMVC'08, 2008.
|
|
|
