292 search results - page 47 / 59 » First-order intensional logic |
131
click to vote
AAAI
2010
15 years 3 months ago
2010
Many machine learning applications that involve relational databases incorporate first-order logic and probability. Markov Logic Networks (MLNs) are a prominent statistical relati...
111
click to vote
AI
2011
Springer
14 years 8 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
125
Voted
PODS
2008
ACM
16 years 1 months ago
2008
ACM
We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operat...
104
click to vote
ICAIL
2003
ACM
15 years 7 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
135
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...