An overview of automated reasoning and related fields
From MaRDI portal
Publication:1819948
zbMath0614.68068MaRDI QIDQ1819948
Publication date: 1985
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Logic programming; automated reasoning; automated theorem proving; Expert systems; program synthesis; intelligent robots; Program verification; Nonclassical logic
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68Q60: Specification and verification (program logics, model checking, etc.)
68T99: Artificial intelligence
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Limited reasoning in first-order knowledge bases, Larry Wos: visions of automated reasoning, Book review of: B. Liao (ed.) et al., Dynamics, uncertainty and reasoning
Uses Software