Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Prodigy

Known as: Prodigy (computer game) 
Prodigy is an upcoming tactical role-playing video game under development by Hanakai Studio. The game features figurines representing characters in… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Fast plan adaptation is important in many AI-applications. From a theoretical point of view, in the worst case adapting an… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
 
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Abstract Knowledge-based proof planning is a new paradigm in automated theorem proving (ATP) which swings the motivational… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Thesis (Ph. D.)--Massachusetts Institute of Technology, Program in Media Arts & Sciences, 1997. 
Is this relevant?
1997
1997
We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 2
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
We introduce a new approach to planning in STRIPS-like domains based on constructing and analyzing a compact structure we call a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1994
Highly Cited
1994
This book identifies all the species one is likely to encounter, with extensive information on their structural features… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The impact of Explanation-Based Learning (EBL) on problem-solving efficiency can vary greatly from one problem space to another… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Abstract : A major source of inefficiency in automated problem solvers is their inability to decompose problems and work on the… Expand
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
Is this relevant?
Highly Cited
1950
Highly Cited
1950
Only a few books stand as landmarks in social and scientific upheaval. Norbert Wiener's classic is one in that small company… Expand
Is this relevant?