The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aiming at discussions cutting-edge results in the areas of automated reasoning, computational logic, programming…
The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aiming at discussions cutting-edge results in the areas of automated reasoning, computational logic, programming…