Sciweavers

887 search results - page 20 / 178
» A Science of Reasoning
Sort
View
DIS
2006
Springer
14 years 15 days ago
Visual Knowledge Discovery in Paleoclimatology with Parallel Coordinates
Paleoclimatology requires the analysis of paleo time-series, obtained from a number of independent techniques and instruments, produced by several researchers and/or laboratories. ...
Roberto Therón
ELP
1989
14 years 26 days ago
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...
Dale Miller
BIRTHDAY
2005
Springer
14 years 2 months ago
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
Alessandro Armando, Claudio Castellini, Enrico Giu...

Book
1331views
15 years 7 months ago
Spatial Reasoning: Theory and Practice
"Spatial structures and spatial reasoning are essential to perception and cognition. Much day-to-day practical information is about what happens at certain spatial locations....
M. Aiello
FM
2009
Springer
101views Formal Methods» more  FM 2009»
14 years 1 months ago
Formal Reasoning about Expectation Properties for Continuous Random Variables
Abstract. Expectation (average) properties of continuous random variables are widely used to judge performance characteristics in engineering and physical sciences. This paper pres...
Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofi&...