Model-guided proof planning

&
In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 143--162 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

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

Automaticity and inhibition in action planning.Matthew R. Longo & Bennett I. Bertenthal - 2004 - Behavioral and Brain Sciences 27 (1):44-45.
Is efficient control of visually guided movement directly mediated by current feedback?Patrice Revol & Claude Prablanc - 2004 - Behavioral and Brain Sciences 27 (1):49-50.
At least some electrophysiological and behavioural data cannot be reconciled with the planning–control model.P. Paolo Battaglini, Paolo Bernardis & Nicola Bruno - 2004 - Behavioral and Brain Sciences 27 (1):24-25.
Planning and control in action.Scott Glover - 2004 - Behavioral and Brain Sciences 27 (1):57-69.
FMRI evidence for and behavioral evidence against the planning–control model.Jos J. Adam & Ron F. Keulen - 2004 - Behavioral and Brain Sciences 27 (1):24-24.
Strategic marketing planning guided by the quality-of-life (QOL) concept.M. Joseph Sirgy - 1996 - Journal of Business Ethics 15 (3):241 - 259.
Do movement planning and control represent independent modules?Valérie Gaveau & Michel Desmurget - 2004 - Behavioral and Brain Sciences 27 (1):35-36.
Planning differences for chromaticity- and luminance-defined stimuli: A possible problem for Glover's planning–control model.Charles E. Wright & Charles Chubb - 2004 - Behavioral and Brain Sciences 27 (1):55-56.
Planning and control of action as solutions to an independence of visual mechanisms.James G. Phillips, Thomas J. Triggs & James W. Meehan - 2004 - Behavioral and Brain Sciences 27 (1):46-47.
Planning, control, and the illusion of explanation.David A. Westwood - 2004 - Behavioral and Brain Sciences 27 (1):54-55.
Planning in Firms as an Interactive Process.Jean-Pierre Ponssard - 1993 - Theory and Decision 34 (2):139.
Using stable model semantics (SMODELS) in the causal calculator (CCALC).Semra Dogandag, F. Nur Alpaslan & Varol Akman - 2001 - In Proceedings of 10th Turkish Symposium on Artificial Intelligence and Neural Networks (TAINN).

Analytics

Added to PP
2014-01-28

Downloads
15 (#923,100)

6 months
5 (#629,136)

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

No references found.

Add more references