Informalizing Formal Logic.

Antonis C. Kakas

Published in: Bridging@CogSci (2017)

Keyphrases

formal logic
predicate logic
description logics
artificial intelligence
design theory
logic programming
formal methods
knowledge base
case study
semantic network
deductive databases
computational linguistics
knowledge representation and reasoning