Integrating constraint solving into proof planning

, &
In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of Combining Systems. Research Studies Press. pp. 32--46 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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

Meta‐Planning: Representing and Using Knowledge About Planning in Problem Solving and Natural Language Understanding.Robert Wilensky - 1981 - Cognitive Science 5 (3):197-233.
A Computer Tutor for Formal & Applied Logic: A Proposal to NCR Corporation.Preston K. Covey - unknown
Multiple paths to transfer and constraint relaxation in insight problem solving.Trina C. Kershaw, Christopher K. Flynn & Leamarie T. Gordon - 2013 - Thinking and Reasoning 19 (1):96 - 136.
Knowledge integration in creative problem solving.Ron Sun - unknown
An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams.Jan Krajíček - 2008 - Journal of Symbolic Logic 73 (1):227-237.
Symbolic Versus Associative Learning.John E. Hummel - 2010 - Cognitive Science 34 (6):958-965.
Group decision process support system for regional planning—A perspective from Japan.Masao Hijikata - 1995 - AI and Society 9 (2-3):244-257.
Integrating Analogical Mapping and General Problem Solving.J. R. Anderson & D. D. Slavucci - 2001 - Cognitive Science 25:71-80.
Proof Systems for Planning Under Cautious Semantics.Yuping Shen & Xishun Zhao - 2013 - Minds and Machines 23 (1):5-45.
Planning meals: Problem-solving on a real data-base.R. Byrne - 1977 - Cognition 5 (4):287-332.
Teaching and learning proof across the grades: a K-16 perspective.Despina A. Stylianou, Maria L. Blanton & Eric J. Knuth (eds.) - 2009 - New York: Routledge.

Analytics

Added to PP
2014-01-27

Downloads
14 (#934,671)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references