1026 search results - page 50 / 206 » A Methodology for Equational Reasoning |
169
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Rewriting systems on words are very useful in the study of monoids. In good cases, they give finite presentations of the monoids, allowing their manipulation by a computer. Even b...
176
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
199
click to vote
ICCBR
2007
Springer
16 years 24 days ago
2007
Springer
This paper addresses the role of case-based reasoning in semantic search, and in particular, as it applies to Knowledge Sifter, an agent-based ontology-driven search system based o...
175
click to vote
CDVE
2004
Springer
16 years 1 days ago
2004
Springer
The paper presents an agent-based engineering system developed for mobile devices. The proposed system has been used for constructing a wireless tourist guide application that inco...
156
click to vote
WSC
2008
15 years 9 months ago
2008
Mental simulation is proposed by cognitive psychologists as a candidate to model the human reasoning process. In this paper, we propose a methodology that models mental simulation...