3773 search results - page 194 / 755 » Logical Reasoning |
126
click to vote
OTM
2004
Springer
15 years 9 months ago
2004
Springer
Case-based reasoning in the law is a reasoning strategy in which legal conclusions are supported by decisions made by judges. If the case at hand is analogous to a settled case, th...
124
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
146
click to vote
DLOG
2009
15 years 1 months ago
2009
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
158
click to vote
TYPES
1995
Springer
15 years 7 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
135
click to vote
AAAI
2006
15 years 5 months ago
2006
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...