fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Logic programming and non-monotonic reasoning

Logic programming and non-monotonic reasoning

by Anil Nerode, Wiktor Marek, V. S. Subrahmanian

Logic programmingNonmonotonic reasoningProgrammation logiqueRaisonnementKongress
0.0
Open Library
Open Library

Themes & subjects

Logic programmingNonmonotonic reasoningProgrammation logiqueRaisonnementKongressWissensbasiertes System

About the author

Anil Nerode

1932

Authors

Anil Nerode, Wiktor Marek, V. S. Subrahmanian

Pages

301

Read time

≈ 8h

Editions

2

Language

English

Publisher

MIT Press

ISBN

9780262640275

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Logic for programming artificial intelligence and reasoning

Logic programming · Congresses

Logic for programming artificial intelligence and reasoning

Moshe Y. Vardi

2003

Foundations of Probabilistic Logic Programming

Logic programming · Machine theory

Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi

2018

Discrete structures, logic, and computability

Computable functions · Computer science

Discrete structures, logic, and computability

James L. Hein

1994

Handbook of logic in artificial intelligence and logic programming

Logic programming · Symbolic and mathematical Logic

Handbook of logic in artificial intelligence and logic programming

Dov M. Gabbay

1993

The experience of literature

Literature · Collections

The experience of literature

Lionel Trilling

1967

Rules and Reasoning

Semantics · Programming languages (electronic computers)

Rules and Reasoning

Stefania Costantini

2017

Logic functions and equations

Mathematics · Computer logic

Logic functions and equations

Christian Posthoff

2005

Heritage of Western civilization

Civilization · Collections

Heritage of Western civilization

John Louis Beatty

1958

Constraint logic programming using ECLiPSe

Logic programming · Constraint programming (Computer science)

Constraint logic programming using ECLiPSe

Krzysztof R. Apt

2006

Programming with higher-order logic

Logic programming · Prolog (Computer program language)

Programming with higher-order logic

Dale Miller

2012

Mathematical Aspects Of Logic Programming Semantics

Logic programming · Programming languages (electronic computers)

Mathematical Aspects Of Logic Programming Semantics

Anthony Seda

2010

Logic Programming

Automatic theorem proving · Logic programming

Logic Programming

James H. Andrews

1992

Nonmonotonic reasoning

Nonmonotonic reasoning · Logic

Nonmonotonic reasoning

Gerhard Brewka

1989

Logics of organization theory

Organizational theory & behaviour · Social Science

Logics of organization theory

Michael T. Hannan

2007

Logic programming and nonmonotonic reasoning

Logic programming · Congresses

Logic programming and nonmonotonic reasoning

Chitta Baral

2005

Logic programming and non-monotonic reasoning

Logic programming · Congresses

Logic programming and non-monotonic reasoning

Luis Moniz Pereira

1993

Non-monotonic extensions of logic programming

Logic programming · Nonmonotonic reasoning

Non-monotonic extensions of logic programming

International Conference on Logic Programming (11th 1994 Santa Margherita Ligure, Italy)

1995

For the sake of the argument

Commonsense reasoning · Inference

For the sake of the argument

Isaac Levi

1996