4192 search results - page 96 / 839 » Probabilistic Logic Programming |
152
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
127
click to vote
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
165
click to vote
EUSFLAT
2009
15 years 11 hour ago
2009
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...
109
click to vote
TARK
2007
Springer
15 years 8 months ago
2007
Springer
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
208
click to vote
SIGMOD
2006
ACM
16 years 2 months ago
2006
ACM
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a ...