#### Filter Results:

- Full text PDF available (45)

#### Publication Year

1970

2017

- This year (1)
- Last 5 years (5)
- Last 10 years (14)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Bakhadyr Khoussainov, Anil Nerode
- LCC
- 1994

- J. M. Davoren, Anil Nerode
- 2000

Hybrid systems are heterogenous dynamical systems characterized by interacting continuous and discrete dynamics. Such mathematical models have proved fruitful in a great diversity of engineering applications, including air traffic control, automated manufacturing and chemical process control. The high-profile and safety-critical nature of the application… (More)

- Anil Nerode, Richard A. Shore
- Texts and Monographs in Computer Science
- 1993

- Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian
- J. ACM
- 1994

Though the declarative semantics of both explicit and nonmonotonic negation in logic programs has been studied extensively, relatively little work has been done on computation and implementation of these semantics. In this paper, we study three different approaches to computing stable models of logic programs based on mixed integer linear programming… (More)

- Victor W. Marek, Anil Nerode, Jeffrey B. Remmel
- LICS
- 1990

In mathematics, a consequence drawn by a deduction from a set of premises can also drawn by the same deduction from any larger set of premises. The deduction remains a deduction no matter how the axioms are increased. This is monotonic reasoning, much imitated in other, less certain, disciplines. The very nature of monotonic reasoning makes mathematical… (More)

- Anil Nerode, Wolf Kohn
- Hybrid Systems
- 1992

- Victor W. Marek, Anil Nerode, Jeffrey B. Remmel
- JICSLP
- 1992

Gelfond-Lifschitz [7] introduced the concept of a stable model M of a Predicate Logic Program P . Here we show that, up to a recursive 1-1 coding, the set of all stable models of finite Predicate Logic Programs and the Π1 classes (equivalently, the set of all infinite branches of recursive trees) coincide (Theorems 4.1 and 5.1). Typical consequences: 1)… (More)

- James J. Lu, Anil Nerode, V. S. Subrahmanian
- IEEE Trans. Knowl. Data Eng.
- 1996

- Xiaolin Ge, Anil Nerode
- LFCS
- 1994

- Anil Nerode, Wolf Kohn
- Hybrid Systems
- 1992