A GUHA procedure with correlational quantifiers

DOI10.1016/S0020-7373(78)80037-6MaRDI QIDQ4190176zbMATH OpenOpenAlexFDO

Authors Tomas Havranek, J. Vosahlo

Publication date 1978

Published in International Journal of Man-Machine Studies (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-7373(78)80037-6

zbMATH Keywords

Artifical IntelligenceCorrelational QuantifierGuhaMechanized Hypotheses FormationNonclassical LogicStatistics

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Model theory (03C99) Software, source code, etc. for problems pertaining to statistics (62-04) Foundations and philosophical topics in statistics (62A01) Applications of statistics (62P99) Artificial intelligence (68T99)

This page was built for publication: A GUHA procedure with correlational quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4190176)