4573 search results - page 283 / 915 » Automated Reasoning |
147
click to vote
FLAIRS
2001
15 years 8 months ago
2001
GeneralElectric has created case-basedreasoningsystems for remotediagnostics,call center automation,andinternal productivityprojects. CBRapplications havebeenusedto remotelydiagno...
204
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Ontologies can be used to provide an enriched vocabulary for the formulation of queries over instance data. We identify query emptiness and predicate emptiness as two central reas...
193
click to vote
ICAIL
2003
ACM
15 years 12 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
179
click to vote
ICCBR
2001
Springer
15 years 11 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...
173
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...