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 × 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 DBLP: Nerode:Anil

Contributed to:

LICS 19961996
LICS 19951995
ICLP 19931993
JICSLP 19921992
PODS 19921992
LICS 19901990
LICS 19891989
LICS 19861986

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