`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: Remmel:Jeffrey_B=

### Contributed to:

### 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.