2501 search results - page 60 / 501 » Logics with Rank Operators |
108
click to vote
IJCAI
2003
15 years 2 months ago
2003
Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. However, the n...
88
Voted
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
95
Voted
JANCL
2007
15 years 17 days ago
2007
In this paper, we present several extensions of epistemic logic with update operators modelling public information change. Next to the well-known public announcement operators, we ...
95
Voted
JSYML
2000
15 years 14 days ago
2000
The class of weakly algebrizable logics is defined as the class of logics having monotonic and injective Leibniz operator. We show that "monotonicity" cannot be discarde...
100
Voted
FSS
2008
15 years 22 days ago
2008
In this paper, we introduce triangle algebras: a variety of residuated lattices equipped with approximation operators, and with a third angular point u, different from 0