Difference between revisions of "Category:Logic"

From Openresearch
Jump to: navigation, search
(changed supercategory)
m
 
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).
 +
 +
{{research field}}
  
 
[[Category:Formal science]]
 
[[Category:Formal science]]

Latest revision as of 22: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]

  • The part "[[" of the query was not understood. Results might not be as expected.
  • The symbol "[[" was used in a place where it is not useful.
  more …


Event Series


Fora

  more …

Projects

  more …

Organizations

  more …

Journals

  more …

Publication Calls

  • The part "[[" of the query was not understood. Results might not be as expected.
  • The symbol "[[" was used in a place where it is not useful.
  more …


Subcategories

This category has only the following subcategory.

M

Retrieved from "https://www.openresearch.org/mediawiki/index.php?title=Category:Logic&oldid=218622"