This HTML5 document contains 20 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
n8https://web.archive.org/web/20090101214416/http:/www-unix.mcs.anl.gov/JAR/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n6http://es.wikipedia.org/wiki/Razonamiento_automático?oldid=125143877&ns=
n20http://plato.stanford.edu/archives/win2008/entries/reasoning-automated/
dbpedia-eshttp://es.dbpedia.org/resource/
n4http://www.csc.liv.ac.uk/~konev/iwil2008/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n11http://www.cadeconference.org/
n15http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n13http://www.ijcar.org/
n7http://www.aarinc.org/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
n18https://web.archive.org/web/20100206221517/http:/www.eprover.org/EVENTS/es_series.
Subject Item
dbpedia-es:Razonamiento_automatico
dbo:wikiPageRedirects
dbpedia-es:Razonamiento_automático
Subject Item
dbr:Automated_reasoning
owl:sameAs
dbpedia-es:Razonamiento_automático
Subject Item
wikipedia-es:Razonamiento_automático
foaf:primaryTopic
dbpedia-es:Razonamiento_automático
Subject Item
dbpedia-es:Razonamiento_automático
rdfs:label
Razonamiento automático
rdfs:comment
El razonamiento automatizado es un área de la ciencias de la computación dedicada a comprender diferentes aspectos del razonamiento de manera que permita la creación de programas informáticos que posibiliten a los ordenadores razonar de forma completamente automática, o casi automática. Se le considera habitualmente como una subárea de la inteligencia artificial, pero además posee fuertes conexiones con la Teoría de la computación e incluso con la filosofía.
owl:sameAs
n15:0891w9
dct:subject
category-es:Inteligencia_artificial
foaf:isPrimaryTopicOf
wikipedia-es:Razonamiento_automático
dbo:wikiPageID
2350543
dbo:wikiPageRevisionID
125143877
dbo:wikiPageExternalLink
n4: n7: n8: n11: n13: n18:html n20:
dbo:wikiPageLength
9235
prov:wasDerivedFrom
n6:0
dbo:abstract
El razonamiento automatizado es un área de la ciencias de la computación dedicada a comprender diferentes aspectos del razonamiento de manera que permita la creación de programas informáticos que posibiliten a los ordenadores razonar de forma completamente automática, o casi automática. Se le considera habitualmente como una subárea de la inteligencia artificial, pero además posee fuertes conexiones con la Teoría de la computación e incluso con la filosofía.