Automated reasoning
id:
automated-reasoning-180-14589788
title:
Automated reasoning
text:
In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science and philosophy. The most dev
brand slug:
wiki
category slug:
encyclopedia
description:
Subfield of computer science and logic
original url:
https://en.wikipedia.org/wiki/Automated_reasoning
date created:
2005-10-11T18:27:56Z
date modified:
2024-09-05T14:24:07Z
main entity:
{"identifier":"Q2555318","url":"https://www.wikidata.org/entity/Q2555318"}
image:
fields total:
13
integrity:
15