An overview of automated reasoning and related fields

zbMath0614.68068MaRDI QIDQ1819948

Yanyan Li

Publication date: 1985

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

Logic programmingautomated reasoningautomated theorem provingExpert systemsprogram synthesisintelligent robotsProgram verificationNonclassical logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (3)

Limited reasoning in first-order knowledge bases ⋮ Book review of: B. Liao (ed.) et al., Dynamics, uncertainty and reasoning ⋮ Larry Wos: visions of automated reasoning

Uses Software

• AURA

This page was built for publication: An overview of automated reasoning and related fields