2649 search results - page 143 / 530 » Temporal Theories of Reasoning |
221
click to vote
CANDC
2009
ACM
15 years 4 months ago
2009
ACM
Supporting users' reasoned imagination in sense making during interaction with tangible and embedded computation involves supporting the application of their existing mental ...
155
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
The aim of semantic science is to allow for the publications of ontologies, observation data, and hypotheses/theories. Hypotheses make predictions on data and on new cases. Those ...
148
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A longstanding open problem is whether there exists a nonsyntactical model of the untyped -calculus whose theory is exactly the least -theory . In this paper we investiga...
177
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
164
click to vote
LICS
1991
IEEE
15 years 10 months ago
1991
IEEE
Starting from a logic which speci es how to make deductions from a set of sentences (a ` at theory'), a way to generalise this toa partiallyordered bag ofsentences (a `struct...