Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv A Multi-Strategy Tableau Prover Adolfo Gustavo Serra Seca Neto

A Multi-Strategy Tableau Prover

Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics

Szerző: Adolfo Gustavo Serra Seca Neto
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Novas Edicioes Academicas
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
21 686 Ft
In this book we present the design and implementation of KEMS, a multi-strategy theorem prover based...

Információk a könyvről

Szerző
Adolfo Gustavo Serra Seca Neto
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2017
oldal
164
EAN
9783330763517
ISBN
3330763515
Enbook ID
16819317
Kiadó
Novas Edicioes Academicas
Súly
261
Méretek
150 x 220 x 10

Teljes leírás

In this book we present the design and implementation of KEMS, a multi-strategy theorem prover based on the KE tableau inference system. A multi-strategy theorem prover is a theorem prover where we can vary the strategy without modifying the core of the implementation. Besides being multi-strategy, KEMS is capable of proving theorems in three logical systems: classical propositional logic, mbC and mCi. Some of the contributions of this work are (i) an analytic, correct and complete KE system for mbC; (ii) a correct and complete KE system for mCi; (iii) a multi-strategy prover with the following characteristics: accepts problems in three logical systems: classical propositional logic, mbC and mCi; has 6 implemented strategies for classical propositional logic, 2 for mbC and 2 for mCi; has 13 sorters to be used alongside with the strategies; implements simplification rules of classical propositional logic; provides a proof viewer with a graphical user interface; it is open source and available on the internet at https://github.com/adolfont/KEMS; benchmark results obtained by KEMS comparing its classical propositional logic strategies with several problem families.

Érdekelheti

State of the Union Address

Abraham Lincoln
4 391 Ft

Speech of Horace Mann, of Massachusetts on the Subject of Slavery in the Territories, and the Consequences of a Dissolution of the Union. Delivered in

Horace Mann
5 409 Ft

Shari'ah Law

Mohammad Hashim Kamali
12 409 Ft

Brief Introduction to Probability and Statistics

William Mendenhall
90 159 Ft

Identities, Discourses and Experiences

Nadia Kiwan
36 445 Ft

Acid Reflux

Ace McCloud
4 007 Ft

Nika: The Adventures of A (Not So Dumb) Polish Girl

William R Brown
6 178 Ft

Anno Dracula - Dracula Cha Cha Cha

Kim Newman
3 256 Ft

Emergence of Cyber Physical System and IoT in Smart Automation and Robotics

Krishna Kant Singh
73 046 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Shaman King - The Super Star 01

Hirofumi Yamada
2 747 Ft

Von allen Speisen und Gerichten, Koch und Kellerey

Carl von Reifitz
10 171 Ft

Mala jade

4 476 Ft

LUNE DE MIEL PIANO PIANO

EMILE WALDTEUFEL
4 078 Ft

Fuerzas Elementales

Yago Doravela
6 048 Ft