11436 search results - page 219 / 2288 » Modeling Real Reasoning |
148
click to vote
SBIA
2000
Springer
15 years 7 months ago
2000
Springer
Agent technology provides many services to users. The tasks in which agents are involved include information filtering, information retrieval, user's tasks automation, browsin...
109
click to vote
EPIA
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. Argument-based formalisms are gaining popularity as models of nonmonotonic reasoning. Central in such formalisms is a notion of argument. Arguments are formal reconstruct...
140
click to vote
DLOG
2007
15 years 5 months ago
2007
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
118
click to vote
IJCAI
2007
15 years 4 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
134
click to vote
FUIN
2008
15 years 3 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...