Work

Another Empirical Proof of Transparent Intensional Logic’s Expressive Power in the Field of Temporal Logical Systems

Year: 2024

Type: conference-paper

Source: IEEE International Scientific Conference on Informatics (Informatics)

DOI: 10.1109/informatics62280.2024.10900822

Authors: Samuel Novotný, William Steingartner, Ján Perháč

Institution: Technical University of Košice

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Ministry of Education

OpenAlex ID: W4408258481

FWCI:

Cites: 17

Cited by:

Related to: 10