About: computational logic

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: computational logic Goto Sponge NotDistinct Permalink

An Entity of Type : wikibase:Item, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

use of logic to perform or reason about computation

Attributes	Values
rdf:type	Item
owl:sameAs	computational logic
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)
rdfs:label	lògica computacional (ca) computational logic (en) komputa logiko (eo) logika konputazional (eu) logique computationnelle (fr) lógica computacional (es) lógica computacional (pt) ሒሳባዊ ሥነ አምክንዮ (am)
skos:prefLabel	lògica computacional (ca) computational logic (en) komputa logiko (eo) logika konputazional (eu) logique computationnelle (fr) lógica computacional (es) lógica computacional (pt) ሒሳባዊ ሥነ አምክንዮ (am)
name	lògica computacional (ca) computational logic (en) komputa logiko (eo) logika konputazional (eu) logique computationnelle (fr) lógica computacional (es) lógica computacional (pt) ሒሳባዊ ሥነ አምክንዮ (am)
Freebase ID	wds:Q5157327-0358F211-0510-444D-B87F-781FFEED5134
Freebase ID	/m/0jwywcy
said to be the same as	wds:Q5157327-81b3d75b-4553-5494-6dc8-6c04a1e916af
said to be the same as	logic in computer science
subclass of	wds:Q5157327-644c7732-491e-a63b-6f6f-f226f8bccca8 wds:Q5157327-8919bd4f-4102-d118-d806-d7487b3204bb
subclass of	logic automated reasoning
ANZSRC 2008 FoR ID	wds:Q5157327-A23B1190-B36C-4CA1-A02F-97E9E4A6A269
ANZSRC 2008 FoR ID	http://purl.org/au-research/vocabulary/anzsrc-for/2008/080203
ANZSRC 2008 FoR ID	080203
OpenAlex ID	wds:Q5157327-DFBF7830-1B29-47A1-9123-278F0E2B15B0
Quora topic ID	wds:Q5157327-6E52625A-1E0F-4A75-8880-58B6F60392ED
Microsoft Academic ID	wds:Q5157327-8F58CAFE-DEB4-4258-8941-02370BDAA36F
Microsoft Academic ID	https://makg.org/entity/124047733
OpenAlex ID	C124047733
Quora topic ID	Computational-Logic
Microsoft Academic ID	124047733
is field of work of	Gert Smolka Marek Sergot Joohyung Lee Inês Lynce
is field of work of	wds:Q93376285-f134aeb0-419e-9e7a-9168-ea7ee212fc9e wds:Q102342670-3777c573-4fb9-9647-5ff0-eab454692b40 wds:Q1515343-9d6f0151-4198-969c-2a65-911005e3ddad wds:Q85100310-33254364-4716-30ac-c0f0-b423439b9e53
is owl:sameAs of	computational logic
is about of	computational logic https://www.wikidata.org/wiki/Special:EntityData/Q5157327 Computational logic https://ca.wikipedia.org/wiki/L%C3%B2gica_computacional https://eo.wikipedia.org/wiki/Komputa_logiko https://es.wikipedia.org/wiki/L%C3%B3gica_computacional https://eu.wikipedia.org/wiki/Logika_konputazional https://pt.wikipedia.org/wiki/L%C3%B3gica_computacional
is said to be the same as of	logic in computer science
is said to be the same as of	wds:Q2651693-6644e549-4eab-57f8-907c-b31926ab21ea
is main subject of	Logic for Programming, Artificial Intelligence and Reasoning ACM Transactions on Computational Logic Biological pattern generation: the cellular and computational logic of networks in motion The Successor Representation: Its Computational Logic and Neural Substrates Computational Logic with Square Rings of Nanomagnets. Life-cycle energy demand and global warming potential of computational logic Specifying Compositional Units for Correct Program Development in Computational Logic A formal representation of the WHO and UNICEF estimates of national immunization coverage: a computational logic approach Deconstructing the Conspiratorial Mind: the Computational Logic Behind Conspiracy Theories Computational logic and the social A Computational Logic Application Framework for Service Discovery and Contracting Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract) Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII) Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions wd:Q66549227 Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV) Computational logic: a method for formal analysis of the ICU knowledge base. Computational logic: its origins and applications.
is main subject of	wds:Q52605439-9B326BE9-9766-4D40-B1CB-F3F1AE623D5B wds:Q63244948-7275A882-6F15-48F5-B77D-C9BCA5F2EDAE wds:Q114220238-8F5489A3-3B80-485F-B38F-766B94FC8F78 wds:Q18350141-0745e177-405c-8ad0-53fa-1dd5cff98148 wds:Q55393251-F413E12D-8CEA-4D35-A3D2-37071CD30B58 wds:Q57977929-45EA482B-20B9-4215-A2F3-74F94329D519 wds:Q115255329-8F6C1F0B-14CB-4BD5-95A0-2B5659D2A7DA wds:Q38434021-6CEC3290-8863-434E-B6C5-49A3C2C788C4 wds:Q58176727-505C5C28-0C2F-4A2F-9D7B-B583F5C96327 wds:Q57977981-68A78512-7F45-4F24-9343-7A0290EF5E0E wds:Q4650732-7FB59FFB-0F0C-4643-BD56-8A5FCAB0BC03 wds:Q57169294-B056C2B1-C7AC-49B8-9678-DBD2A15B5068 wds:Q66549227-508e8edc-43fb-c98f-fc53-e77f6c641742 wds:Q62696783-9F96AB4D-BFA4-479E-8D0C-73CBCC3AECC8 wds:Q34469202-34116D9C-F988-48EB-9DFC-327394943CD3 wds:Q36673480-B6D96CE1-E220-4F18-908D-3B8139904E0D wds:Q52401999-7CA62907-ABD4-4F34-A2FA-E78014857CAB

Faceted Search & Find service v1.16.117 as of May 05 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 183 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software