4595 search results - page 125 / 919 » Reasoning about Plans |
183
click to vote
UKCBR
1995
15 years 10 months ago
1995
Various cognitive and computational models have addressed the use of previous experience to understand a new domain. In particular, research in case-based reasoning has explored t...
166
click to vote
AISC
2004
Springer
16 years 10 days ago
2004
Springer
We describe proof planning: a technique for both describing the hierarchical structure of proofs and then using this structure to guide proof attempts. When such a proof attempt fa...
193
click to vote
ASM
2010
ASM
16 years 4 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
223
click to vote
ENTCS
2007
15 years 6 months ago
2007
We lay down plans to study how Inductive Reasoning Ability (IRA) affects the analyzing and understanding of Program Visualization (PV) systems. Current PV systems do not take int...
160
click to vote
ECIS
2004
15 years 8 months ago
2004
Enterprise Resource Planning (ERP) packages have been widely adopted and it is becoming clear that this is driven by multiple rationales that may be simultaneously at odds and com...