Paraconsistent Logic Programming in Three and Four-Valued Logics

From the interaction among areas such as Computer Science, Formal Logic, and Automated Deduction arises an important new subject called Logic Programming. This has been used continuously in the theoretical study and practical applications in various fields of Artificial Intelligence. After the emerg...

Celý popis

Podrobná bibliografie

Vydáno v:	The bulletin of symbolic logic Ročník 28; číslo 2; s. 260
Hlavní autor:	Oliveira, Kleidson Êglicio Carvalho da Silva
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, USA Cambridge University Press 01.06.2022
Témata:	Artificial intelligence Deduction Logic programming Mathematical logic Reasoning Semantics Thesis Abstracts 03B53 Logic programming Many-valued logics Paraconsistent logic
ISSN:	1079-8986, 1943-5894
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!