Bibliografía (20 obras)
I Am Aye Child of God
2021
Rebooting AI
2020
2019
Mathematics, Substance and Surmise
2015
Linear algebra and probability for computer science applications
2012
Logical Formalizations of Commonsense Reasoning
2011
Infinite loops in finite time: some observations
1992
Lucid representations
1991
The kinematics of cutting solid objects
Axiomatizing qualitative process theory
Representations of commonsense knowledge
1990
Physical idealization as plausible inference
Inferring ignorance from the locality of visual perception
1987
Order of magnitude reasoning in qualitative differential equations
A logical framework for solid object physics
1986
Representing and acquiring geographic knowledge
Constraint propagation on real-valued quantities
1985
A high level real-time programming language
1984
An ontology of physical action
Shape and function of solid objects: some examples
