Anil Nerode

According to our database, Anil Nerode authored at least 94 papers between 1970 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP).

Anil Nerode, Yanhong A. Liu

CoRR, 2024

2023

John Crossley: A life intellectual.

Anil Nerode

Log. J. IGPL, November, 2023

2022

Editorial.

Sergei Artemov, Anil Nerode

J. Log. Comput., 2022

2020

Special Issue on Logical Foundations of Computer Science.

Sergei N. Artëmov, Anil Nerode

J. Log. Comput., 2020

2017

Prequel to the Cornell Computer Science Department.

Anil Nerode

Proceedings of the Computability and Complexity, 2017

2016

In Memoriam: Hartley Rogers, Jr. 1926-2015.

Anil Nerode

Bull. Symb. Log., 2016

2015

A Micro-Grid Distributed Intelligent Control and Management System.

Wolf Kohn, Zelda B. Zabinsky, Anil Nerode

IEEE Trans. Smart Grid, 2015

2014

The life and work of Sergei Artemov.

Anil Nerode, Melvin Fitting

Ann. Pure Appl. Log., 2014

Editorial.

Anil Nerode, Melvin Fitting

Ann. Pure Appl. Log., 2014

Musings on Turing's Thesis.

Anil Nerode

Proceedings of the Turing's Legacy: Developments from Turing's Ideas in Logic, 2014

2012

Preface.

Sergei N. Artëmov, Anil Nerode

Ann. Pure Appl. Log., 2012

A Small Tribute.

Anil Nerode

Proceedings of the Logic and Program Semantics, 2012

2010

Review: Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon Feferman.

Anil Nerode

Am. Math. Mon., 2010

2009

Effective dimension of points visited by Brownian motion.

Bjørn Kjos-Hanssen, Anil Nerode

Theor. Comput. Sci., 2009

2008

Open Questions in the Theory of Automatic Structures.

Bakhadyr Khoussainov, Anil Nerode

Bull. EATCS, 2008

Consistency properties and set based logic programming.

Anil Nerode, Jeffrey B. Remmel

Ann. Math. Artif. Intell., 2008

2007

Evaluating distributed xacml policies.

Vijayant Dhankhar, Saket Kaushik, Duminda Wijesekera, Anil Nerode

Proceedings of the 4th ACM Workshop On Secure Web Services, 2007

The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion.

Bjørn Kjos-Hanssen, Anil Nerode

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

A Synthesis Algorithm for Hybrid Systems.

Srikanth Gottipati, Anil Nerode

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Logic and Control.

Anil Nerode

Proceedings of the Computation and Logic in the Real World, 2007

2005

Tableaux for constructive concurrent dynamic logic.

Duminda Wijesekera, Anil Nerode

Ann. Pure Appl. Log., 2005

An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy.

Duminda Wijesekera, James Bret Michael, Anil Nerode

Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005

2004

Preface.

Anil Nerode

Ann. Pure Appl. Log., 2004

Effective completeness theorems for modal logic.

Suman Ganguli, Anil Nerode

Ann. Pure Appl. Log., 2004

On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies.

Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode

Proceedings of the Formal Techniques, 2004

2002

Foreword.

Ker-I Ko, Anil Nerode, Klaus Weihrauch

Theor. Comput. Sci., 2002

Hybrid Control Loops, A/D Maps, and Dynamic Specifications.

Jennifer M. Davoren, Thomas Moor, Anil Nerode

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

2001

Normal forms and syntactic completeness proofs for functional independencies.

Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode

Theor. Comput. Sci., 2001

2000

Asynchronous, distributed, decision-making systems with semi-autonomous entities: a mathematical framework.

Tony S. Lee, Sumit Ghosh, Anil Nerode

IEEE Trans. Syst. Man Cybern. Part B, 2000

Logics for hybrid systems.

Jennifer M. Davoren, Anil Nerode

Proc. IEEE, 2000

1999

Experimental Evaluation of Loss Perception in Continuous Media.

Duminda Wijesekera, Jaideep Srivastava, Anil Nerode, Mark Foresti

Multim. Syst., 1999

Logic Programs, Well-Orderings, and Forward Chaining.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Ann. Pure Appl. Log., 1999

A Mathematical Framework for Asynchronous, Distributed, Decision-Making Systems with Semi-Autonomous Entities: Algorithm Synthesis, Simulation, and Evaluation.

Tony S. Lee, Sumit Ghosh, Anil Nerode

Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

1998

Hybrid Control Systems: An Introductory Discussion to the Special Issue.

Panos J. Antsaklis, Anil Nerode

IEEE Trans. Autom. Control., 1998

Computable Kripke Models and Intermediate Logics.

Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode

Inf. Comput., 1998

Decidable Kripke Models of Intuitionistic Theories.

Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode

Ann. Pure Appl. Log., 1998

Performance evaluation of media losses in the Continuous Media Toolkit.

Duminda Wijesekera, Srivatsan Varadarajan, Shwetal S. Parikh, Jaideep Srivastava, Anil Nerode

Proceedings of the 1998 International Workshop on Multimedia Software Engineering, 1998

1997

Annotated Nonmonotonic Rule Systems.

Anil Nerode, Jeffrey B. Remmel, V. S. Subrahmanian

Theor. Comput. Sci., 1997

Complexity of Recursive Normal Default Logic.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Fundam. Informaticae, 1997

Nonmonotonic rule systems with recursive sets of restraints.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Arch. Math. Log., 1997

Tableaux for Functional Dependencies and Independencies.

Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

Basic Forward Chaining Construction for Logic Programs.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

Topological Semantics for Hybrid Systems.

Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

Optimal Controller Switching for Stochastic Systems.

Efstratios Skafidas, Robin J. Evans, Iven M. Y. Mareels, Anil Nerode

Proceedings of the Hybrid Systems V, 1997

Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems.

Wolf Kohn, Anil Nerode, Jeffrey B. Remmel

Proceedings of the Hybrid Systems V, 1997

Logic for Applications, Second Edition.

Anil Nerode, Richard A. Shore

Graduate Texts in Computer Science, Springer, ISBN: 978-1-4612-0649-1, 1997

1996

Implementing Deductive Databases by Mixed Integer Programming.

Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian

ACM Trans. Database Syst., 1996

Hybrid Knowledge Bases.

James J. Lu, Anil Nerode, V. S. Subrahmanian

IEEE Trans. Knowl. Data Eng., 1996

Computing Minimal Models by Partial Instantiation.

Vadim Kagan, Anil Nerode, V. S. Subrahmanian

Theor. Comput. Sci., 1996

A Non-Ground Realization of the Stable and Well-Founded Semantics.

Georg Gottlob, Sherry Marcus, Anil Nerode, Gernot Salzer, V. S. Subrahmanian

Theor. Comput. Sci., 1996

Preface - Special Volume Dedicated to the late Stephen Cole Kleene.

Anil Nerode, Gerald E. Sacks

Ann. Pure Appl. Log., 1996

McNaughton Games and Extracting Strategies for Concurrent Programs.

Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis

Ann. Pure Appl. Log., 1996

On the Lattices of NP-Subspaces of a Polynomial Time Vector Space over a Finite Field.

Anil Nerode, Jeffrey B. Remmel

Ann. Pure Appl. Log., 1996

Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg".

Yuri V. Matiyasevich, Anil Nerode

Ann. Pure Appl. Log., 1996

Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma.

Xiaolin Ge, Anil Nerode

Ann. Pure Appl. Log., 1996

On the Complexity of Abduction.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Proceedings of the Proceedings, 1996

Hybrid System Games: Extraction of Control Automata with Small Topologies.

Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis

Proceedings of the Hybrid Systems IV, 1996

Agent Based Velocity Control of Highway Systems.

Wolf Kohn, Anil Nerode, Jeffrey B. Remmel

Proceedings of the Hybrid Systems IV, 1996

1995

Computing Circumscriptive Databases: I. Theory and Algorithms

Anil Nerode, Raymond T. Ng, V. S. Subrahmanian

Inf. Comput., January, 1995

Viability in Hybrid Systems.

Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis

Theor. Comput. Sci., 1995

Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Proceedings of the Proceedings, 1995

Hybrid Systems: Chattering Approximation to Relaxed Controls.

Xiaolin Ge, Wolf Kohn, Anil Nerode, Jeffrey B. Remmel

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994

Introduction.

Anil Nerode, Victor W. Marek, V. S. Subrahmanian

Methods Log. Comput. Sci., 1994

The Stable Models of a Predicate Logic Program.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

J. Log. Program., 1994

Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases.

Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian

J. ACM, 1994

A Selection of Papers Presented at the Symposium "Logic at Tver '92" - Preface.

Anil Nerode, Michael A. Taitslin

Ann. Pure Appl. Log., 1994

A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Ann. Pure Appl. Log., 1994

Computing Definite Logic Programs by Partial Instantiation.

Vadim Kagan, Anil Nerode, V. S. Subrahmanian

Ann. Pure Appl. Log., 1994

On Logical Constraints in Logic Programming.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Proceedings of the ILPS 1994, 1994

The Notion of Rank and Games.

Bakhadyr Khoussainov, Anil Nerode

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

On Extreme Points of Convex Compact Turing Located Set.

Xiaolin Ge, Anil Nerode

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

Automatic Presentations of Structures.

Bakhadyr Khoussainov, Anil Nerode

Proceedings of the Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, 1994

Controllers as Fixed Points of Set-Valued Operators.

Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis

Proceedings of the Hybrid Systems II, 1994

Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections.

Wolf Kohn, Anil Nerode, Jeffrey B. Remmel

Proceedings of the Hybrid Systems II, 1994

1993

Autonomous Control of Hybrid Systems with Declarative Controllers.

Wolf Kohn, Anil Nerode

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Implementing Stable Semantics by Linear Programming.

Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Hybrid Systems and Constraint Logic Programming.

Anil Nerode, Wolf Kohn

Proceedings of the Logic Programming, 1993

Logic for Applications.

Anil Nerode, Richard A. Shore

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4684-0211-7, 1993

1992

How Complicated is the Set of Stable Models of a Recursive Logic Program?

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Ann. Pure Appl. Log., 1992

A Theory of Nonmonotonic Rule Systems II.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Ann. Math. Artif. Intell., 1992

Implementing Deductive Databases by Linear Programming.

Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian

Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Rule Systems and Well-Orderings.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Proceedings of the Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992

Models for Hybrid Systems: Automata, Topologies, Controllability, Observability.

Anil Nerode, Wolf Kohn

Proceedings of the Hybrid Systems, 1992

Multiple Agent Hybrid Control Architecture.

Anil Nerode, Wolf Kohn

Proceedings of the Hybrid Systems, 1992

Introduction.

Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel

Proceedings of the Hybrid Systems, 1992

1990

A Theory of Nonmonotonic Rule Systems I.

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Ann. Math. Artif. Intell., 1990

A Theory of Nonmonotonic Rule Systems

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1989

Complexity-Theoretic Algebra II: Boolean Algebras.

Anil Nerode, Jeffrey B. Remmel

Ann. Pure Appl. Log., 1989

Polynomially Grade Logic I: A Graded Version of System T

Anil Nerode, Jeffrey B. Remmel, Andre Scedrov

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

1987

Complexity theoretic algebra I - vector spaces over finite fields.

Anil Nerode, Jeffrey B. Remmel

Proceedings of the Second Annual Conference on Structure in Complexity Theory, 1987

1986

Generic objects in recursion theory II: Operations on recursive approximation spaces.

Anil Nerode, Jeffrey B. Remmel

Ann. Pure Appl. Log., 1986

A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture).

Anil Nerode

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1986

1973

Meeting of the Association for Symbolic Logic.

Anil Nerode, K. Jon Barwise

J. Symb. Log., 1973

1970

A Universal Embedding Property of the RETs.

Anil Nerode, Alfred B. Manaster

J. Symb. Log., 1970