356 search results - page 50 / 72 » Axiomatizing Causal Reasoning |
141
click to vote
CADE
1990
Springer
15 years 6 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
132
click to vote
ENTCS
2007
15 years 1 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
111
click to vote
ICWE
2007
Springer
15 years 8 months ago
2007
Springer
The objective of this paper is to describe the use of a probabilistic approach to Web effort estimation by means of a Bayesian Network. A Bayesian Network is a model that embodies ...
TIME
1998
IEEE
15 years 6 months ago
1998
IEEE
The use of causal rules or fluent dependency constraints has proven to provide a versatile means of dealing with the ramification problem. In this paper we show how fluent depende...
INTERACT
2003
15 years 3 months ago
2003
: Reactive Information Displays (RIDs) that track and react to a user’s attention, to present the right information at the right place and in the right time, constitute a relativ...