Sciweavers

3653 search results - page 161 / 731
» Learning of Partial Languages
Sort
View
ICALP
1998
Springer
15 years 7 months ago
A Neuroidal Architecture for Cognitive Computation
An architecture is described for designing systems that acquire and manipulate large amounts of unsystematized, or so-called commonsense, knowledge. Its aim is to exploit to the fu...
Leslie G. Valiant
136
Voted
ICFCA
2009
Springer
15 years 10 months ago
Usability Issues in Description Logic Knowledge Base Completion
Abstract. In a previous paper, we have introduced an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using informat...
Franz Baader, Baris Sertkaya
120
Voted
KBSE
2008
IEEE
15 years 10 months ago
Position paper: Meaningful updates to executing programs
Techniques to update executing programs are needed to maintain software for which downtime is not an option. Without guidelines, dynamic update may provoke unreliable and unpredic...
Pierre Duquesne, Ciarán Bryce
ACL2
2006
ACM
15 years 9 months ago
Double rewriting for equivalential reasoning in ACL2
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
Matt Kaufmann, J. Strother Moore
145
Voted
ICDT
2003
ACM
139views Database» more  ICDT 2003»
15 years 8 months ago
New Rewritings and Optimizations for Regular Path Queries
All the languages for querying semistructured data and the web use as an integral part regular expressions. Based on practical observations, finding the paths that satisfy those r...
Gösta Grahne, Alex Thomo