posted by user: c_benzmueller || 23205 views || tracked by 2 users: [display]

ARQNL 2016 : Automated Reasoning in Quantified Non-Classical Logics

FacebookTwitterLinkedInGoogle

Link: http://iltp.de/ARQNL-2016/
 
When Jul 1, 2016 - Jul 1, 2016
Where Coimbra, Portugal
Abstract Registration Due Apr 25, 2016
Submission Deadline May 2, 2016
Notification Due May 30, 2016
Final Version Due Jun 13, 2016
Categories    logic   reasoning   knowledge representation
 

Call For Papers

[Empty]

Related Resources

IJCAR 2018   9th International Joint Conference on Automated Reasoning
UAI 2018   The Conference on Uncertainty in Artificial Intelligence
DL 2018   31st International Workshop on Description Logics
SOENG 2018   4th International Conference on Software Engineering
NMCA-Almaty 2018   (Non)classical Music in Contemporary Art
Scopus-ICAIR 2018   2018 3rd International Conference on Artificial Intelligence and Robotics (ICAIR 2018)
SLIE 2018   Semantic, Logics, Information Extraction and AI
RuleML+RR 2018   International Joint Conference on Rules and Reasoning
SOEA 2018   International Conference on Software Engineering and Applications
KR 2018   16th International Conference on Principles of Knowledge Representation and Reasoning