2308 search results - page 150 / 462 » Representing Symbolic Reasoning |
172
click to vote
JBI
2004
15 years 7 months ago
2004
Metabolism can be regarded as a network of biochemical reactions, connected via their substrates and products. A metabolic pathway is thus a coordinated series of reactions, and i...
168
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
173
click to vote
RULEML
2009
Springer
16 years 1 months ago
2009
Springer
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
133
click to vote
AIED
2007
Springer
16 years 19 days ago
2007
Springer
This paper describes an adaptive system called VL-PATSy, an extension to an existing system (PATSy) that adds a mechanism for serving vicarious learning (VL) resources. Vicarious l...
163
click to vote
ESWS
2005
Springer
15 years 12 months ago
2005
Springer
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge bu...