918 search results - page 21 / 184 » Speculative Issue Logic |
ELPUB
2007
ACM
15 years 5 months ago
2007
ACM
This research aims to identify issues associated with the impact of digital technology on the publishing industry with a specific focus on aspects of the sustainability of existin...
AGI
2008
15 years 3 months ago
2008
Reinforcement learning (RL) is an attractive machine learning discipline in the context of Artificial General Intelligence (AGI). This paper focuses on the intersection between RL ...
104
click to vote
AAAI
1998
15 years 3 months ago
1998
The amount of use a knowledge representation system receives depends on more than just the theoretical suitability of the system. Some critical determiners of usage have to do wit...
112
click to vote
DALT
2007
Springer
15 years 5 months ago
2007
Springer
Some issues concerning beliefs of agents are discussed. These issues are the general syntactic form of beliefs, the logic underlying beliefs, acquiring beliefs, and reasoning with ...
109
click to vote
ECEASST
2006
15 years 1 months ago
2006
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...