( en | de | ru )

 

Disambiguation of "Bresolin, Davide"

Author of the publication

copydeleteadd this publication to your clipboard
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.

, , , and . LFCS, volume 4514 of Lecture Notes in Computer Science, page 84-99. 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.

Geraldine Bresolin

Davide Cadamuro

Davide Pennino

Davide Batic

Davide Pagani

 

Other publications of authors with the same name

DL-Lite and Interval Temporal Logics: a Marriage Proposal., , , , and . ECAI, volume 263 of Frontiers in Artificial Intelligence and Applications, page 957-958. IOS Press, (2014)Formal verification of robotic surgery tasks by reachability analysis., , , , and . Microprocess. Microsystems, 39 (8): 836-842 (2015)Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders., , , and . TABLEAUX, volume 6793 of Lecture Notes in Computer Science, page 73-87. Springer, (2011)On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures., , , , and . LATA, volume 8977 of Lecture Notes in Computer Science, page 511-523. Springer, (2015)An Optimal Decision Procedure for MPNL over the Integers, , , and . GandALF, volume 54 of EPTCS, page 192-206. (2011)Open Problems in Verification and Refinement of Autonomous Robotic Systems., , , , , and . DSD, page 469-476. IEEE Computer Society, (2012)On Decidability and Expressiveness of Propositional Interval Neighborhood Logics., , , and . LFCS, volume 4514 of Lecture Notes in Computer Science, page 84-99. Springer, (2007)Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability., , , , and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 695-700. IOS Press, (2010)Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty., and . Inf. Syst., (October 2023)Static and dynamic property-preserving updates., and . Inf. Comput., (2021)