Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Permissions, Information and Institutional Dynamics, Obligations, and Rights

2014/15/G/HS1/04514

Słowa kluczowe:

logika deontyczna

Deskryptory:

  • HS1_4: Logika, metodologia nauk, filozofia nauki
  • HS5_1: Teoria i filozofia prawa, historia prawa i myśli prawnej
  • HS1_7: Etyka normatywna i opisowa, teoria moralności, bioetyka, etyka zawodowa

Panel:

HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia

Jednostka realizująca:

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

woj. lubelskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Piotr Kulicki 

Liczba wykonawców projektu: 1

Konkurs: BEETHOVEN 1 - ogłoszony 2014-09-15

Przyznana kwota: 806 695 PLN

Rozpoczęcie projektu: 2015-12-22

Zakończenie projektu: 2018-12-21

Planowany czas trwania projektu: 36 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (9)
  • Teksty w publikacjach pokonferencyjnych (4)
  • Publikacje książkowe (1)
  1. Categorical quantum cryptography for access control in cloud computing
    Autorzy:
    Lirong Qiu, Xin Sun, Juan Xu
    Czasopismo:
    Soft Computing (rok: 2017, tom: online first, strony: 45299), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s00500-017-2688-2 - link do publikacji
  2. Performability of Actions
    Autorzy:
    Janusz Czelakowski
    Czasopismo:
    Journal of Logic, Language and Information (rok: 2021, tom: b.d., strony: b.d.), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s10849-021-09343-w - link do publikacji
  3. Deontic STIT logic, from logical paradox to security policy
    Autorzy:
    Lirong Qiu, Xin Sun
    Czasopismo:
    Soft Computing (rok: 2017, tom: online first, strony: 45298), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s00500-017-2497-7 - link do publikacji
  4. Legal Permissibility and Legal Competences in Hierarchical Systems with Strong Permission
    Autorzy:
    Olivier Roy, Piotr Kulicki
    Czasopismo:
    Journal of Zhejiang University (Humanities and Social Sciences Online Edition) (rok: 2020, tom: b.d., strony: b.d.), Wydawca: Zhejiang University
    Status:
    Opublikowana
    Doi:
    10.3785/j.issn.1008G942X.CN33G6000/C.2019.12.013 - link do publikacji
  5. On the Complexity of Input/Output Logic
    Autorzy:
    Xin Sun, Livio Robaldo
    Czasopismo:
    Journal of Applied Logic (rok: 2017, tom: 25, strony: 69-88), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.jal.2017.03.002 - link do publikacji
  6. Deontology of Compound Actions
    Autorzy:
    Janusz Czelakowski
    Czasopismo:
    Studia Logica (rok: 2020, tom: 108, strony: 17288), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11225-018-9834-4 - link do publikacji
  7. From Permissions to Obligations and Beyond: An Editorial.
    Autorzy:
    Piotr Kulicki, Olivier Roy
    Czasopismo:
    Studia Logica (rok: 2020, tom: 108, strony: 45294), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11225-019-09881-2 - link do publikacji
  8. Quantum Technique for Access Control in Cloud Computing II: Encryption and Key Distribution
    Autorzy:
    Lu Zhou, Quanlong Wang, Xin Sun, Piotr Kulicki, Arcangelo Castiglione
    Czasopismo:
    Journal of Network and Computer Applications (rok: 2018, tom: 22, strony: 6363–6370), Wydawca: Academic Press, Elsevier
    Status:
    Opublikowana
    Doi:
    10.1007/s00500-017-2688-2 - link do publikacji
  9. Who is obliged when many are involved? Labelled transition system modelling of how obligation arises
    Autorzy:
    Piotr Kulicki, Robert Trypuz, Marek Sergot
    Czasopismo:
    Artificial Intelligence and Law (rok: 2020, tom: b.d., strony: b.d.), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s10506-020-09279-9 - link do publikacji
  1. Multivalued Logics for Conflicting Norms
    Autorzy:
    Piotr Kulicki, Robert Trypuz
    Konferencja:
    Deontic Logic and Normative Systems 13th International Conference, DEON 2016, Bayreuth, Germany (rok: 2016, ), Wydawca: College Publications
    Data:
    konferencja July 18-21, 2016
    Status:
    Opublikowana
  2. S5 as a Deontic Logic
    Autorzy:
    Fengkui Ju
    Konferencja:
    Deontic Logic and Normative Systems. 14th International Conference, DEON 2018 (rok: 2018, ), Wydawca: College Publishing
    Data:
    konferencja 03.07 - 07.07
    Status:
    Opublikowana
  3. Conditional Normative Reasoning with Substructural Logics
    Autorzy:
    Clayton Peterson, Piotr Kulicki
    Konferencja:
    Deontic Logic and Normative Systems 13th International Conference, DEON 2016, Bayreuth, Germany (rok: 2016, ), Wydawca: College Publications
    Data:
    konferencja July 18-21, 2016
    Status:
    Opublikowana
  4. Towards a Formal Ethics for Autonomous Cars
    Autorzy:
    Piotr Kulicki, Robert Trypuz, Michael P. Musielewicz
    Konferencja:
    Deontic Logic and Normative Systems. 14th International Conference, DEON 2018 (rok: 2018, ), Wydawca: College Publications
    Data:
    konferencja 03.07 - 07.07
    Status:
    Opublikowana
  1. Who should you sue when no-one is behind the wheel: Difficulties in establishing new norms for autonomous vehicles in the European Union
    Autorzy:
    Michael Musielewicz
    Książka:
    Robotics and Well-Being. Intelligent Systems, Control and Automation: Science and Engineering, vol 95 (rok: 2019, tom: b.d., strony: 67-77), Wydawca: Springer
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy