Tea Times with Gelfond.

Veena S. Mellarkod

Published in: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)

Keyphrases

logic programs
description language
real time
data structure
relational databases
formal semantics
machine learning
learning algorithm
image processing
software engineering
orders of magnitude
quality evaluation