3319 search results - page 248 / 664 » Subshifts, Languages and Logic |
202
click to vote
KCAP
2005
ACM
16 years 7 days ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
178
click to vote
PPDP
2005
Springer
2005
Springer
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures
16 years 4 days ago
Formal methods have proved to be very useful for analyzing cryptographic protocols. However, most existing techniques apply to the case of abstract encryption schemes and pairing....
133
click to vote
AAAI
2006
15 years 8 months ago
2006
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. Temporal logics such...
170
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
Appeared in: Dekker (Ed.) Proceedings of the 12th Amsterdam Colloquium (AC'99). Institute for Logic, Language and Computation, 1999, pages 43