1368 search results - page 178 / 274 » Personality-Based Practical Reasoning |
112
click to vote
FC
2009
Springer
15 years 9 months ago
2009
Springer
Cryptographic credential infrastructures, such as Public key infrastructure (PKI), allow the building of trust relationships in electronic society and electronic commerce. At the c...
122
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
128
click to vote
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
136
click to vote
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...
140
click to vote
MKM
2009
Springer
15 years 9 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...