Is this you? Create Your Porfile
Avatar

Anil Nerode

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where Anil Nerode is active.

Explore More

Publication

Featured researches published by Anil Nerode.

Archive | 1991

Logic programming and non-monotonic reasoning : proceedings of the second international workshop

Luis Moniz Pereira; Anil Nerode

Archive | 1993

SLS-resolution without floundering

Luis Moniz Pereira; Anil Nerode

Archive | 1993

A Characterization of Stable Models using a Non-Monotonic Operator

Luis Moniz Pereira; Anil Nerode

Archive | 1993

A Sequent Axiomatization of Three-valued Logic with Two Negations

Luis Moniz Pereira; Anil Nerode

Archive | 1993

Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter

Luis Moniz Pereira; Anil Nerode

Archive | 1993

Rational default logic and disjunctive logic programming

Luis Moniz Pereira; Anil Nerode

Archive | 1993

Negation as Failure to Support

Luis Moniz Pereira; Anil Nerode

Archive | 1993

An Intuitionistic Interpretation of Finite and Infinite Failure

Luis Moniz Pereira; Anil Nerode

Archive | 1993

An Abductive Framework for Generalized Logic Programs

Luis Moniz Pereira; Anil Nerode

Archive | 1993

Negation as Partial Failure

Luis Moniz Pereira; Anil Nerode

Explore More

Collaboration

Dive into the Anil Nerode's collaboration.

Explore More
Researchain Logo
Decentralizing Knowledge