Extending the ATMS

Artificial Intelligence 28 (2):163-196 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(86)90081-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Problem solving with the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):197-224.
Language in action: Categories, lambdas and dynamic logic Johan van Benthem.David Israel - 1993 - Artificial Intelligence 63 (1-2):503-510.
Exploring logical dynamics, Johan Van Benthem.Lawrence S. Moss - 2000 - Journal of Logic, Language and Information 9 (2):261-263.
Extending abstract argumentation systems theory.P. Baroni, M. Giacomin & G. Guida - 2000 - Artificial Intelligence 120 (2):251-270.
Extending and implementing the stable model semantics.Patrik Simons, Ilkka Niemelä & Timo Soininen - 2002 - Artificial Intelligence 138 (1-2):181-234.
Extending the expressive power of semantic networks.L. K. Schubert - 1976 - Artificial Intelligence 7 (2):163-198.
Handbook of logic and language, Johan Van Benthem and Alice Ter meulen, eds.Natasha Kurtonina - 2000 - Journal of Logic, Language and Information 9 (2):263-269.
From iterated revision to iterated contraction: Extending the Harper Identity.Richard Booth & Jake Chandler - 2019 - Artificial Intelligence 277 (C):103171.
Artificial ethology and computational neuroethology: a scientific discipline and its subset by sharpening and extending the definition of artificial intelligence.Theodore B. Achacoso & William S. Yamamoto - 1989 - Perspectives in Biology and Medicine 33 (3):379-389.
Permissive planning: extending classical planning to uncertain task domains.Gerald F. DeJong & Scott W. Bennett - 1997 - Artificial Intelligence 89 (1-2):173-217.

Analytics

Added to PP
2020-12-22

Downloads
5 (#847,061)

6 months
3 (#1,723,834)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
Abstract argumentation systems.Gerard A. W. Vreeswijk - 1997 - Artificial Intelligence 90 (1-2):225-279.
Problem solving with the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):197-224.

View all 12 citations / Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
How circuits work.Johan De Kleer - 1984 - Artificial Intelligence 24 (1-3):205-280.
Problem solving with the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):197-224.

Add more references