Category:Logic: Difference between revisions

From Openresearch
Jump to navigation Jump to search
Floebe (talk | contribs)
117 edits
new(?)
 
mNo edit summary
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
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 in all its facets, including work in philosophy, mathematical logic, logic in computer science (in particular, artificial intelligence, automated theorem proving; possibly, software verification).


[[Category:Science]]
{{research field}}
 
[[Category:Formal science]]

Latest revision as of 21:32, 26 February 2020

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
LICSIEEE Symposium on Logic in Computer ScienceA*33.7
CSLAnnual Conference on Computer Science LogicB39.0
LOPSTRInternational Symposium on Logic-based Program Synthesis and TransformationB50.7
CIAAInternational Conference on Implementation and Application of AutomataB57.5
ILPInternational Conference on Inductive Logic ProgrammingB58.3
TIMEInternational Symposium on Temporal Representation and Reasoning71.1

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://www.openresearch.org/mediawiki/index.php?title=Category:Logic&oldid=218622"