Login / Signup
Ziba Assadi
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 5
Top Topics
Logical Properties
Description Logics
Partially Ordered
Multi Document Summarization
Top Venues
CoRR
Soft Comput.
J. Log. Comput.
GoodIT
</>
Publications
</>
Ziba Assadi
Logical Formalisms for Ethics.
GoodIT
(2024)
Ziba Assadi
,
Saeed Salehi
Gödelian sentences, Rosserian sentences and truth.
J. Log. Comput.
32 (4) (2022)
Ziba Assadi
Decidability of the Multiplicative and Order Theory of Numbers.
CoRR
(2020)
Ziba Assadi
,
Saeed Salehi
On decidability and axiomatizability of some ordered structures.
Soft Comput.
23 (11) (2019)
Ziba Assadi
,
Saeed Salehi
On the Decidability of the Ordered Structures of Numbers.
CoRR
(2017)