Difference between revisions of "Category:Automated reasoning"

From Openresearch

Automated reasoning

Jump to: navigation, search

Latest revision as of 13:15, 25 September 2016

Automated reasoning
Editor:	Become editor of this category

Top conference series

Acronym	Title	CORE2017	Avg. acc. rate
IJCAR	International Joint Conference on Automated Reasoning	A*	41.3
CADE	International Conference on Automated Deduction	A	43.6

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.

Event Series

IJCAR, CADE more …

Fora

The part "" of the query was not understood. Results might not be as expected.
Some use of "" in your query was not closed by a matching "".

The part "" of the query was not understood. Results might not be as expected.
Some use of "" in your query was not closed by a matching "".

Organizations

The part "" of the query was not understood. Results might not be as expected.
Some use of "" in your query was not closed by a matching "".

The part "" of the query was not understood. Results might not be as expected.
Some use of "" in your query was not closed by a matching "".

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.

Subcategories

This category has only the following subcategory.

A

► Answer set programming‎ (empty)

Pages in category "Automated reasoning"

The following 37 pages are in this category, out of 37 total.

H

HermiT

I

W

WAIMS 2016

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

Cognitive science