Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper.

Ekaterina Komendantskaya Yue Li

Published in: HCVS (2018)

Keyphrases

theoretical framework
horn clause logic
computational model
data mining
artificial intelligence
web pages
xml documents
domain knowledge
programming language
knowledge acquisition
future directions
theoretical basis
action selection
formal theory