Declarative Local Search for Predicate Logic.
Tu-San PhamJo DevriendtPatrick De CausmaeckerPublished in: LPNMR (2019)
Keyphrases
- predicate logic
- knowledge representation and reasoning
- knowledge representation
- search algorithm
- logical formulas
- predicate calculus
- search space
- semantic net
- formal logic
- semantic network
- temporal logic
- lower level
- genetic algorithm
- computational linguistics
- tabu search
- domain independent
- search strategies
- simulated annealing
- low level
- high level
- optimal solution
- multi agent
- data mining