4217 search results - page 105 / 844 » Computational indistinguishability logic |
ISMB
1993
14 years 11 months ago
1993
CSE
2009
IEEE
14 years 7 months ago
2009
IEEE
LOGCOM
2006
14 years 10 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
101
click to vote
CORR
1998
Springer
14 years 9 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
107
click to vote
CORR
2011
Springer
14 years 1 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...