About: Computational logic

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Computational logic Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

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".

Attributes	Values
rdf:type	Thing
rdfs:label	Computational logic (en)
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". (en)
differentFrom	Computability logic
sameAs	Computational logic Computational logic
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Distinguish dbt:More_citations_needed dbt:Reflist
Subject	Computational fields of study Logic in computer science
gold:hypernym	Use
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Computational_logic?oldid=1074593168&ns=0
Wikipage page ID	8619255 (xsd:integer)
page length (characters) of wiki page	3465 (xsd:nonNegativeInteger)
Wikipage revision ID	1074593168 (xsd:integer)
Link from a Wikipage to another Wikipage	Formal verification Logic Logic in computer science Logic programming ACM Transactions on Computational Logic Automated reasoning Automated theorem proving University of Edinburgh Computational fields of study Logic in computer science Dov Gabbay Philosophical logic Philosophy Robert S. Boyer Computation Computer science John Alan Robinson Type theory J Strother Moore Mathematical logic Mathematics
has 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. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Computational_logic
is differentFrom of	Computability logic
is Wikipage redirect of	Logical computation
is Link from a Wikipage to another Wikipage of	Fragment (logic) Logic in computer science ACM Transactions on Computational Logic Action model learning Artur d'Avila Garcez Georg Gottlob Jacob T. Schwartz Jean Gallier Ofer Strichman Horn clause Computer science Computing Michael Genesereth Michael Wooldridge (computer scientist) Neža Mramor–Kosta Logical computation Harry R. Lewis Informatics European Master Program in Computational Logic European PhD Program in Computational Logic Lawrence Paulson Max Planck Institute for Informatics
is academic discipline of	ACM Transactions on Computational Logic Stephen Muggleton Ofer Strichman
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Computational_logic

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software