BSL
1999
13 years 7 months ago
1999
Recently, in a paper by Tarski and Givant (Bull. Symbolic Logic, 1999, 5, 175
ECIR
1998
Springer
13 years 8 months ago
1998
Springer
Probabilistic Argumentation Systems (PAS) are a technique for representing uncertainty both symbolically and numerically. It is shown that this technique, which combines symbolic ...
SIGCSE
2000
ACM
13 years 11 months ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...