|
ADG 2018
12th International Conference on Automated Deduction in Geometry
|
|
LSFA 2018
13th Workshop on Logical and Semantic Frameworks, with Applications
|
|
ASE 2018
33rd IEEE/ACM International Conference on Automated Software Engineering
|
|
IDEAL 2018
19th International Conference on Intelligent Data Engineering and Automated Learning
|
|
ATVA 2018
International Symposium on Automated Technology for Verification and Analysis
|
|
ICAPS 2019
21st International Conference on Automated Planning and Scheduling
|
|
AKBC 2019
1st Conference on Automated Knowledge Base Construction (AKBC)
|
|
LPAR 2018
International Conference on Logic for Programming, Artificial Intelligence and Reasoning
|
|
MIREL 2018
MIREL 2018 workshop on MIning and REasoning with Legal texts
|
|
ARQNL 2018
Automated Reasoning in Quantified Non-Classical Logics
|
