Author of the publication

Idempotent Transductions for Modal Logics.

. FroCoS, volume 4720 of Lecture Notes in Computer Science, page 178-192. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Refinement Quantified Logics of Knowledge., , and . M4M/LAMAS, volume 278 of Electronic Notes in Theoretical Computer Science, page 85-98. Elsevier, (2011)An Investigation of Recursive Auto-associative Memory in Sentiment Detection., , , and . ADMA (1), volume 7120 of Lecture Notes in Computer Science, page 162-174. Springer, (2011)The Big Picture, from Grids and Clouds to Crowds: A Data Collective Computational Intelligence Case Proposal for Managing Disasters., , , , and . 3PGCIC, page 351-356. IEEE Computer Society, (2010)A Visual Formalism for Graphical User Interfaces based on State Transition Diagrams., , and . IV, page 183-188. IEEE Computer Society, (2003)Dynamic Aleatoric Reasoning in Games of Bluffing and Chance., , and . AAMAS, page 1964-1966. International Foundation for Autonomous Agents and Multiagent Systems, (2019)A Cooperative Coevolutionary Algorithm for Real-Time Underground Mine Scheduling., , , and . Australasian Conference on Artificial Intelligence, volume 11320 of Lecture Notes in Computer Science, page 410-418. Springer, (2018)Bisimulation Quantified Logics: Undecidability.. FSTTCS, volume 3821 of Lecture Notes in Computer Science, page 396-407. Springer, (2005)Automated State Estimation for Summarizing the Dynamics of Complex Urban Systems Using Representation Learning., , , and . AAAI, page 23020-23026. AAAI Press, (2024)Applying cognitive computing to maintainer-collected data., , , and . ICSRS, page 543-551. IEEE, (2017)Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States., , and . Advances in Modal Logic, page 53-72. King's College Publications, (2004)