A formalization of commonsense reasoning based on fuzzy logic
5th Computers in Aerospace Conference ; 1985 ; Long Beach , CA , U.S.A.
01.01.1985
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Dispositional logic and commonsense reasoning
NTRS | 1988
|Temporal Logic Formalization of Marine Traffic Rules
IEEE | 2021
|TEMPORAL LOGIC FORMALIZATION OF MARINE TRAFFIC RULES
British Library Conference Proceedings | 2021
|