Research output per year
Research output per year
Personal profile
Personal information
Ineke van der Berg is a Joint degree PhD candidate at Stellenbosch University (South Africa) and at the department of Ethics, Governance and Society of the Vrije Universiteit Amsterdam.
Ancillary activities
No ancillary activities
Ancillary activities are updated daily
Fingerprint
Dive into the research topics where Ineke van der Berg is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
- 3 Conference contribution
-
Labelled Calculi for Lattice-Based Modal Logics
van der Berg, I., De Domenico, A., Greco, G., Manoorkar, K. B., Palmigiano, A. & Panettiere, M., 2023, Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings. Banerjee, M. & Sreejith, A. V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 23-47 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13963 LNCS).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile11 Downloads (Pure) -
Labelled Calculi for the Logics of Rough Concepts
van der Berg, I., De Domenico, A., Greco, G., Manoorkar, K. B., Palmigiano, A. & Panettiere, M., 2023, Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings. Banerjee, M. & Sreejith, A. V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 172-188 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13963 LNCS).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile13 Downloads (Pure) -
Non-distributive Description Logic
van der Berg, I., De Domenico, A., Greco, G., Manoorkar, K. B., Palmigiano, A. & Panettiere, M., 2023, Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Proceedings. Ramanayake, R. & Urban, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 49-69 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14278 LNAI).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open Access