Dariusz Marzec

Orcid: 0000-0002-9659-1161

According to our database¹, Dariusz Marzec authored at least 4 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

FILO - automated unification in ℱℒ<sub>0</sub>.

[DOI]

CoRR, February, 2025

Solving Unification in the Description Logic FL_bottom.

[DOI]

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

FILO: Unification Solver for FL_0 (Extended Abstract).

[DOI]

Proceedings of the 38th International Workshop on Description Logics, 2025

2024

On Two-variable First-order Logic with a Partial Order.

[DOI]

Proceedings of the 39th Italian Conference on Computational Logic, 2024