2303 search results - page 92 / 461 » On the logic of argumentation theory |
204
click to vote
ICDT
2009
ACM
16 years 1 months ago
2009
ACM
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
149
click to vote
PEPM
2007
ACM
16 years 15 days ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
191
click to vote
SLOGICA
1998
15 years 6 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
169
click to vote
ECSQARU
2007
Springer
16 years 17 days ago
2007
Springer
Problems of conceptual uncertainty have been dealt with in theories of formal logic. Such theories try to accommodate vagueness in two main ways. One is fuzzy logic that introduces...
163
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...