Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Willem Conradie"'
Autor:
Laura Dison, Kershree Padayachee, Danie de Klerk, Willem Conradie, Fiona MacAlister, Shirra Moch, Greig Krull
Publikováno v:
SOTL in the South, Vol 6, Iss 1 (2022)
The Covid-19 pandemic raised immense challenges for universities. Staff and students had to quickly transition to an unfamiliar mode of emergency remote teaching and learning (ERTL) with its associated affordances and losses. The experiences of stude
Externí odkaz:
https://doaj.org/article/5a3ac8ab061243f48085a1f5461a561e
Autor:
Willem Conradie, Alessandra Palmigiano
Publikováno v:
Logical Methods in Computer Science, Vol Volume 16, Issue 3 (2020)
We prove the canonicity of inductive inequalities in a constructive meta-theory, for classes of logics algebraically captured by varieties of normal and regular lattice expansions. This result encompasses Ghilardi-Meloni's and Suzuki's constructive c
Externí odkaz:
https://doaj.org/article/0f9b5d5d92e54cba98fb42b873f4e106
Publikováno v:
Logical Methods in Computer Science, Vol Volume 16, Issue 2, Iss Logic for knowledge... (2020)
There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points as a particular case of duration-less intervals. A recent result by Bal
Externí odkaz:
https://doaj.org/article/2d975b601d8e4c3babb36d59596ed5e9
Autor:
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem M. Wijnberg
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 251, Iss Proc. TARK 2017, Pp 167-186 (2017)
Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes. In the present paper, we introduce a sound and complete epistemic logic of
Externí odkaz:
https://doaj.org/article/9232628f422d41b4a0ef74753a04ccae
Publikováno v:
Logical Methods in Computer Science, Vol Volume 15, Issue 1 (2019)
In recent years, unified correspondence has been developed as a generalized Sahlqvist theory which applies uniformly to all signatures of normal and regular (distributive) lattice expansions. This includes a general definition of the Sahlqvist and in
Externí odkaz:
https://doaj.org/article/0b47c7de0789467485e8745a346f88e7
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 2 (2018)
There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points as a particular case of duration-less intervals. A recent result by Bal
Externí odkaz:
https://doaj.org/article/9c2137d5a31a4476a2cba7b811366387
Publikováno v:
Logical Methods in Computer Science, Vol Volume 2, Issue 1 (2006)
Modal formulae express monadic second-order properties on Kripke frames, but in many important cases these have first-order equivalents. Computing such equivalents is important for both logical and computational reasons. On the other hand, canonicity
Externí odkaz:
https://doaj.org/article/67ebddc3e8534066a406b34e5ea097a2
Autor:
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
Publikováno v:
Fuzzy Sets and Systems. 456:107-124
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::55286439b511304d39b329c0dcc94381
https://doi.org/10.1016/j.fss.2022.05.014
https://doi.org/10.1016/j.fss.2022.05.014
Publikováno v:
Revista Odisseia. 7:1-13
O trickster é uma figura que se filia a um modelo que tem aparecido nas obras ficcionais norte-americanas desde os seus primórdios até a contemporaneidade e guarda notáveis semelhanças com o pícaro espanhol, com o malandro brasileiro, com o arr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8fd548a4580db1fee92c09d10fbb055b
https://doi.org/10.21680/1983-2435.2022v7n1id27822
https://doi.org/10.21680/1983-2435.2022v7n1id27822
Autor:
Sabine Frittella, Nachoem M. Wijnberg, Sajad Nazari, Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis
Publikováno v:
Information Sciences
Information Sciences, Elsevier, 2020, ⟨10.1016/j.ins.2020.05.074⟩
Information Sciences, 561, 371-413. Elsevier Inc.
Information Sciences, 561, 371-413. Elsevier
Conradie, W, Frittella, S, Manoorkar, K, Nazari, S, Palmigiano, A, Tzimoulis, A & Wijnberg, N M 2021, ' Rough concepts ', Information Sciences, vol. 561, pp. 371-413 . https://doi.org/10.1016/j.ins.2020.05.074
Information Sciences, Elsevier, 2020, ⟨10.1016/j.ins.2020.05.074⟩
Information Sciences, 561, 371-413. Elsevier Inc.
Information Sciences, 561, 371-413. Elsevier
Conradie, W, Frittella, S, Manoorkar, K, Nazari, S, Palmigiano, A, Tzimoulis, A & Wijnberg, N M 2021, ' Rough concepts ', Information Sciences, vol. 561, pp. 371-413 . https://doi.org/10.1016/j.ins.2020.05.074
The present paper proposes a novel way to unify Rough Set Theory and Formal Concept Analysis. Our method stems from results and insights developed in the algebraic theory of modal logic, and is based on the idea that Pawlak's original approximation s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4af74e65afe52fcaad31eb47e2f75012
https://research.vu.nl/en/publications/4b310953-7bc5-4c04-aac0-a813f601d8dd
https://research.vu.nl/en/publications/4b310953-7bc5-4c04-aac0-a813f601d8dd