Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hameurlain, Abdelkader (Επιμελητής έκδοσης), Küng, Josef (Επιμελητής έκδοσης), Wagner, Roland (Επιμελητής έκδοσης), Decker, Hendrik (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
• Σειρά: Lecture Notes in Computer Science, 10620
• Θέματα: Computer science.; Logic design.; Microprocessors.; Operating systems (Computers).; Computer logic.; Mathematical logic.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Logic Design.; Operating Systems.; Processor Architectures.

LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development i...

Πίνακας περιεχομένων:

• Basic Postulates for Inconsistency Measures
• Batch Composite Transactions in Stream Processing
• Enhancing User Rating Database Consistency through Pruning
• A Second Generation of Peer-to-Peer Semantic Wikis
• Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant
• A Proximity-Based Understanding of Conditionals
• Inconsistency-Tolerant Database Repairs and Simplified Repair Checking by Measure-Based Integrity Checking.