3658 search results - page 508 / 732 » The logic of proofs, semantically |
187
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
159
click to vote
PODS
1989
ACM
15 years 10 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
176
click to vote
LATIN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
204
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
157
click to vote
BSL
2006
15 years 6 months ago
2006
Schemata have played important roles in logic since Aristotle's Prior Analytics. The syllogistic figures and moods can be taken to be argument schemata as can the rules of the...