2 search results - page 1 / 1 » Real Time Machine Deduction and AGI |
83
Voted
AGI
2008
15 years 10 days 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...
108
Voted
REX
1991
15 years 2 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...