CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Montanari A
Latest
On timeline-based games and their complexity
A novel automata-theoretic approach to timeline-based planning
Exploiting Model Checking in Constraint-based Approaches to the Protein Folding.
Alternative Translation Techniques for Propositional and First-Order Modal Logics
The problem of finding transcription factor binding sites and its impact in defining co-regulated gene-networks
A logical approach to time granularity
Supporting automated deduction in first-order modal logics
Editorial
Modal Logic and Set Theory: a Set-Theoretic Interpretation of Modal Logic Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem
Theories of omega-layered metric temporal structures
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics
Book review: Temporal logic. From ancient ideas to artificial intelligence
Temporal Logic. From Ancient Ideas to Artificial Intelligence,by Peter Ohrstrom and Per F.V. Hasle (book review)
Decidability results for metric and layered temporal logics
Set-theoretic decidability results for modal theorem proving
A set-theoretic translation method for (poly)modal logics
A set-theoretic translation method for polymodal logics
Cite
×