A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
Reasoning theories : towards an architecture for open mechanized reasoning systems
Reasoning theories : towards an architecture for open mechanized reasoning systems
Reasoning theories : towards an architecture for open mechanized reasoning systems
Giunchiglia, F. (author) / Pecchiari, P. (author) / Talcott, C. (author)
IRST technical report ; 9409-15
1994
50 S
graph. Darst
Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Book
English
Theories of Mechanical Reasoning Under Uncertainty
| Springer Verlag | 1990
ACCELERATION OF PROBABILISTIC REASONING THROUGH CUSTOM PROCESSOR ARCHITECTURE
| British Library Conference Proceedings | 2020
A Multi-context architecture for formalizing complex reasoning
| TIBKAT | 1993
JSM-reasoning for Control Problems in Open ()-worlds
| British Library Conference Proceedings | 1995