507 search results - page 21 / 102 » Automating first-order relational logic |
101
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
124
Voted
AAAI
2010
15 years 2 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...
92
Voted
IRCDL
2008
15 years 2 months ago
2008
The organization of a document collection into meaningful groups is a fundamental issue in document management systems. The grouping can be carried out by performing a comparison ...
117
click to vote
JANCL
2006
15 years 22 days ago
2006
We describe a relational framework that uniformly supports formalization and automated reasoning in various propositional modal logics. The proof system we propose is a relational ...
94
Voted
CSL
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...