1573 search results - page 225 / 315 » Signs and Formal Concepts |
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Goals are an important concept in intelligent agent systems, and can take a variety of forms. One such form is maintenance goals, which, unlike achievement goals, define states th...
122
click to vote
ECIS
2000
15 years 3 months ago
2000
: Both the information base, on which IS research and practice is founded, and its accessibility continue to grow rapidly. A major challenge facing the IS community in the next dec...
149
click to vote
TLDI
2010
ACM
15 years 1 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
146
click to vote
AI
2010
Springer
15 years 1 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
121
click to vote
JANCL
2008
15 years 1 months ago
2008
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...