Software Tool Support for Modular Reasoning in Modal Logics of Actions
Work
Year: 2018
Type: book-chapter
Institutions University of Leicester, Laboratoire d'Informatique Fondamentale d'Orléans, Netherlands Graduate School of Linguistics, Delft University of Technology
Cites: 42
Cited by: 3
Related to: 10
FWCI: 0.672
Citation percentile (by year/subfield): 67.8
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed