Angelo Montanari
Universidade Federal de Alfenas(BR)
Publications by Year
Research Areas
Logic, Reasoning, and Knowledge, Logic, programming, and type systems, Formal Methods in Verification, Constraint Satisfaction and Optimization, Semantic Web and Ontologies
Most-Cited Works
- → A consensus glossary of temporal database concepts(1994)490 cited
- → The consensus glossary of temporal database concepts — February 1998 version(1998)329 cited
- → A Road Map of Interval Temporal Logics and Duration Calculi(2004)146 cited
- → Temporal representation and reasoning in artificial intelligence: Issues and approaches(2000)88 cited
- → Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions(2009)83 cited
- → EFFICIENT TEMPORAL REASONING IN THE CACHED EVENT CALCULUS(1996)83 cited
- → Propositional Interval Neighborhood Temporal Logics(2003)73 cited