Sound and complete qualitative simulation is impossible

&
Artificial Intelligence 149 (2):251-266 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(03)00077-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Combining qualitative and quantitative techniques in the simulation of chemical reaction mechanisms.Michael Eisenberg - forthcoming - Ai and Simulation: Theory and Applications (Simulation Series Vol. 22, No. 3.). Society for Computer Simulation, San Diego. Ca.
An Exception to Mental Simulation: No Evidence for Embodied Odor Language.Laura J. Speed & Asifa Majid - 2018 - Cognitive Science 42 (4):1146-1178.
Relevance logic and the calculus of relations.Roger D. Maddux - 2010 - Review of Symbolic Logic 3 (1):41-70.
Simulation logic.Gerard Allwein, William L. Harrison & David Andrews - 2014 - Logic and Logical Philosophy 23 (3).
Reasoning with Qualitative Velocity: Towards a Hybrid Approach.Joanna Golinska-Pilarek & Emilio Munoz Velasco - 2012 - In Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michał Woźniak, Manuel Grana & Sung-Bae Cho (eds.), Hybrid Artificial Intelligent Systems. Springer. pp. 635--646.
Empirical data base for simulation: Firing rates and axonal conduction velocity for cortical neurones.Robert Miller - 1996 - Behavioral and Brain Sciences 19 (2):304-305.
A proof system for contact relation algebras.Ivo Düntsch & Ewa Orłowska - 2000 - Journal of Philosophical Logic 29 (3):241-262.
14 Qualitative simulation: artificial intelligence in the arts and humanities La simulation.Judith Richards - 1990 - In Tadeusz Buksiński (ed.), Interpretation in the Humanities. Uniwersytet Im. Adama Mickiewicza W Poznaniu. pp. 71--302.
The logic of π1-conservativity.Petr Hajek & Franco Montagna - 1990 - Archive for Mathematical Logic 30 (2):113-123.
Logics of rejection: two systems of natural deduction.Allard Tamminga - 1994 - Logique Et Analyse 146:169-208.
A Microcomputer Tool For Qualitative Simulation Based on an Object-Oriented, Device-Centered Ontology.Brian K. Paul & Jeffery K. Cochran - 1990 - Ai and Simulation Theory and Applications: Proceedings of the Scs Eastern Multiconference, 23-26 April, 1990, Nashville, Tennessee 22:22.
More on Empirical Negation.Michael De & Hitoshi Omori - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 114-133.
From Sound to Sound Space, Sound Environment, Soundscape, Sound Milieu or Ambiance ….Makis Solomos - 2018 - Paragraph 41 (1):95-109.
Minimal Complete Propositional Natural Deduction Systems.Amr Elnashar & Wafik Boulos Lotfallah - 2018 - Journal of Philosophical Logic 47 (5):803-815.
Foundations of Everyday Practical Reasoning.Hanti Lin - 2013 - Journal of Philosophical Logic 42 (6):831-862.

Analytics

Added to PP
2020-12-22

Downloads
11 (#1,113,583)

6 months
10 (#255,509)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Qualitative simulation.Benjamin Kuipers - 1986 - Artificial Intelligence 29 (3):289-338.
Qualitative simulation: then and now.Benjamin J. Kuipers - 1993 - Artificial Intelligence 59 (1-2):133-140.

Add more references