Representing Knowledge in A-Prolog.

Michael Gelfond

Published in: Computational Logic: Logic Programming and Beyond (2002)

Keyphrases

representing knowledge
logic programming
knowledge representation
knowledge base
logic programs
programming language
expert systems
answer set programming
deductive databases
reasoning tasks
software engineering
database
description logics
markov networks
probabilistic reasoning