Logic and Artificial Intelligence: A New Synthesis?

Published in: Fundam. Informaticae (1993)

Keyphrases

artificial intelligence
logic synthesis
computer science
human reasoning
computational logic
classical logic
modal logic
expert systems
fuzzy logic

computational intelligence
multi valued
knowledge engineering
functional programs
predicate logic
cognitive science
natural language processing
intelligent agents

automated reasoning
logic programming
case based reasoning
program synthesis
ai methods
real time
neural network
machine learning

ai technologies
proof theory
knowledge representation
digital circuits
logical framework
texture synthesis
engineering design
database