Sciweavers

2432 search results - page 27 / 487
» Cryptographic logical relations
Sort
View
ECAI
2010
Springer
14 years 7 months ago
Adaptive Markov Logic Networks: Learning Statistical Relational Models with Dynamic Parameters
Abstract. Statistical relational models, such as Markov logic networks, seek to compactly describe properties of relational domains by representing general principles about objects...
Dominik Jain, Andreas Barthels, Michael Beetz
AAAI
2007
15 years 7 days ago
Generality and Equivalence Relations in Default Logic
Generality or refinement relations between different theories have important applications to generalization in inductive logic programming, refinement of ontologies, and coordin...
Katsumi Inoue, Chiaki Sakama
SIGDIAL
2010
14 years 7 months ago
Exploring the Effectiveness of Lexical Ontologies for Modeling Temporal Relations with Markov Logic
Temporal analysis of events is a central problem in computational models of discourse. However, correctly recognizing temporal aspects of events poses serious challenges. This pap...
Eun Y. Ha, Alok Baikadi, Carlyle Licata, Bradford ...
CORR
2008
Springer
98views Education» more  CORR 2008»
14 years 10 months ago
Logics for the Relational Syllogistic
The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relationa...
Ian Pratt-Hartmann, Lawrence S. Moss
COLING
1992
14 years 11 months ago
A Logic Programming View of Relational Morphology
he more abstract term "relational morphology" in place of tile usual "two-level morphology" in order to emphasize an aspect of Koskenniemi's work which ha...
Harvey Abramson