Anil Nerode

118 papers A* 6B 10C 2Misc 16Journal 54Unranked 22
YearRankTypeTitle / Venue / Authors
2024 J jnl
Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP).
CoRR
Anil Nerode, Yanhong A. Liu
2023 J jnl
John Crossley: A life intellectual.
Log. J. IGPL
Anil Nerode
2022 J jnl
Editorial.
J. Log. Comput.
Sergei Artemov, Anil Nerode
2022 Misc ed.
Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings
LFCS
Sergei N. Artëmov, Anil Nerode
2021 J jnl
Editorial.
J. Log. Comput.
Sergei N. Artëmov, Anil Nerode
2020 J jnl
Editorial.
J. Log. Comput.
Sergei N. Artëmov, Anil Nerode
2020 Misc ed.
Logical Foundations of Computer Science - International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings
LFCS
Sergei N. Artëmov, Anil Nerode
2020 J jnl
Special Issue on Logical Foundations of Computer Science.
J. Log. Comput.
Sergei N. Artëmov, Anil Nerode
2018 Misc ed.
Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings
LFCS
Sergei N. Artëmov, Anil Nerode
2017 — conf
Prequel to the Cornell Computer Science Department.
Computability and Complexity
Anil Nerode
2016 J jnl
In Memoriam: Hartley Rogers, Jr. 1926-2015.
Bull. Symb. Log.
Anil Nerode
2016 Misc ed.
Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
LFCS
Sergei N. Artëmov, Anil Nerode
2015 J jnl
A Micro-Grid Distributed Intelligent Control and Management System.
IEEE Trans. Smart Grid
Wolf Kohn, Zelda B. Zabinsky, Anil Nerode
2014 J jnl
Editorial.
Ann. Pure Appl. Log.
Anil Nerode, Melvin Fitting
2014 — ch.
Musings on Turing's Thesis.
Turing's Legacy
Anil Nerode
2014 J jnl
The life and work of Sergei Artemov.
Ann. Pure Appl. Log.
Anil Nerode, Melvin Fitting
2013 Misc ed.
Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
LFCS
Sergei N. Artëmov, Anil Nerode
2012 — conf
A Small Tribute.
Logic and Program Semantics
Anil Nerode
2012 J jnl
Preface.
Ann. Pure Appl. Log.
Sergei N. Artëmov, Anil Nerode
2010 J jnl
Review: Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon Feferman.
Am. Math. Mon.
Anil Nerode
2009 J jnl
Effective dimension of points visited by Brownian motion.
Theor. Comput. Sci.
Bjørn Kjos-Hanssen, Anil Nerode
2009 Misc ed.
Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
LFCS
Sergei N. Artëmov, Anil Nerode
2008 J jnl
Consistency properties and set based logic programming.
Ann. Math. Artif. Intell.
Anil Nerode, Jeffrey B. Remmel
2008 J jnl
Open Questions in the Theory of Automatic Structures.
Bull. EATCS
Bakhadyr Khoussainov, Anil Nerode
2007 Misc conf
A Synthesis Algorithm for Hybrid Systems.
LFCS
Srikanth Gottipati, Anil Nerode
2007 — conf
Evaluating distributed xacml policies.
SWS
Vijayant Dhankhar, Saket Kaushik, Duminda Wijesekera, Anil Nerode
2007 C conf
Logic and Control.
CiE
Anil Nerode
2007 Misc ed.
Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
LFCS
Sergei N. Artëmov, Anil Nerode
2007 Misc conf
The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion.
LFCS
Bjørn Kjos-Hanssen, Anil Nerode
2005 — conf
An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy.
POLICY
Duminda Wijesekera, James Bret Michael, Anil Nerode
2005 J jnl
Tableaux for constructive concurrent dynamic logic.
Ann. Pure Appl. Log.
Duminda Wijesekera, Anil Nerode
2004 J jnl
Effective completeness theorems for modal logic.
Ann. Pure Appl. Log.
Suman Ganguli, Anil Nerode
2004 — conf
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies.
FORMATS/FTRTFT
Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode
2004 J jnl
Preface.
Ann. Pure Appl. Log.
Anil Nerode
2002 J jnl
Foreword.
Theor. Comput. Sci.
Ker-I Ko, Anil Nerode, Klaus Weihrauch
2002 — conf
Hybrid Control Loops, A/D Maps, and Dynamic Specifications.
HSCC
Jennifer M. Davoren, Thomas Moor, Anil Nerode
2001 J jnl
Normal forms and syntactic completeness proofs for functional independencies.
Theor. Comput. Sci.
Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode
2000 J jnl
Asynchronous, distributed, decision-making systems with semi-autonomous entities: a mathematical framework.
IEEE Trans. Syst. Man Cybern. Part B
Tony S. Lee, Sumit Ghosh, Anil Nerode
2000 J jnl
Logics for hybrid systems.
Proc. IEEE
Jennifer M. Davoren, Anil Nerode
1999 C conf
A Mathematical Framework for Asynchronous, Distributed, Decision-Making Systems with Semi-Autonomous Entities: Algorithm Synthesis, Simulation, and Evaluation.
ISADS
Tony S. Lee, Sumit Ghosh, Anil Nerode
1999 J jnl
Experimental Evaluation of Loss Perception in Continuous Media.
Multim. Syst.
Duminda Wijesekera, Jaideep Srivastava, Anil Nerode, Mark Foresti
1999 — ed.
Hybrid Systems V, Proceedings of the Fifth International Workshop on Hybrid Systems, Notre Dame, IN, USA, September 11-13, 1997
Hybrid Systems
Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry
1999 J jnl
Logic Programs, Well-Orderings, and Forward Chaining.
Ann. Pure Appl. Log.
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1998 J jnl
Computable Kripke Models and Intermediate Logics.
Inf. Comput.
Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode
1998 J jnl
Decidable Kripke Models of Intuitionistic Theories.
Ann. Pure Appl. Log.
Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode
1998 J jnl
Hybrid Control Systems: An Introductory Discussion to the Special Issue.
IEEE Trans. Autom. Control.
Panos J. Antsaklis, Anil Nerode
1998 — conf
Performance evaluation of media losses in the Continuous Media Toolkit.
MSE
Duminda Wijesekera, Srivatsan Varadarajan, Shwetal S. Parikh, Jaideep Srivastava, Anil Nerode
1997 J jnl
Annotated Nonmonotonic Rule Systems.
Theor. Comput. Sci.
Anil Nerode, Jeffrey B. Remmel, V. S. Subrahmanian
1997 Misc conf
Basic Forward Chaining Construction for Logic Programs.
LFCS
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1997 J jnl
Complexity of Recursive Normal Default Logic.
Fundam. Informaticae
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1997 — ed.
Hybrid Systems IV, Proceedings of the Fourth International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1996
Hybrid Systems
Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry
1997 B ed.
Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
LPNMR
Jürgen Dix, Ulrich Furbach, Anil Nerode
1997 — book
Logic for Applications, Second Edition.
Anil Nerode, Richard A. Shore
1997 Misc ed.
Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings
LFCS
Sergei I. Adian, Anil Nerode
1997 J jnl
Nonmonotonic rule systems with recursive sets of restraints.
Arch. Math. Log.
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1997 — conf
Optimal Controller Switching for Stochastic Systems.
Hybrid Systems
Efstratios Skafidas, Robin J. Evans, Iven M. Y. Mareels, Anil Nerode
1997 — conf
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems.
Hybrid Systems
Wolf Kohn, Anil Nerode, Jeffrey B. Remmel
1997 B conf
Tableaux for Functional Dependencies and Independencies.
TABLEAUX
Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode
1997 Misc conf
Topological Semantics for Hybrid Systems.
LFCS
Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode
1996 J jnl
A Non-Ground Realization of the Stable and Well-Founded Semantics.
Theor. Comput. Sci.
Georg Gottlob, Sherry Marcus, Anil Nerode, Gernot Salzer, V. S. Subrahmanian
1996 — conf
Agent Based Velocity Control of Highway Systems.
Hybrid Systems
Wolf Kohn, Anil Nerode, Jeffrey B. Remmel
1996 J jnl
Computing Minimal Models by Partial Instantiation.
Theor. Comput. Sci.
Vadim Kagan, Anil Nerode, V. S. Subrahmanian
1996 J jnl
Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma.
Ann. Pure Appl. Log.
Xiaolin Ge, Anil Nerode
1996 J jnl
Hybrid Knowledge Bases.
IEEE Trans. Knowl. Data Eng.
James J. Lu, Anil Nerode, V. S. Subrahmanian
1996 — conf
Hybrid System Games: Extraction of Control Automata with Small Topologies.
Hybrid Systems
Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
1996 J jnl
Implementing Deductive Databases by Mixed Integer Programming.
ACM Trans. Database Syst.
Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian
1996 J jnl
McNaughton Games and Extracting Strategies for Concurrent Programs.
Ann. Pure Appl. Log.
Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
1996 A* conf
On the Complexity of Abduction.
LICS
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1996 J jnl
On the Lattices of NP-Subspaces of a Polynomial Time Vector Space over a Finite Field.
Ann. Pure Appl. Log.
Anil Nerode, Jeffrey B. Remmel
1996 J jnl
Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg".
Ann. Pure Appl. Log.
Yuri V. Matiyasevich, Anil Nerode
1996 J jnl
Preface - Special Volume Dedicated to the late Stephen Cole Kleene.
Ann. Pure Appl. Log.
Anil Nerode, Gerald E. Sacks
1995 A* conf
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning
LICS
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1995 J jnl
Computing Circumscriptive Databases: I. Theory and Algorithms
Inf. Comput.
Anil Nerode, Raymond T. Ng, V. S. Subrahmanian
1995 — ed.
Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994
Hybrid Systems
Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry
1995 — conf
Hybrid Systems: Chattering Approximation to Relaxed Controls.
Hybrid Systems
Xiaolin Ge, Wolf Kohn, Anil Nerode, Jeffrey B. Remmel
1995 B ed.
Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings
LPNMR
V. Wiktor Marek, Anil Nerode
1995 B conf
On Logical Constraints in Logic Programming.
LPNMR
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1995 J jnl
Viability in Hybrid Systems.
Theor. Comput. Sci.
Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
1994 J jnl
A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems.
Ann. Pure Appl. Log.
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1994 J jnl
A Selection of Papers Presented at the Symposium "Logic at Tver '92" - Preface.
Ann. Pure Appl. Log.
Anil Nerode, Michael A. Taitslin
1994 — conf
Automatic Presentations of Structures.
LCC
Bakhadyr Khoussainov, Anil Nerode
1994 J jnl
Computing Definite Logic Programs by Partial Instantiation.
Ann. Pure Appl. Log.
Vadim Kagan, Anil Nerode, V. S. Subrahmanian
1994 — conf
Controllers as Fixed Points of Set-Valued Operators.
Hybrid Systems
Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
1994 — conf
Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections.
Hybrid Systems
Wolf Kohn, Anil Nerode, Jeffrey B. Remmel
1994 J jnl
Introduction.
Methods Log. Comput. Sci.
Anil Nerode, Victor W. Marek, V. S. Subrahmanian
1994 Misc ed.
Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings
LFCS
Anil Nerode, Yuri V. Matiyasevich
1994 J jnl
Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases.
J. ACM
Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian
1994 Misc conf
On Extreme Points of Convex Compact Turing Located Set.
LFCS
Xiaolin Ge, Anil Nerode
1994 — conf
On Logical Constraints in Logic Programming.
ILPS Workshop: Constraints and Databases
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1994 Misc conf
The Notion of Rank and Games.
LFCS
Bakhadyr Khoussainov, Anil Nerode
1994 J jnl
The Stable Models of a Predicate Logic Program.
J. Log. Program.
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1993 B conf
Autonomous Control of Hybrid Systems with Declarative Controllers.
LPNMR
Wolf Kohn, Anil Nerode
1993 — ed.
Hybrid Systems
Hybrid Systems, Proceedings of the First International Workshop on Hybrid Systems, Cornell University, USA, June 1991, and the Second International Workshop on Hybrid Systems, Lyngby, Denmark, October 1992.
Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
1993 B conf
Hybrid Systems and Constraint Logic Programming.
ICLP
Anil Nerode, Wolf Kohn
1993 B conf
Implementing Stable Semantics by Linear Programming.
LPNMR
Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian
1993 B ed.
Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993
LPNMR
Luís Moniz Pereira, Anil Nerode
1993 — book
Logic for Applications.
Anil Nerode, Richard A. Shore
1992 J jnl
A Theory of Nonmonotonic Rule Systems II.
Ann. Math. Artif. Intell.
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1992 J jnl
How Complicated is the Set of Stable Models of a Recursive Logic Program?
Ann. Pure Appl. Log.
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1992 A* conf
Implementing Deductive Databases by Linear Programming.
PODS
Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian
1992 — ed.
Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, Washington, DC, USA, November 13, 1992
Structural Complexity and Recursion-theoretic methods in Logic-Programming
Howard A. Blair, V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1992 — conf
Introduction.
Hybrid Systems
Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
1992 Misc ed.
Logical Foundations of Computer Science - Tver '92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings
LFCS
Anil Nerode, Michael A. Taitslin
1992 — conf
Models for Hybrid Systems: Automata, Topologies, Controllability, Observability.
Hybrid Systems
Anil Nerode, Wolf Kohn
1992 — conf
Multiple Agent Hybrid Control Architecture.
Hybrid Systems
Anil Nerode, Wolf Kohn
1992 — conf
Rule Systems and Well-Orderings.
Structural Complexity and Recursion-theoretic methods in Logic-Programming
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1992 — conf
The Stable Models of a Predicate Logic Program.
JICSLP
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1991 B ed.
Logic Programming and Non-monotonic Reasoning, Proceedings of the First International Workshop, Washington, D.C., USA, July 1991
LPNMR
Anil Nerode, V. Wiktor Marek, V. S. Subrahmanian
1990 A* conf
A Theory of Nonmonotonic Rule Systems
LICS
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1990 J jnl
A Theory of Nonmonotonic Rule Systems I.
Ann. Math. Artif. Intell.
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1990 B ed.
Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, Austin, TX, USA, November 1-2, 1990
LPNMR
V. Wiktor Marek, Anil Nerode, Dino Pedreschi, V. S. Subrahmanian
1989 J jnl
Complexity-Theoretic Algebra II: Boolean Algebras.
Ann. Pure Appl. Log.
Anil Nerode, Jeffrey B. Remmel
1989 A* conf
Polynomially Grade Logic I: A Graded Version of System T
LICS
Anil Nerode, Jeffrey B. Remmel, Andre Scedrov
1987 — conf
Complexity theoretic algebra I - vector spaces over finite fields.
SCT
Anil Nerode, Jeffrey B. Remmel
1986 A* conf
A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture).
LICS
Anil Nerode
1986 J jnl
Generic objects in recursion theory II: Operations on recursive approximation spaces.
Ann. Pure Appl. Log.
Anil Nerode, Jeffrey B. Remmel
1973 J jnl
Meeting of the Association for Symbolic Logic.
J. Symb. Log.
Anil Nerode, K. Jon Barwise
1970 J jnl
A Universal Embedding Property of the RETs.
J. Symb. Log.
Anil Nerode, Alfred B. Manaster