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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n10http://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Computational_logic
rdf:type
owl:Thing
rdfs:label
Computational logic
rdfs:comment
Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy. It is synonymous with "logic in computer science".
owl:differentFrom
dbr:Computability_logic
owl:sameAs
yago-res:Computational_logic freebase:m.0jwywcy
dbp:wikiPageUsesTemplate
dbt:More_citations_needed dbt:Reflist dbt:Cite_book dbt:Distinguish
dct:subject
dbc:Logic_in_computer_science dbc:Computational_fields_of_study
gold:hypernym
dbr:Use
prov:wasDerivedFrom
n10:Computational_logic?oldid=1074593168&ns=0
dbo:wikiPageID
8619255
dbo:wikiPageLength
3465
dbo:wikiPageRevisionID
1074593168
dbo:wikiPageWikiLink
dbr:Computer_science dbr:Philosophy dbr:Computation dbr:Type_theory dbr:Mathematics dbr:Automated_theorem_proving dbr:Logic_programming dbr:Automated_reasoning dbr:Logic dbr:John_Alan_Robinson dbc:Logic_in_computer_science dbr:Philosophical_logic dbr:University_of_Edinburgh dbr:Formal_verification dbr:Dov_Gabbay dbr:Mathematical_logic dbc:Computational_fields_of_study dbr:Robert_S._Boyer dbr:J_Strother_Moore dbr:Logic_in_computer_science dbr:ACM_Transactions_on_Computational_Logic
dbo:abstract
Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy. It is synonymous with "logic in computer science". The term “computational logic” came to prominence with the founding of the ACM Transactions on Computational Logic in 2000. However, the term was introduced much earlier, by J.A. Robinson in 1970. The expression is used in the second paragraph with a footnote claiming that "computational logic" is "surely a better phrase than 'theorem proving', for the branch of artificial intelligence which deals with how to make machines do deduction efficiently". In 1972 the Metamathematics Unit at the University of Edinburgh was renamed “The Department of Computational Logic” in the School of Artificial Intelligence. The term was then used by Robert S. Boyer and J Strother Moore, who worked in the Department in the early 1970s, to describe their work on program verification and automated reasoning. They also founded Computational Logic Inc. Computational logic has also come to be associated with logic programming, because much of the early work in logic programming in the early 1970s also took place in the Department of Computational Logic in Edinburgh. It was reused in the early 1990s to describe work on extensions of logic programming in the EU Basic Research Project "Compulog" and in the associated Network of Excellence. Krzysztof Apt, who was the co-ordinator of the Basic Research Project Compulog-II, reused and generalized the term when he founded the ACM Transactions on Computational Logic in 2000 and became its first Editor-in-Chief.
foaf:isPrimaryTopicOf
n10:Computational_logic