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.
|
A Logic Programming Framework for Reasoning about Know-How
by Patrick Krümpelmann, Matthias Thimm
In: Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'10), Toronto, Canada, May 2010.
|
Classification and Strategical Issues of Argumentation Games on Structured Argumentation Frameworks
by Matthias Thimm and Alejandro J. García
In: Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'10), Toronto, Canada, May 2010. To appear.
|
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 Log, 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.
|
An Algebraic Framework for Modeling and Processing Hyperdocuments
by Mattick, V.
In: Tagungsband des 15. Kolloquiums über Programmiersprachen und Grundlagen der Programmierung, Maria Taferl, Österreich, To appear |
Representing Statistical Information and Degrees of Belief in First-Order Probabilistic Conditional Logic
by Matthias Thimm
In: Proceedings of the First Workshop on Relational Approaches to Knowledge Representation and Learning. Paderborn, Germany, September 2009.
|
Towards a Toolbox for Relational Probabilistic Knowledge Representation, Reasoning, and Learning
by Marc Finthammer, Sebastian Loh, Matthias Thimm
In: Proceedings of the First Workshop on Relational Approaches to Knowledge Representation and Learning. Paderborn, Germany, September 2009.
|
Towards Dependency Semantics for Conflict Handling in Logic Programs
by Patrick Krümpelmann
In: Proceedings of the Workshop on Relational Approaches to Knowledge Representation and Learning at the KI-2009. (to appear).
|
Forwarding Credible Information in Multi-agent Systems
by Patrick Krümpelmann, Luciano Tamargo, Alejandro Garcia, and Marcelo A. Falappa
In: Proceedings of the 3'rd International Conference on Knowledge Science, Engineering and Management (KSEM'09). Springer. 2009. (to appear).
|
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.
|
Measuring Inconsistency in Probabilistic Knowledge Bases
by Matthias Thimm
In: Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence (UAI'09). Montreal, Canada, June 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.
|
Know-How for Motivated BDI Agents (Extended Abstract)
by Matthias Thimm, Patrick Krümpelmann
In: Decker, Sichman, Sierra and Castelfranchi (Eds.), Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09), pages 1143-1144. Budapest, Hungary, May 2009.
|
Realizing Argumentation in Multi-Agent Systems using Defeasible Logic Programming
by Matthias Thimm
In: Proceedings of the Sixth International Workshop on Argumentation in Multi-Agent Systems (ArgMAS'09), pages 155-172. Budapest, Hungary, May 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.
|
|
|
