16616 search results - page 3037 / 3324 » Extending Extended Vacuity |
179
click to vote
LATIN
2004
Springer
16 years 2 days 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 ...
162
click to vote
LATIN
2004
Springer
16 years 2 days ago
2004
Springer
Given a finite set V , and integers k ≥ 1 and r ≥ 0, denote by A(k, r) the class of hypergraphs A ⊆ 2V with (k, r)-bounded intersections, i.e. in which the intersection of a...
179
click to vote
MATES
2004
Springer
16 years 2 days ago
2004
Springer
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an exp...
177
click to vote
MKM
2004
Springer
16 years 2 days ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
200
click to vote
NMR
2004
Springer
16 years 2 days ago
2004
Springer
The development of Logic Programming and Defeasible Argumentation lead to Defeasible Logic Programming. Its core resides in the characterization of the warrant procedure. Defeasib...