Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Cigdem Gencer"'
Publikováno v:
Logic Journal of the IGPL
Logic Journal of the IGPL, Oxford University Press (OUP), 2019, 27 (1), pp.8-32. ⟨10.1093/jigpal/jzy016⟩
Logic Journal of the IGPL, Oxford University Press (OUP), 2019, 27 (1), pp.8-32. ⟨10.1093/jigpal/jzy016⟩
Contact Logics provide a natural framework for representing and reasoning about regions in several areas of computer science. In this paper, we focus our attention on reasoning methods for Contact Logics and address the satisfiability problem and the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::75a60b832b36d12821cc946c5b69cb8d
https://hal.archives-ouvertes.fr/hal-02378372
https://hal.archives-ouvertes.fr/hal-02378372
Publikováno v:
Bank of Marin Bancorp MarketLine Company Profile. 1/29/2024, p1-17. 17p.
Autor:
Balbiani, Philippe, Gencer, Çiğdem
Publikováno v:
Studia Logica; Oct2020, Vol. 108 Issue 5, p941-966, 26p
Publikováno v:
Fair Disclosure Wire (Quarterly Earnings Reports). 10/23/2023.
Autor:
Gencer, Çiǧdem1, Terziler, Mehmet1
Publikováno v:
Mathematical Logic Quarterly. 1997, Vol. 43 Issue 1, p78-82. 5p.
This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented i
This book is dedicated to Dick de Jongh's contributions to the theory of intuitionistic and provability logics. Consisting of 13 chapters, written by leading experts, this book discusses de Jongh's original contributions and consequent developments
This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area. Non-classical logics are logical formalisms that violate or go beyond classical logic la