Towards a practical theory of reformulation for reasoning about physical systems

, &
Artificial Intelligence 162 (1-2):145-204 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2004.01.004

Links

PhilArchive



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

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

Qualitative reasoning about physical systems: An introduction.Daniel G. Bobrow - 1984 - Artificial Intelligence 24 (1-3):1-5.
Qualitative reasoning about physical systems: A return to roots.Brian C. Williams & Johan de Kleer - 1991 - Artificial Intelligence 51 (1-3):1-9.
Influence-based model decomposition for reasoning about spatially distributed physical systems.Chris Bailey-Kellogg & Feng Zhao - 2001 - Artificial Intelligence 130 (2):125-166.
Thinking about reasoning about knowledge.Henry E. Kyburg - 1997 - Minds and Machines 7 (1):103-112.
Thinking about Reasoning about Knowledge.Henry E. Kyburg - 1997 - Minds and Machines 7 (1):103-112.
Reasoning about Knowledge: A Response by the Authors. [REVIEW]Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi - 1997 - Minds and Machines 7 (1):113-113.
Quantified epistemic logics for reasoning about knowledge in multi-agent systems.F. Belardinelli & A. Lomuscio - 2009 - Artificial Intelligence 173 (9-10):982-1013.
General Patterns in Nonmonotonic Reasoning.David Makinson - 1994 - In Handbook of Logic in Artificial Intelligence Nad Logic Programming, Vol. Iii. Clarendon Press. pp. 35-110.
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems.Vaishak Belle & Hector J. Levesque - 2018 - Artificial Intelligence 262 (C):189-221.
Chris and Douglas Walton,'towards a formal account of reasoning about evidence: Argumentation schemes and generalizations'.Bex Floris & Henry Prakken - 2003 - Artificial Intelligence and Law 11:125-165.

Analytics

Added to PP
2020-12-22

Downloads
7 (#603,698)

6 months
3 (#1,723,834)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Qualitative process theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.
Qualitative simulation.Benjamin Kuipers - 1986 - Artificial Intelligence 29 (3):289-338.
Order of magnitude reasoning.Olivier Raiman - 1991 - Artificial Intelligence 51 (1-3):11-38.
A theory of abstraction.Fausto Giunchiglia & Toby Walsh - 1992 - Artificial Intelligence 57 (2-3):323-389.

View all 14 references / Add more references