Automated reasoning

Property	Value
rdf:type	owl:NamedIndividual Academic discipline
rdfs:label	Automated reasoning
owl:sameAs	dbr:Automated_reasoning
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(A%E2%80%93C) http://en.wikipedia.org/wiki/List_of_academic_fields http://en.wikipedia.org/wiki/Outline_of_academic_disciplines http://en.wikipedia.org/wiki/Outline_of_artificial_intelligence http://en.wikipedia.org/wiki/Applications_of_artificial_intelligence http://en.wikipedia.org/wiki/Outline_of_natural_language_processing http://en.wikipedia.org/wiki/Programming_domain http://en.wikipedia.org/wiki/Artificial_general_intelligence http://en.wikipedia.org/wiki/Grand_Challenges http://en.wikipedia.org/wiki/INESC-ID http://en.wikipedia.org/wiki/Outline_of_computer_science http://en.wikipedia.org/wiki/Robert_S._Boyer http://en.wikipedia.org/wiki/Outline_of_thought
skos:prefLabel	Automated reasoning
skos:altLabel	reasons Automated Reasoning Automated_reasoning#Applications Automated_reasoning#Early_years automated reasoning formal reasoning meta-level reasoning ontology-based reasoning reason reasoning reasoning systems
is clgo:academicDiscipline of	Ulrike Sattler Toby Walsh Deepak Kapur Alan Bundy Dan Roth
is clgo:genre of	Tamarin Prover
is clgo:notableIdea of	Bertrand Russell

About: clgr:Automated_reasoning