Work

A Reasoning System for Graded Modal Logic

Year: 2024

Type: conference-paper

Source: International Conference in Software Engineering Research and Innovation (CONISOFT)

DOI: 10.1109/conisoft63288.2024.00037

Authors: Ricardo López-Villafán, Everardo Bárcenas

Institution: Universidad Nacional Autónoma de México

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4405522048

FWCI:

Cites: 20

Cited by:

Related to: 10