Work

Towards Alternating-Time Temporal Logic with Uncertainty and Fuzziness

Year: 2024

Type: conference-paper

DOI: 10.1109/aixdke63520.2024.00038

Author: Churn-Jung Liau

Institutions: Institute of Information Science, Academia Sinica, Academia Sinica

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Science and Technology Council

Award: Logical Investigation on Formal Concept Analysis and Rough Set Theory

OpenAlex ID: W4410428606

FWCI:

Cites: 30

Cited by:

Related to: 10