A Compound Logic for Modification Problems: Big Kingdoms Fall from Within.
Fedor V. FominPetr A. GolovachIgnasi SauGiannos StamoulisDimitrios M. ThilikosPublished in: CoRR (2021)
Keyphrases
- logic programming
- search algorithm
- combinatorial optimization
- decision problems
- application domains
- difficult problems
- real time
- solving problems
- problems involving
- benchmark problems
- modal logic
- np complete
- simulated annealing
- expert systems
- reinforcement learning
- case study
- search engine
- learning algorithm
- information retrieval