8031 search results - page 210 / 1607 » Knowledge and Workflow Systems |
142
click to vote
WOA
2003
15 years 5 months ago
2003
Abstract—This paper illustrates how the functionalities of monitoring/control systems, within an agent–based framework, can be improved by the adoption of Knowledge–Based tec...
152
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
149
click to vote
DSS
2006
15 years 4 months ago
2006
In law enforcement applications, there is a critical need for new tools that can facilitate efficient and effective collaboration. Through a field study, we observe that crime ana...
130
click to vote
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
129
click to vote
APCHI
2004
IEEE
15 years 8 months ago
2004
IEEE
Haiku is a data mining system which combines the best properties of human and machine discovery. An self organising visualisation system is coupled with a genetic algorithm to prov...