891 search results - page 40 / 179 » Towards Reasoning Pragmatics |
126
click to vote
DIAGRAMS
2010
Springer
15 years 5 months ago
2010
Springer
Papers on diagrammatic reasoning often begin by dividing marks on paper into two basic classes: diagrams and sentences. While endorsing the perspective that a reasoning episode can...
133
click to vote
FQAS
2006
Springer
15 years 5 months ago
2006
Springer
Time plays an important role in our everyday's life. For a lot of observations we make and actions we perform, temporal information is relevant. The importance of time is refl...
121
click to vote
APPINF
2003
15 years 3 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
130
click to vote
ENTCS
2007
15 years 1 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
103
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we take a view from the bottom to RDF(S) reasoning. We discuss some issues and requirements on reasoning towards effectively building Semantic Web Pipes, aggregating...