Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Computational logic
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Use of logic to perform or reason about computation
Property
Value
dbo:
description
use of logic to perform or reason about computation
(en)
lógica matemática aplicada al contexto de las ciencias de la computación
(es)
dbo:
wikiPageWikiLink
dbr
:Automated_reasoning
dbr
:Logic_programming
dbr
:Philosophy
dbc
:Computational_fields_of_study
dbr
:Automated_theorem_proving
dbr
:Philosophical_logic
dbr
:Type_theory
dbc
:Logic_in_computer_science
dbr
:Logic
dbr
:Mathematics
dbr
:Computation
dbr
:Computer_science
dbr
:University_of_Edinburgh
dbr
:Mathematical_logic
dbr
:Formal_verification
dbr
:J_Strother_Moore
dbr
:Krzysztof_R._Apt
dbr
:ACM_Transactions_on_Computational_Logic
dbr
:Logic_in_computer_science
dbr
:Robert_S._Boyer
dbr
:J.A._Robinson
dbr
:Program_verification
dbr
:Dov_M._Gabbay
dbp:
wikiPageUsesTemplate
dbt
:Cite_book
dbt
:Reflist
dbt
:More_citations_needed
dbt
:Distinguish
dct:
subject
dbc
:Computational_fields_of_study
dbc
:Logic_in_computer_science
gold:
hypernym
dbr
:Use
rdfs:
label
Computational logic
(en)
Lògica computacional
(ca)
Komputa logiko
(eo)
Logika konputazional
(eu)
Lógica computacional
(es)
Lógica computacional
(pt)
owl:
differentFrom
dbr
:Computability_logic
owl:
sameAs
yago-res
:Computational logic
freebase
:Computational logic
wikidata
:Computational logic
dbpedia-pt
:Computational logic
dbpedia-es
:Computational logic
dbpedia-ca
:Computational logic
dbpedia-eo
:Computational logic
dbpedia-eu
:Computational logic
dbpedia-global
:Computational logic
prov:
wasDerivedFrom
wikipedia-en
:Computational_logic?oldid=1217662655&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Computational_logic
is
dbo:
academicDiscipline
of
dbr
:Stephen_Muggleton
dbr
:ACM_Transactions_on_Computational_Logic
dbr
:Ofer_Strichman
is
dbo:
wikiPageRedirects
of
dbr
:Logical_computation
is
dbo:
wikiPageWikiLink
of
dbr
:Sam_Husseini
dbr
:Fragment_(logic)
dbr
:Action_model_learning
dbr
:Philosophy
dbr
:Stephen_Muggleton
dbr
:Georg_Gottlob
dbr
:Stephanie_Strickland
dbr
:Horn_clause
dbr
:Max_Planck_Institute_for_Informatics
dbr
:Computing
dbr
:European_Master_Program_in_Computational_Logic
dbr
:European_PhD_Program_in_Computational_Logic
dbr
:Computer_science
dbr
:Jacob_T._Schwartz
dbr
:Informatics
dbr
:Robert_Kowalski
dbr
:ACM_Transactions_on_Computational_Logic
dbr
:Pierre_Geneves
dbr
:Logic_in_computer_science
dbr
:Artur_d'Avila_Garcez
dbr
:Lawrence_Paulson
dbr
:Vladimir_Lifschitz
dbr
:Michael_Wooldridge_(computer_scientist)
dbr
:Harry_R._Lewis
dbr
:Neža_Mramor–Kosta
dbr
:Michael_Genesereth
dbr
:Jean_Gallier
dbr
:Ofer_Strichman
dbr
:Logical_computation
is
dbp:
discipline
of
dbr
:ACM_Transactions_on_Computational_Logic
is
dbp:
fields
of
dbr
:Ofer_Strichman
is
owl:
differentFrom
of
dbr
:Computability_logic
is
foaf:
primaryTopic
of
wikipedia-en
:Computational_logic
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International