Opis

• Tytuł:
  Justification logic, inference tracking, and data privacy
• Twórca:
  Studer, Thomas
• Opis:
  Internalization is a key property of justification logics. It states that justification logics internalize their own notion of proof which is essential for the proof of the realization theorem. The aim of this note is to show how to make use of internalization to track where an agent’s knowledge comes from and how to apply this to the problem of data privacy.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2011.12.20
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 20 No. 4 (2011); 297-306;
  Logic and Logical Philosophy; Tom 20 Nr 4 (2011); 297-306;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2011.019/810
• Temat i słowa kluczowe:
  justification logic;
  internalization;
  knowledge tracking;
  data privacy
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2011.019
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty