237 search results - page 5 / 48 » acl 2008 |
ACL
2008
14 years 11 months ago
2008
103
click to vote
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE
We describe a tutorial that demonstrates the use of the ACL2 theorem prover. We have three goals: to enable a motivated reader to start on a path towards effective use of ACL2; to...
LREC
2008
14 years 11 months ago
2008
The ACL Anthology is a digital archive of conference and journal papers in natural language processing and computational linguistics. Its primary purpose is to serve as a referenc...
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the difï¬...
IJIS
2008
14 years 10 months ago
2008
Abstract. In complex multi agent systems, the agents may be heterogeneous and possibly designed by different programmers. Thus, the importance of defining a standard framework for ...