278 search results - page 39 / 56 » Reasoning About General Games Described in GDL-II |
VLDB
2007
ACM
14 years 1 months ago
2007
ACM
Privacy is an important issue in data publishing. Many organizations distribute non-aggregate personal data for research, and they must take steps to ensure that an adversary cann...
ACL2
2006
ACM
14 years 1 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
IUI
2005
ACM
14 years 1 months ago
2005
ACM
In order for intelligent systems to be applicable in a wide range of situations, end users must be able to modify their task descriptions. We introduce Tailor, a system that allow...
RULEML
2005
Springer
14 years 27 days ago
2005
Springer
In the same way as the “static” Semantic Web deals with data model and language heterogeneity and semantics that lead to RDF and OWL, there is language heterogeneity and the ne...