`Travelled to:`

1 × Hungary

7 × USA

`Collaborated with:`

J.B.Remmel V.W.Marek W.Kohn ∅ A.Scedrov C.Bell R.T.Ng V.S.Subrahmanian

`Talks about:`

system (4) logic (4) program (3) nonmonoton (2) complex (2) grade (2) constraint (1) implement (1) research (1) polynomi (1)

## Person: Anil Nerode

### DBLP: Nerode:Anil

### Contributed to:

### Wrote 8 papers:

- 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.
- ICLP-1993-NerodeK #constraints #hybrid #logic programming
- Hybrid Systems and Constraint Logic Programming (AN, WK), pp. 18–24.
- JICSLP-1992-MarekNR #logic programming #modelling
- The Stable Models of a Predicate Logic Program (VWM, AN, JBR), pp. 446–460.
- PODS-1992-BellNNS #database #deduction #implementation #linear #programming
- Implementing Deductive Databases by Linear Programming (CB, AN, RTN, VSS), pp. 283–292.
- 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.
- LICS-1986-Nerode #research
- A Logician Looks at Expert Systems: Areas for Mathematical Research (AN), p. 120.