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

LPAR 2017   International Conferences on Logic for Programming, Artificial Intelligence and Reasoning
FCT 2017   Fundamentals of Computation Theory
LPNMR 2017   14th International Conference on Logic Programming and Non-monotonic Reasoning
LSFA 2017   12th Workshop on Logical and Semantic Frameworks, with Applications
NCMA 2017   9-th International Workshop on Non-Classical Models of Automata and Applications
RuleML+RR 2017   RuleML+RR 2017 Call for Papers
ICCMIT 2017   International Conference on Communication, Management and Information Technology (ICCMIT 2017)
SeAC 2017   Workshop on Self-Aware Computing
SLIE 2017   Semantic, Logics, Information Extraction and AI
TARK 2017   16th Conference on Theoretical Aspects of Rationality and Knowledge