The Complexity of One-Agent Refinement Modal Logic
Work
Year: 2012
Type: book-chapter
Institutions Universidad Politécnica de Madrid, Universidad de Sevilla, Institute of Mathematical Sciences, Laboratoire Lorrain de Recherche en Informatique et ses Applications, Amplitude Systèmes (France)
Cites: 18
Cited by: 9
Related to: 10
FWCI: 1.679
Citation percentile (by year/subfield): 73.14
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green