1-20 of 39
Anil Nerode
Close
Save search
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Close Modal
Sort by
Book Chapter

Disjunctive LP, Inconsistency Handling

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0021
EISBN: 9780262291378
Book Chapter

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

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0022
EISBN: 9780262291378
PDF
Book Chapter

Relating Disjunctive Logic Programs to Default Theories

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0023
EISBN: 9780262291378
PDF
Book Chapter

Rational default logic and disjunctive logic programming

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0024
EISBN: 9780262291378
PDF
Book Chapter

Reasoning with Inconsistency in Extended Deductive Databases

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0025
EISBN: 9780262291378
PDF
Book Chapter

Diagnosis and Debugging as Contradiction Removal

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0026
EISBN: 9780262291378
PDF
Book Chapter

Nonstandard Semantics

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0027
EISBN: 9780262291378
Book Chapter

Tools for Deductive Databases

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0028
EISBN: 9780262291378
PDF
Book Chapter

Scenario Semantics of Extended Logic Programs

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0029
EISBN: 9780262291378
PDF
Book Chapter

An Abductive Framework for Generalized Logic Programs

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0030
EISBN: 9780262291378
PDF
Book Chapter

Extended Logic Programs as Autoepistemic Theories

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0011
EISBN: 9780262291378
PDF
Book Chapter

Reflexive autoepistemic logic and logic programming

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0012
EISBN: 9780262291378
PDF
Book Chapter

Minimal Knowledge + Negation as Failure = Only Knowing (Sometimes)

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0013
EISBN: 9780262291378
PDF
Book Chapter

Autoepistemic Logic Programming

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0014
EISBN: 9780262291378
PDF
Book Chapter

Stability and Related Topics

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0015
EISBN: 9780262291378
Book Chapter

An assumption-based framework for non-monotonic reasoning

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0016
EISBN: 9780262291378
PDF
Book Chapter

Contributions to the Stable Model Semantics of Logic Programs with Negation

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0017
EISBN: 9780262291378
PDF
Book Chapter

A Characterization of Stable Models using a Non-Monotonic Operator

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0018
EISBN: 9780262291378
PDF
Book Chapter

Negation as Failure to Support

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0019
EISBN: 9780262291378
PDF
Book Chapter

Negation as Partial Failure

By Luis Moniz Pereira, Anil Nerode
Publisher: The MIT Press
Published: 24 May 1993
DOI: 10.7551/mitpress/4307.003.0020
EISBN: 9780262291378
PDF