3773 search results - page 430 / 755 » Logical Reasoning |
144
click to vote
CSL
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...
206
click to vote
ILP
2007
Springer
16 years 26 days ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
203
click to vote
COMPSAC
2006
IEEE
16 years 23 days ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
185
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
161
click to vote
LICS
2005
IEEE
16 years 9 days ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...