92 search results - page 5 / 19 » Meta Reasoning in ACL2 |
TPHOL
1998
IEEE
13 years 11 months ago
1998
IEEE
ICAS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
KR
1991
Springer
13 years 11 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
AIIDE
2008
13 years 9 months ago
2008
Human experience with interactive games will be enhanced if the software agents that play the game learn from their failures. Techniques such as reinforcement learning provide one...