Computational Logic and Human Thinking

DOI10.1017/CBO9780511984747zbMath1230.68021OpenAlexW4238518760MaRDI QIDQ5198963

Robert Kowalski

Publication date: 10 August 2011

Full work available at URL: https://doi.org/10.1017/cbo9780511984747

zbMATH Keywords

artificial intelligencePROLOGcomputational logicbackward reasoning

Mathematics Subject Classification ID

Computational learning theory (68Q32) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Natural language processing (68T50) General topics in artificial intelligence (68T01)

Related Items (8)

Automated Reasoning in the Wild ⋮ Contextual Abductive Reasoning with Side-Effects ⋮ Obligation as optimal goal satisfaction ⋮ Programming in logic without logic programming ⋮ Abductive logic programming agents with destructive databases ⋮ SIMILARITY-BASED RELATIONS IN DATALOG PROGRAMS ⋮ Deontic Logic for Human Reasoning ⋮ Naturalizing logic

This page was built for publication: Computational Logic and Human Thinking