| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Annika Krämer, Christoph Beierle |
On Lifted Inference for a Relational Probabilistic Conditional Logic with Maximum Entropy Semantics.  |
FoIKS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner, Karl Södler |
A Constraint Logic Programming Approach for Computing Ordinal Conditional Functions |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm |
Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. |
DEXA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm |
Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. |
KI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruth Janning, Christoph Beierle |
Transformation Rules for First-Order Probabilistic Conditional Logic Yielding Parametric Uniformity. |
KI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Editorial: Dynamics of knowledge and belief. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm |
Automated Reasoning for Relational Probabilistic Knowledge Representation. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics. |
FoIKS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle |
A System for Relational Probabilistic Reasoning on Maximum Entropy. |
FLAIRS Conference |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marc Finthammer, Christoph Beierle, Jens Fisseler, Gabriele Kern-Isberner, Bülent Möller, Jörg Ingo Baumbach |
Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry. |
IPMU |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm |
Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law. |
COMMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Formal similarities and differences among qualitative conditional semantics. |
Int. J. Approx. Reasoning |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner |
An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner |
Probabilistic Reasoning at Optimum Entropy with the MEcore System. |
FLAIRS Conference |
2009 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
On the Modelling of an Agent's Epistemic State and its Dynamic Changes. |
ECEASST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen (4. Aufl.). |
|
2008 |
RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch |
A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
A Verified AsmL Implementation of Belief Revision. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller |
Algebraic Knowledge Discovery Using Haskell. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle |
Learning Uncertain Rules with CONDORCKD. |
FLAIRS Conference |
2007 |
DBLP BibTeX RDF |
|
| 1 | Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle |
Computer Science Exercises in a Virtual University. |
CSREA EEE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle |
An Extendable System for the Specification and Generation of Interactive Self-tests. |
Edutainment |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Immo Schulz-Gerlach, Christoph Beierle |
Ein erweiterbares interaktives Online-Übungssystem mit Aufgaben zu Aussagen- und Prädikatenlogik. |
DeLFI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
A Note on Comparing Semantics for Conditionals. |
FLAIRS Conference |
2006 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso |
Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. |
Nonmonotonic Reasoning, Answer Set Programming and Constraints |
2005 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera |
Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. |
DeLFI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner |
Using Answer Set Programming for a Decision Support System. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Footprints of Conditionals. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Marija Kulas, Manfred Widera |
A Pragmatic Approach to Pre-testing Prolog Programs. |
INAP/WLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
A Logical Study on Qualitative Default Reasoning with Probabilities. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
An Alternative View of Knowledge Discovery. (PDF / PS) |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
probabilistic conditionals, inverse representation problem, data mining, knowledge representation, knowledge discovery, reasoning under uncertainty |
| 1 | Christoph Beierle, Marjaa Kulaa, Manfred Widera |
Automatic Analysis of Programming Assignments. |
DeLFI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
On the Interpretation of Uncertain Rules in Prepositional Logic. |
IC-AI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Looking at Probabilistic Conditionals from an Institutional Point of View. |
WCII |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Widera, Christoph Beierle |
Function Types in Complete Type Inference. |
Scottish Functional Programming Workshop |
2001 |
DBLP BibTeX RDF |
|
| 1 | Marija Kulas, Christoph Beierle |
Defining Standard Prolog in Rewriting Logic. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen. |
|
2000 |
RDF |
|
| 1 | Manfred Widera, Christoph Beierle |
Detecting common elements of types. |
Scottish Functional Programming Workshop |
2000 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Reinhold Kloos, Gregor Meyer |
A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gregor Meyer |
Using Types as Approximations for Type Checking Prolog Programs. |
Fuji International Symposium on Functional and Logic Programming |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Widera, Christoph Beierle |
How to Combine the Benefits of Strict and Soft Typing. |
Scottish Functional Programming Workshop |
1999 |
DBLP BibTeX RDF |
|
| 1 | Manfred Widera, Christoph Beierle |
Combining Strict and Soft Typing in Functional Programming. |
GI Jahrestagung |
1999 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Egon Börger |
Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. |
Formal Asp. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Egon Börger |
Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. |
Formal Asp. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle |
Concepts, Implementation, and Applications of a Typed Logic Programming Language. |
Logic Programming: Formal Methods and Practical Applications |
1995 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle |
Type Inferencing for Polymorphic Order-Sorted Logic Programs. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene |
Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. |
Formal Methods for Industrial Applications |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gregor Meyer |
Run-Time Type Computations in the Warren Abstract Machine. |
J. Log. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle |
Formal Design of an Abstract Machine for Constraint Logic Programming. |
IFIP Congress |
1994 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Udo Pletat, Rudi Studer |
Knowledge Representation for Natural Language Understanding: The LLILOG Approach. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
L/sub LILOG/ approach, logic-based knowledge representation language, semantic background knowledge, frame-like features-value descriptions, order-sorted predicated logic framework, knowledge representation, natural languages, formal semantics, computational linguistics, natural language understanding |
| 1 | Gregor Meyer, Christoph Beierle, Ralph Scheubrein |
Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken |
IWBS Report |
1992 |
RDF |
|
| 1 | Michel Bénichou, Henri Beringer, Jean-Michel Gauthier, Christoph Beierle |
Prolog at IBM: An Advanced and Evolving Application Development Technology. |
IBM Systems Journal |
1992 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle |
Logic programming with typed unification and its realization on an abstract machine. |
IBM Journal of Research and Development |
1992 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann |
An Order-Sorted Logic for Knowledge Representation Systems. |
Artif. Intell. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle |
Knowledge Based PPS Applications in PROTOS-L. |
Logic Programming Summer School |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle |
An Overview on Planning Applications in PROTOS-L |
IWBS Report |
1991 |
RDF |
|
| 1 | Christoph Beierle, Egon Börger |
A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof |
IWBS Report |
1991 |
RDF |
|
| 1 | Christoph Beierle, Gregor Meyer, Heiner Semle |
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution |
IWBS Report |
1991 |
RDF |
|
| 1 | Christoph Beierle, Egon Börger |
Correctness Proof for the WAM |
IWBS Report |
1991 |
RDF |
|
| 1 | Christoph Beierle, Stefan Böttcher, Gregor Meyer |
Draft Report of the Logic Programming Language PROTOS-L |
IWBS Report |
1991 |
RDF |
|
| 1 | Christoph Beierle, Gregor Meyer, Heiner Semle |
A Brief Description of the PROTOS-L System. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gregor Meyer, Heiner Semle |
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. |
ISLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Egon Börger |
Correctness Proof For the WAM with Types. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Angi Voß |
Stepwise Software Development with Algebraic Specifications |
IWBS Report |
1990 |
RDF |
|
| 1 | Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann |
An Order-Sorted Logic for Knowledge Representation Systems |
IWBS Report |
1990 |
RDF |
|
| 1 | Stefan Böttcher, Christoph Beierle |
Database Support for the PROTOS-L System |
IWBS Report |
1989 |
RDF |
|
| 1 | Christoph Beierle |
Types, Modules and Databases in the Logic Programming Language PROTOS-L |
IWBS Report |
1989 |
RDF |
|
| 1 | Christoph Beierle, Stefan Böttcher |
PROTOS-L: Towards a Knowledge Base Programming Language |
IWBS Report |
1989 |
RDF |
|
| 1 | Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann |
An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information |
IWBS Report |
1989 |
RDF |
|
| 1 | Christoph Beierle, Udo Pletat |
The Algebra of Feature Graph Specifications |
IWBS Report |
1989 |
RDF |
|
| 1 | Christoph Beierle |
Types, Modules and Databases in the Logic Programming Language PROTOS-L. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Stefan Böttcher |
PROTOS-L: Towards a Knowledge Base Programming Language. |
Wissensbasierte Systeme |
1989 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Udo Pletat, Hans Uszkoreit |
An Algebraic Characterization of STUF |
LILOG-Report |
1988 |
RDF |
|
| 1 | Christoph Beierle, Walter G. Olthoff, Angi Voß |
Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung |
LILOG-Report |
1988 |
RDF |
|
| 1 | Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer |
The Knowledge Representation Language LLILOG |
LILOG-Report |
1988 |
RDF |
|
| 1 | Christoph Beierle, Udo Pletat |
Semantics of Logic Programs with Equational Abstract Data Type Specifications |
LILOG-Report |
1988 |
RDF |
|
| 1 | Christoph Beierle, Udo Pletat |
Feature Graphs and Abstract Data Types: A Unifying Approach |
LILOG-Report |
1988 |
RDF |
|
| 1 | Christoph Beierle, Walter G. Olthoff, Angi Voß |
Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. |
Informatik Spektrum |
1988 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Udo Pletat, Hans Uszkoreit |
An Algebraic Characterization of STUF. |
Computerlinguistik und ihre theoretischen Grundlagen |
1988 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Udo Pletat |
Integrating Logic Programming and Equational Specification of Abstract Data Types. |
ALP |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Udo Pletat |
Feature graphs and abstract data types: a unifying approach. |
COLING |
1988 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer |
The Knowledge Representation Language LLILOG. |
CSL |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Udo Pletat, Christoph Beierle |
The Semantics of Asserting and Retracting Clauses to Logic Programs |
LILOG-Report |
1987 |
RDF |
|
| 1 | Christoph Beierle, Udo Pletat |
On the Interpretation of Equality, Sorts, and Logic Programming |
LILOG-Report |
1987 |
RDF |
|
| 1 | Christoph Beierle, Angi Voß |
Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Angi Voß |
On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition. |
STACS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Angi Voß |
Viewing Implementations as an Institution. |
Category Theory and Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Udo Pletat |
On the Integration of Equality, Sorts, and Logic Programming. |
ÖGAI |
1987 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Walter G. Olthoff, Angi Voß |
Automatic Theorem Proving in the ISDV System. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Walter G. Olthoff, Angi Voß |
A Software Development Environment Integrating Specification and Programming Languages. |
Software-Architektur |
1986 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle |
Vertical and Horizontal Compositions of Implementation Specifications. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Angi Voß |
Implementation Specifications. |
ADT |
1984 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Angi Voß |
A Parameterization Concept for Hierarchies of Specifications. |
ADT |
1983 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle |
Synthesizing Minimal Programs from Traces of Observable Behaviour. |
ECAI |
1982 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Angi Voß |
Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras. |
ADT |
1982 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")