Category:Logic
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
| Acronym | Title | CORE2017 | Avg. acc. rate |
|---|---|---|---|
| LICS | IEEE Symposium on Logic in Computer Science | A* | 33.7 |
| CSL | Annual Conference on Computer Science Logic | B | 39.0 |
| LOPSTR | International Symposium on Logic-based Program Synthesis and Transformation | B | 50.7 |
| CIAA | International Conference on Implementation and Application of Automata | B | 57.5 |
| ILP | International Conference on Inductive Logic Programming | B | 58.3 |
| TIME | International Symposium on Temporal Representation and Reasoning | 71.1 |
Upcoming conferences
|
<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 …
|
<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 …
<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 …
<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 …
|
<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 …
<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 …
|
Pages in category "Logic"
The following 84 pages are in this category, out of 84 total.
C
L
- LaSh 2016
- LICS
- LICS 1986
- LICS 1987
- LICS 1988
- LICS 1989
- LICS 1990
- LICS 1991
- LICS 1992
- LICS 1993
- LICS 1994
- LICS 1995
- LICS 1996
- LICS 1997
- LICS 1998
- LICS 1999
- LICS 2000
- LICS 2001
- LICS 2002
- LICS 2003
- LICS 2004
- LICS 2005
- LICS 2006
- LICS 2007
- LICS 2008
- LICS 2009
- LICS 2010
- LICS 2011
- LICS 2012
- LICS 2013
- LICS 2014
- LICS 2015
- LICS 2016
- LICS 2017
- LICS 2018
- LICS 2019
- LICS 2020
- LID 2008
- LOPSTR
- LOPSTR 2016
- LOPSTR 2017
- LOPSTR 2018
- LOPSTR 2019
- LOPSTR 2020