BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × France
1 × Switzerland
1 × USA
1 × United Kingdom
2 × Germany
2 × Japan
Collaborated with:
G.Meyer A.Voß G.Kern-Isberner U.Pletat M.Kulas ∅ E.Börger N.Koch H.Semle W.G.Olthoff M.Finthammer M.Thimm J.Fisseler A.Koch C.Müller J.Dörre C.Rollinger P.H.Schmitt R.Studer
Talks about:
type (6) knowledg (3) abstract (3) program (3) logic (3) represent (2) polymorph (2) system (2) specif (2) reason (2)

Person: Christoph Beierle

DBLP DBLP: Beierle:Christoph

Contributed to:

IJCAR 20102010
IJCAR 20082008
PADL 20072007
WRLA 20002000
FLOPS 19991999
ICLP 19951995
CSL 19911991
ILPS 19911991
ALP 19881988
CSL 19881988
CADE 19861986
TAPSOFT, Vol.2: CFLP 19871987

Wrote 12 papers:

IJCAR-2010-BeierleFKT #automation #information management #probability #reasoning #relational #representation
Automated Reasoning for Relational Probabilistic Knowledge Representation (CB, MF, GKI, MT), pp. 218–224.
IJCAR-2008-BeierleKK #automation #implementation #reasoning
A High-Level Implementation of a System for Automated Reasoning with Default Rules (CB, GKI, NK), pp. 147–153.
PADL-2007-FisselerKBKM #algebra #haskell #information management #using
Algebraic Knowledge Discovery Using Haskell (JF, GKI, CB, AK, CM), pp. 80–93.
WRLA-2000-KulasB #logic #prolog #standard
Defining Standard Prolog in Rewriting Logic (MK, CB), pp. 158–174.
FLOPS-1999-BeierleM #approximate #prolog #source code #type checking #using
Using Types as Approximations for Type Checking Prolog Programs (CB, GM), pp. 251–266.
ICLP-1995-Beierle #logic programming #order #polymorphism #source code
Type Inferencing for Polymorphic Order-Sorted Logic Programs (CB), pp. 765–779.
CSL-1991-BeierleB #correctness #proving
Correctness Proof For the WAM with Types (CB, EB), pp. 15–34.
ISLP-1991-BeierleMS #automaton #order #polymorphism
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution (CB, GM, HS), pp. 272–286.
ALP-1988-BeierleP #data type #equation #logic programming #specification
Integrating Logic Programming and Equational Specification of Abstract Data Types (CB, UP), pp. 71–82.
CSL-1988-BeierleDPRSS #information management #representation
The Knowledge Representation Language LLILOG (CB, JD, UP, CRR, PHS, RS), pp. 14–51.
CADE-1986-BeierleOV #automation #proving #theorem proving
Automatic Theorem Proving in the ISDV System (CB, WGO, AV), pp. 670–671.
CFLP-1987-BeierleV #canonical #data type #specification #theory and practice
Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications (CB, AV), pp. 320–334.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.