2599 search results - page 385 / 520 » An Operational Semantics for Knowledge Bases |
146
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...
176
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Monitoring patients in intensive care units is a critical task. Simple condition detection is generally insufficient to diagnose a patient and may generate many false alarms to the...
166
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Multi-Context Systems (MCS) are formalisms that enable the interlinkage of single knowledge bases, called contexts, via bridge rules. Recently, the evaluation of heterogeneous, no...
199
click to vote
USS
2004
15 years 7 months ago
2004
Today's Internet intrusion detection systems (IDSes) monitor edge networks' DMZs to identify and/or filter malicious flows. While an IDS helps protect the hosts on its l...
205
click to vote
SDM
2012
SIAM
13 years 8 months ago
2012
SIAM
The Knowledge Discovery Toolbox (KDT) enables domain experts to perform complex analyses of huge datasets on supercomputers using a high-level language without grappling with the ...