393 search results - page 57 / 79 » Probabilistic Description Logic Programs |
122
Voted
PADL
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
126
Voted
DLOG
2008
15 years 2 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
222
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
113
click to vote
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...
109
click to vote
IJCAI
1993
15 years 1 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...