Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662559468, 9783662559475

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Inconsistency-Tolerant Database Repairs and Simplified Repair Checking by Measure-Based Integrity Checking

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55947-5_7 ◽

2017 ◽

pp. 153-183

Author(s):

Hendrik Decker

Keyword(s):

Integrity Checking

Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55947-5_5 ◽

2017 ◽

pp. 92-122

Author(s):

Jørgen Villadsen ◽

Anders Schlichtkrull

Keyword(s):

Paraconsistent Logic ◽

Proof Assistant ◽

Isabelle Proof Assistant

Basic Postulates for Inconsistency Measures

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55947-5_1 ◽

2017 ◽

pp. 1-12 ◽

Cited By ~ 1

Author(s):

Philippe Besnard

Enhancing User Rating Database Consistency Through Pruning

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55947-5_3 ◽

2017 ◽

pp. 33-64 ◽

Cited By ~ 6

Author(s):

Dionisis Margaris ◽

Costas Vassilakis

A Second Generation of Peer-to-Peer Semantic Wikis

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55947-5_4 ◽

2017 ◽

pp. 65-91

Author(s):

Charbel Rahhal

Keyword(s):

Second Generation ◽

Peer To Peer

Batch Composite Transactions in Stream Processing

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55947-5_2 ◽

2017 ◽

pp. 13-32 ◽

Cited By ~ 1

Author(s):

K. Vidyasankar

Keyword(s):

Stream Processing

A Proximity-Based Understanding of Conditionals

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55947-5_6 ◽

2017 ◽

pp. 123-152

Author(s):

Ricardo Queiroz de Araujo Fernandes ◽

Edward Hermann Haeusler ◽

Luiz Carlos Pinheiro Dias Pereira