posted by user: c_benzmueller || 23357 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
DBKDA 2019   The Eleventh International Conference on Advances in Databases, Knowledge, and Data Applications
LPAR 2018   International Conference on Logic for Programming, Artificial Intelligence and Reasoning
ICFCA 2019   The 15th International Conference on Formal Concept Analysis
LPNMR 2019   15th International Conference on Logic Programming and Non-monotonic Reasoning
AICCC 2018   2018 Artificial Intelligence and Cloud Computing Conference (AICCC 2018) EI Compendex, Scopus
MIREL 2018   MIREL 2018 workshop on MIning and REasoning with Legal texts
JELIA 2019   JELIA 2019 - 2nd CfP - 1 month left - IJCAI, TPLP, Awards and Prizes
DL 2018   31st International Workshop on Description Logics
NCMA 2018   Non-Classical Models of Automata and Applications