Sciweavers

736 search results - page 6 / 148
» A Science of Reasoning (Extended Abstract)
Sort
View
75
Voted
LICS
2006
IEEE
15 years 5 months ago
3-Valued Abstraction: More Precision at Less Cost
Sharon Shoham, Orna Grumberg
LICS
2003
IEEE
15 years 4 months ago
Abstract Saturation-Based Inference
Nachum Dershowitz, Claude Kirchner
HIS
2003
15 years 27 days ago
Fast Qualitative Reasoning about Categories in Conceptual Spaces
Abstract. Categorization is a central task in cognitive science and artificial intelligence. Efficient reasoning about categories is becoming of great importance as intelligent a...
Ickjai Lee
ASIACRYPT
1991
Springer
15 years 3 months ago
Revealing Information with Partial Period Correlations (Extended Abstract)
g Information with Partial Period Correlations (extendedabstract) Andrew Klapper Mark Goresky Northeastern University, College of Computer Science, Boston, MA 02115, U.S.A.
Andrew Klapper, Mark Goresky
FOCS
1990
IEEE
15 years 3 months ago
Coin-Flipping Games Immune against Linear-Sized Coalitions (Extended Abstract)
d abstract) Noga Alon IBM Almaden Research Center, San Jose, CA 95120 and Sackler Faculty of Exact Sciences, Tel Aviv University, Tel Aviv, Israel Moni Naor IBM Almaden Research Ce...
Noga Alon, Moni Naor