posted by user: c_benzmueller || 8357 views || tracked by 1 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

KRR@SAC 2017   Knowledge Representation and Reasoning (track of the 32st ACM/SIGAPP Symposium On Applied Computing)
ARQNL 2016   Automated Reasoning in Quantified Non-Classical Logics
ORAJ 2016   Operations Research and Applications: An International Journal
NCMA 2016   8th International Workshop on Non-Classical Models of Automata and Applications
EvoKNOW 2017   Knowledge Incorporation in Evolutionary Computation
Bridging 2016   Bridging the Gap between Human and Automated Reasoning
Artificial Intelligence Workshop - ENC 2016   Artificial Intelligence Workshop: Methods and applications - At Mexican International Conference on Computer Science 2016 (ENC 2016)
ASE 2016   31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016)
SLIE 2016   Semantic, Logics, Information Extraction and AI (SLIE)
SLIE 2017   Semantic, Logics, Information Extraction and AI