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

NCMA 2019   11th International Workshop on Non-Classical Models of Automata and Applications
KI 2019   42nd German Conference on Artificial Intelligence
DL 2019   32nd International Workshop on Description Logics
WLP 2019   33rd Workshop on (Constraint) Logic Programming
LPNMR 2019   15th International Conference on Logic Programming and Non-monotonic Reasoning
JOWO 2019   The Joint Ontology WOrkshops - Episode V: The Styrian Autumn of Ontology
SLIE 2019   Special Track Semantics, Logics, Information extraction and AI
ALC 2019   The Sixteenth Asian Logic Conference
ASE 2019   Automated Software Engineering
IULP 2019   3rd International Workshop on User-Oriented Logic Paradigms