Doing arithmetic without diagrams

Artificial Intelligence 8 (2):175-200 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(77)90019-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

Diagram processing: Computing with diagrams.Michael Anderson & Robert McCartney - 2003 - Artificial Intelligence 145 (1-2):181-226.
Reasoning on UML class diagrams.Daniela Berardi, Diego Calvanese & Giuseppe De Giacomo - 2005 - Artificial Intelligence 168 (1-2):70-118.
Ordered binary decision diagrams as knowledge-bases.Takashi Horiyama & Toshihide Ibaraki - 2002 - Artificial Intelligence 136 (2):189-213.
Complexity results and algorithms for possibilistic influence diagrams.Laurent Garcia & Régis Sabbadin - 2008 - Artificial Intelligence 172 (8-9):1018-1044.
Decision-theoretic planning with generalized first-order decision diagrams.Saket Joshi, Kristian Kersting & Roni Khardon - 2011 - Artificial Intelligence 175 (18):2198-2222.
Modal logics, description logics and arithmetic reasoning.Hans Jürgen Ohlbach & Jana Koehler - 1999 - Artificial Intelligence 109 (1-2):1-31.
On the complexity of solving polytree-shaped limited memory influence diagrams with binary variables.Denis Deratani Mauá, Cassio Polpo de Campos & Marco Zaffalon - 2013 - Artificial Intelligence 205 (C):30-38.
An integrated approach to solving influence diagrams and finite-horizon partially observable decision processes.Eric A. Hansen - 2021 - Artificial Intelligence 294 (C):103431.
Constraint reasoning based on interval arithmetic: the tolerance propagation approach.Eero Hyvönen - 1992 - Artificial Intelligence 58 (1-3):71-112.
Thomas F. Gordon, The Pleadings Game – An Artificial Intelligence Model of Procedural Justice. [REVIEW]Arno R. Lodder - 2000 - Artificial Intelligence and Law 8 (2-3):255-264.

Analytics

Added to PP
2020-12-22

Downloads
10 (#1,207,918)

6 months
8 (#505,181)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

LAURA, a system to debug student programs.Anne Adam & Jean-Pierre Laurent - 1980 - Artificial Intelligence 15 (1-2):75-122.

Add more citations

References found in this work

An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.

Add more references