Sciweavers

4573 search results - page 26 / 915
» Automated Reasoning
Sort
View
PLILP
1998
Springer
15 years 6 months ago
CAT: The Copying Approach to Tabling
Bart Demoen, Konstantinos F. Sagonas
TARK
1998
Springer
15 years 6 months ago
Belief Revision and Rationalizability
Oliver J. Board
TARK
1998
Springer
15 years 6 months ago
Understanding Common Priors under Incomplete Information
Giacomo Bonanno, Klaus Nehring
TARK
1998
Springer
15 years 6 months ago
Ambiguity Made Precise: A Comparative Foundation
Paolo Ghirardato, Massimo Marinacci