BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Italy
6 × USA
Collaborated with:
A.Nerode V.W.Marek A.Brik V.W.Marek A.Deutsch A.Nash A.Scedrov
Talks about:
logic (3) nonmonoton (2) complex (2) theori (2) system (2) grade (2) asp (2) lifschitz (1) polynomi (1) version (1)

Person: Jeffrey B. Remmel

DBLP DBLP: Remmel:Jeffrey_B=

Contributed to:

ICLP 20112011
ICLP 20082008
PODS 20082008
LICS 19961996
LICS 19951995
JICSLP 19921992
LICS 19901990
LICS 19891989

Wrote 8 papers:

ICLP-2011-BrikR #hybrid
Hybrid ASP (AB, JBR), pp. 40–50.
ICLP-2008-MarekR #on the
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (VWM, JBR), pp. 223–237.
PODS-2008-DeutschNR #revisited
The chase revisited (AD, AN, JBR), pp. 149–158.
LICS-1996-MarekNR #abduction #complexity #on the
On the Complexity of Abduction (VWM, AN, JBR), pp. 513–522.
LICS-1995-MarekNR #complexity #logic #reasoning
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning (VWM, AN, JBR), pp. 178–185.
JICSLP-1992-MarekNR #logic programming #modelling
The Stable Models of a Predicate Logic Program (VWM, AN, JBR), pp. 446–460.
LICS-1990-MarekNR #formal method
A Theory of Nonmonotonic Rule Systems (VWM, AN, JBR), pp. 79–94.
LICS-1989-NerodeRS #logic
Polynomially Grade Logic I: A Graded Version of System T (AN, JBR, AS), pp. 375–385.

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.