4224 search results - page 70 / 845 » Reasoning about Choice |
SP
1987
IEEE
15 years 2 months ago
1987
IEEE
IAT
2009
IEEE
15 years 2 months ago
2009
IEEE
—We present a first effort to integrate NLP with ASP for autonomous agents, especially service robots, communicating with humans. We implemented a prototype system and tested it...
AAAI
2007
15 years 1 months ago
2007
62
Voted
NSDI
2008
15 years 1 months ago
2008
APLAS
2008
ACM
15 years 1 months ago
2008
ACM
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....