Undecidability of Chop.

Angelo Montanari Emilio Muñoz-Velasco Guido Sciavicco

Published in: TIME (2015)

Keyphrases

description logics
probabilistic planning
answering queries
knowledge base
case study
knowledge representation
partially observable
genetic algorithm
optimal solution
data structure
data sources
scheduling problem