Research Output 1975 2020

Filter
Conference abstract in proceeding
2018

A Semantic Representation of Humans’ Conceptions in Terminological Systems

Badie, F., 2018, Poznań Reasoning Week 2018: Abstracts. p. 40-41

Research output: Contribution to book/anthology/report/conference proceedingConference abstract in proceedingResearchpeer-review

Towards World Identification in Description Logics

Badie, F., 2018, 16th ArgDiaP Conference (Argumentation, Dialogue, Persuasion): Abstracts. p. 16-20

Research output: Contribution to book/anthology/report/conference proceedingConference abstract in proceedingResearchpeer-review

2016

On Logical Characterisation of Human Concept Learning within Terminological Systems

Badie, F., 2016, Poznan Reasoning Week: L&C 2016 | 14th ArgDiap | QuestPro 2016 - Abstracts. Poznan, p. 12-14 3 p.

Research output: Contribution to book/anthology/report/conference proceedingConference abstract in proceedingResearchpeer-review

Open Access
2015

Towards a Formal Occurrence Logic based on Predicate Logic

Badie, F. & Götzsche, H., 1 Aug 2015, CLMPS and LC 2015: Book of Abstracts.

Research output: Contribution to book/anthology/report/conference proceedingConference abstract in proceedingResearchpeer-review

Predicate Logic
Logic
Argumentation
Arthur Prior
Temporal Logic