BSL
1999
14 years 4 days ago
1999
Recently, in a paper by Tarski and Givant (Bull. Symbolic Logic, 1999, 5, 175
ECIR
1998
Springer
14 years 1 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
14 years 4 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...