Willem Conradie
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
2004–2023
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | TIME | A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. | Willem Conradie, Riccardo Monego, Emilio Muoz-Velasco, Guido Sciavicco, Ionel Eduard Stan |
| 2022 | AiML | On parametric phenomena in correspondence theory. | Willem Conradie |
| 2022 | AiML | Modal inverse correspondence via ALBA. | Willem Conradie, Mattia Panettiere |
| 2020 | ECAI | An Approach to Fuzzy Modal Logic of Time Intervals. | Willem Conradie, Dario Della Monica, Emilio Muoz-Velasco, Guido Sciavicco |
| 2019 | EUSFLAT | Modelling competing theories. | Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem Wijnberg |
| 2019 | WoLLIC | Modelling Informational Entropy. | Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg |
| 2017 | WoLLIC | Constructive Canonicity for Lattice-Based Fixed Point Logics. | Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao |
| 2016 | WoLLIC | Categories: How I Learned to Stop Worrying and Love Two Sorts. | Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg |
| 2012 | TIME | An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders. | Willem Conradie, Salih Durhan, Guido Sciavicco |
| 2006 | KR | Definitorially Complete Description Logics. | Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema |
| 2004 | AiML | Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. | Willem Conradie, Valentin Goranko, Dimiter Vakarelov |