545 search results - page 58 / 109 » Recursive logic frames |
147
Voted
UAI
2008
15 years 3 months ago
2008
In this work we present Cutting Plane Inference (CPI), a Maximum A Posteriori (MAP) inference method for Statistical Relational Learning. Framed in terms of Markov Logic and inspi...
121
Voted
JANCL
2007
15 years 2 months ago
2007
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
141
Voted
DEBU
2002
15 years 2 months ago
2002
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
130
click to vote
STACS
2001
Springer
15 years 6 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
117
click to vote
ICNP
1999
IEEE
15 years 6 months ago
1999
IEEE
A protocol for the reliable multicast of data to mobile hosts is described. A logical ring is maintained between all the base stations that handle the multicast traffic of the sam...