Conference Paper, Proceedings of the 25th International Conference on Logic Programming, 2009, Pasadena, CA
Authors: Matthias Broecheler, Gerardo I. Simari, and V.S. Subrahmanian
Direct link to paper

Best Student paper award
Abstract
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When answering a query [...]

Conference Publication, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia
Authors: Gerardo I. Simari, Matthias Broecheler, V.S. Subrahmanian, Sarit Kraus
Direct link to full paper.
Abstract
In this paper, we propose a theoretical framework within which to evaluate the reliability of promises that an agent makes, based on past performance of [...]

Technical Report, 2008, Jacobs University, School of Engineering and Science, Bremen, Germany
Authors: Matthias Bröcheler
Advisor: Professor Dr. Michael Kohlhase
Special Thanks to: Christoph Lange
Direct link to full paper.
Abstract
The body of mathematical knowledge is rapidly increasing and constantly changing. Zentralblatt MATH, an abstracting and reviewing service in the field of mathematics, maintains a database of more than 1.6 [...]