Category:Logic

From Openresearch
Jump to navigation Jump to search

Logic in all its facets, including work in philosophy, mathematical logic, logic in computer science (in particular, artificial intelligence, automated theorem proving; possibly, software verification).

Logic
Editor: Become editor of this category


Top conference series

AcronymTitleCORE2017Avg. acc. rate
AiMLAdvances in Modal LogicA0.0
ICLPInternational Conference on Logic ProgrammingA0.0
TABLEAUXInternational Conference on Theorem Proving with Analytic Tableaux and Related MethodsA0.0
CommonsenseInternational Symposium on Logical Formalizations of Commonsense Reasoning0.0
LICSIEEE Symposium on Logic in Computer Science33.7
CSLAnnual Conference on Computer Science Logic:
The (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference series started in 1987 as a programme of International Workshops on Computer Science Logic, and then in its sixth meeting (in 1992) became the Annual Conference of the EACSL.
B35.3
LOPSTRInternational Symposium on Logic-based Program Synthesis and TransformationB50.7
... further results

Upcoming conferences


Conferences   [Cal. 2016]

<ul><li>The part "[[" of the query was not understood.Results might not be as expected.</li> <!--br--><li>The symbol "[[" was used in a place where it is not useful.</li></ul>  more …


Event Series


Fora

<ul><li>The part "" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some use of "" in your query was not closed by a matching "".</li></ul>  more …

Projects

<ul><li>The part "" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some use of "" in your query was not closed by a matching "".</li></ul>  more …

Organizations

<ul><li>The part "" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some use of "" in your query was not closed by a matching "".</li></ul>  more …

Journals

<ul><li>The part "" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some use of "" in your query was not closed by a matching "".</li></ul>  more …

Publication Calls

<ul><li>The part "[[" of the query was not understood.Results might not be as expected.</li> <!--br--><li>The symbol "[[" was used in a place where it is not useful.</li></ul>  more …


Subcategories

This category has only the following subcategory.

M

Retrieved from "https://confident.dbis.rwth-aachen.de/or/index.php?title=Category:Logic&oldid=218622"