229 search results - page 21 / 46 » Natural Language Proof Explanation |
106
Voted
ACL
1998
15 years 3 months ago
1998
Starting from descriptions of French connectives (in particular "donc"---therefore), on the one hand, and aspectual properties of French tenses pass4 simple and imparfai...
UML
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Proponents of aspect orientation have successfully seeded the impression that aspects—like objects—are so fundamental a notion that they should pervade all phases and...
95
Voted
ICGI
2010
Springer
15 years 12 days ago
2010
Springer
Abstract. Grammatical inference is typically defined as the task of finding a compact representation of a language given a subset of sample sequences from that language. Many di...
101
Voted
TSD
2005
Springer
15 years 7 months ago
2005
Springer
As language is fundamental to human activities, proficiency in other languages becomes important. Besides for developing abilities for communication, the knowledge is also a tool f...
97
Voted
KR
2000
Springer
15 years 5 months ago
2000
Springer
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...