The logic embedding tool provides a procedural encoding for non-classical reasoning problems into classical higher-order logic. It is extensible and can support an increasing number of different non-classical logics as reasoning targets. When used as a pre-processor or library for higher-order theorem provers, the tool admits off-the-shelf automation for logics for which otherwise few to none provers are currently available.
A Lightweight and Extensible Cell Segmentation and Classification Model for Whole Slide Images
Department of Computer Science, UiT The Arctic University of Norway（计算机科学系，UiT北极大学）；Department of Oncology, University Hospital of North Norway（肿瘤学系，北挪威大学医院）；Department of Clinical Medicine, UiT The Arctic University of Norway（临床医学系，UiT北极大学）；Department of Community Medicine, UiT The Arctic University of Norway（社区医学系，UiT北极大学）；Department of Medical Biology, UiT The Arctic University of Norway（医学生物学系，UiT北极大学）；Department of Clinical Pathology, University Hospital of North Norway（临床病理学系，北挪威大学医院）
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
Syracuse University Syracuse New York USA；Arizona State University Tempe Arizona USA；Scientific Systems Company, Inc. Woburn Massachusetts USA；Department of Computer Science；Engineering, Universidad Nacional del Sur (UNS) \& Institute for Computer Science；Syracuse University；Arizona State University；Scientific Systems Company, Inc.
