Tags

ai (5)
artificial-intelligence (5)
first-order-logic (3)
logical-agents (2)
rational-agents (1)
intelligent-agents (1)
turing (1)
problem-solving-agents (1)
search-algorithms (1)
uniformed-search (1)
heuristic-functions (1)
adversarial-search (1)
csp (1)
constrain-satisfaction (1)