2308 search results - page 71 / 462 » Representing Symbolic Reasoning |
122
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Reasoning with conditional time-intervals representing activities or tasks that may or may not be executed in the final schedule is crucial in many scheduling applications. In Con...
149
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...
148
Voted
IJCAI
1989
15 years 6 months ago
1989
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole&#...
165
Voted
ICCBR
2001
Springer
15 years 10 months ago
2001
Springer
It is useful for an intelligent software agent to be able to adapt to new demands from an environment. Such adaptation can be viewed as a redesign problem; an agent has some origin...
177
click to vote
ISMIS
1994
Springer
15 years 9 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...