2316 search results - page 83 / 464 » The many forms of hypercomputation |
145
click to vote
AAAI
2007
15 years 6 months ago
2007
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logi...
WSC
2008
15 years 6 months ago
2008
We propose a procedure for reporting a statistical point estimator and its precision for statistical experiments such as simulation experiments. Based on three criteria --loss of ...
129
click to vote
AAAI
2010
15 years 5 months ago
2010
In this paper, we study the knowledge compilation task for propositional epistemic logic S5. We first extend many of the queries and transformations considered in the classical kn...
105
Voted
ICONIP
2008
15 years 5 months ago
2008
One of the simplest creative act is the invention of a new word that captures some characteristics of objects or processes, for example industrial or software products, activity of...
111
click to vote
NIPS
2008
15 years 5 months ago
2008
We present a characterization of a useful class of skills based on a graphical representation of an agent's interaction with its environment. Our characterization uses betwee...