2 search results - page 1 / 1 » Real Time Machine Deduction and AGI |
AGI
2008
13 years 6 months ago
2008
: Consistent with the ultimate goals of AGI, we can expect that deductive consequences of large and grammatically varied text bases would not be generated by sequential application...
REX
1991
13 years 8 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...