3385 search results - page 346 / 677 » Language, Logic, and the Brain |
186
click to vote
AIIA
2007
Springer
16 years 1 months ago
2007
Springer
In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, groun...
170
Voted
KSEM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
178
click to vote
LPNMR
2005
Springer
16 years 10 days ago
2005
Springer
We present a monitoring tool for plan execution in non-deterministic environments, which are described in an action language, based on non-monotonic logic programming. Thanks to it...
167
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
TCP-nets are an extension of CP-nets which allow the expression of conditional relative importance of pairs of variables. In this paper it is shown that a simple logic of condition...
195
click to vote
SEMWEB
2004
Springer
16 years 6 days ago
2004
Springer
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full F...