3385 search results - page 402 / 677 » Language, Logic, and the Brain |
187
click to vote
ESWS
2007
Springer
16 years 26 days ago
2007
Springer
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...
200
click to vote
ILP
2007
Springer
16 years 26 days ago
2007
Springer
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...
192
click to vote
TGC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
173
click to vote
SIGCSE
2006
ACM
16 years 20 days ago
2006
ACM
We present a hands-on approach to problem solving in the formal languages and automata theory course. Using the tool JFLAP, students can solve a wide range of problems that are te...
166
click to vote
OOPSLA
2005
Springer
16 years 6 days ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...