posted by user: c_benzmueller || 23262 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

ARQNL 2018   Automated Reasoning in Quantified Non-Classical Logics
IJCSITY 2018   International Journal of Computational Science and Information Technology
IJCAR 2018   9th International Joint Conference on Automated Reasoning
Scopus-ICAIR 2018   2018 3rd International Conference on Artificial Intelligence and Robotics (ICAIR 2018)
DL 2018   31st International Workshop on Description Logics
MIREL 2018   MIREL 2018 workshop on MIning and REasoning with Legal texts
IJCTCM 2018   International Journal of Control Theory and Computer Modelling
GandALF 2018   International Symposium on Games, Automata, Logics, and Formal Verification
NMCA-Almaty 2018   (Non)classical Music in Contemporary Art
ASE 2018   33rd IEEE/ACM International Conference on Automated Software Engineering