Intensional First-Order Logic : (Record no. 84479)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 04622nam a22008895i 4500 |
001 - CONTROL NUMBER | |
control field | 9783110981438 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20240730161613.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 230529t20222022gw fo d z eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783110981438 |
041 0# - LANGUAGE CODE | |
Language code of text/sound track or separate title | |
082 04 - CLASSIFICATION NUMBER | |
Call Number | 004.015113 |
100 1# - AUTHOR NAME | |
Author | Majkic, Zoran, |
245 10 - TITLE STATEMENT | |
Title | Intensional First-Order Logic : |
Sub Title | From AI to New SQL Big Data / |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | 1 online resource (XXVIII, 514 p.) |
520 ## - SUMMARY, ETC. | |
Summary, etc | This book introduces the properties of conservative extensions of First Order Logic (FOL) to new Intensional First Order Logic (IFOL). This extension allows for intensional semantics to be used for concepts, thus affording new and more intelligent IT systems. Insofar as it is conservative, it preserves software applications and constitutes a fundamental advance relative to the current RDB databases, Big Data with NewSQL, Constraint databases, P2P systems, and Semantic Web applications. Moreover, the many-valued version of IFOL can support the AI applications based on many-valued logics. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | https://doi.org/10.1515/9783110981438 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | https://www.degruyter.com/isbn/9783110981438 |
856 42 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | https://www.degruyter.com/document/cover/isbn/9783110981438/original |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | eBooks |
264 #1 - | |
-- | Berlin ; |
-- | Boston : |
-- | De Gruyter, |
-- | [2022] |
264 #4 - | |
-- | ©2022 |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
588 0# - | |
-- | Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Mai 2023) |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Computer logic. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | First-order logic. |
650 #4 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | First-Order Logic. |
650 #4 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Intelligent knowledge systems. |
650 #4 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Intensional semantics. |
650 #4 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | P2P Web semantics. |
650 #7 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | COMPUTERS / Information Theory. |
912 ## - | |
-- | 978-3-11-076682-0 DG Plus DeG Package 2022 Part 1 |
-- | 2022 |
912 ## - | |
-- | 978-3-11-099389-9 EBOOK PACKAGE COMPLETE 2022 English |
-- | 2022 |
912 ## - | |
-- | 978-3-11-099422-3 EBOOK PACKAGE Engineering, Computer Sciences 2022 English |
-- | 2022 |
912 ## - | |
-- | EBA_CL_CHCOMSGSEN |
912 ## - | |
-- | EBA_DGALL |
912 ## - | |
-- | EBA_EBKALL |
912 ## - | |
-- | EBA_ECL_CHCOMSGSEN |
912 ## - | |
-- | EBA_EEBKALL |
912 ## - | |
-- | EBA_ESTMALL |
912 ## - | |
-- | EBA_STMALL |
912 ## - | |
-- | GBV-deGruyter-alles |
912 ## - | |
-- | PDA12STME |
912 ## - | |
-- | PDA13ENGE |
912 ## - | |
-- | PDA18STMEE |
912 ## - | |
-- | PDA5EBK |
912 ## - | |
-- | ZDB-23-DEI |
-- | 2022 |
912 ## - | |
-- | ZDB-23-DGG |
-- | 2022 |
No items available.