154 search results - page 15 / 31 » Order Sorted Predicate Logic |
IAT
2008
IEEE
14 years 2 months ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...
ISMIS
1994
Springer
14 years 15 days ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
TABLEAUX
1998
Springer
14 years 19 days ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
CSL
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. For a two-variable formula B(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of a finite-state operator Y=F(X) ...
BIRTHDAY
1997
Springer
14 years 18 days ago
1997
Springer
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...