92 search results - page 5 / 19 » Meta Reasoning in ACL2 |
99
Voted
TPHOL
1998
IEEE
15 years 7 months ago
1998
IEEE
151
click to vote
ICAS
2008
IEEE
15 years 10 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...
179
Voted
KR
1991
Springer
15 years 7 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...
87
Voted
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
147
Voted
AIIDE
2008
15 years 5 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...