3691 search results - page 642 / 739 » Bayesian Logic Programs |
139
click to vote
CCS
2004
ACM
16 years 2 days ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
176
Voted
ITS
2004
Springer
16 years 22 hour ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
197
click to vote
NMR
2004
Springer
16 years 17 hour ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
183
Voted
PPDP
2004
Springer
16 years 13 hour ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
157
click to vote
DOCENG
2003
ACM
15 years 12 months ago
2003
ACM
To support the rapid growth of the web and e-commerce, W3C developed DOM as an application programming interface that the abstract, logical tree structure of an XML document. In t...