2722 search results - page 398 / 545 » Automating Language Evolution |
235
click to vote
RR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. This essay describes fuzzy CARIN, a knowledge representation language combining fuzzy description logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy l...
169
click to vote
RWEB
2007
Springer
16 years 15 days ago
2007
Springer
Reactive rules are used for programming rule-based, reactive systems, which have the ability to detect events and respond to them automatically in a timely manner. Such systems are...
164
click to vote
IMSCCS
2006
IEEE
16 years 12 days ago
2006
IEEE
The equivalence of non-deterministic finite automata (NFA1 ), deterministic finite automata (DFA), regular expressions (RE), and parallel finite automata (PFA) with augmented r...
186
click to vote
IROS
2006
IEEE
16 years 12 days ago
2006
IEEE
— This paper describes the use of natural language route descriptions in the mobile robot navigation domain. Guided by corpus analysis and earlier work on coarse qualitative rout...
226
click to vote
ACL2
2006
ACM
16 years 11 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...