1588 search results - page 161 / 318 » On the Logic of Constitutive Rules |
166
click to vote
RAS
2008
15 years 5 months ago
2008
The robot described in this paper learns words that relate to objects and their attributes and also learns concepts, which may be recursive, that involve relationships between sev...
194
click to vote
WFLP
2009
Springer
16 years 1 months ago
2009
Springer
A logic program strongly terminates if it terminates for any selection rule. Clearly, considering a particular selection rule—like Prolog’s leftmost selection rule—allows one...
144
click to vote
LICS
2006
IEEE
16 years 13 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
184
click to vote
AAAI
2012
13 years 8 months ago
2012
In recent years, several systems have been proposed that learn the rules of a simple card or board game solely from visual demonstration. These systems were constructed for speci...
174
click to vote
DLOG
2001
15 years 7 months ago
2001
Description logics have been designed and studied in a modular way. This has allowed a methodic approach to complexity evaluation. We present a way to preserve this modularity in ...