3385 search results - page 235 / 677 » Language, Logic, and the Brain |
194
click to vote
AIR
2004
15 years 6 months ago
2004
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
178
click to vote
ENTCS
2000
15 years 6 months ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...
200
click to vote
RWEB
2010
Springer
15 years 5 months ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
166
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
We study Nonassociative Lambek Calculus with additives ∧, ∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial g...
194
click to vote
ICDAR
2005
IEEE
16 years 9 days ago
2005
IEEE
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...