1133 search results - page 59 / 227 » Local Logics for Traces |
127
Voted
APWEB
2008
Springer
15 years 2 months ago
2008
Springer
Information exchanges in P2P networks have become very popular in recent years. However, tracing how data circulates between peers and how data modifications are performed during t...
115
click to vote
PODS
2010
ACM
15 years 5 months ago
2010
ACM
Abiteboul et al. initiated the systematic study of distributed XML documents consisting of several logical parts, possibly located on different machines. The physical distributio...
115
Voted
WIA
2007
Springer
15 years 6 months ago
2007
Springer
We introduce a weighted logic with discounting and we establish B¨uchi’s and Elgot’s theorem for weighted automata over finite words and arbitrary commutative semirings. The...
130
Voted
ASP
2005
Springer
15 years 6 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
112
Voted
ESWS
2005
Springer
15 years 6 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...