Author of the publication

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

Axiomatizing Distance Logics., , , , and . Journal of Applied Non-Classical Logics, 12 (3-4): 425-440 (2002)Modal Companions of Intermediate Propositional Logics., and . Studia Logica, 51 (1): 49-82 (1992)Speaking about Transitive Frames in Propositional Languages., , and . Journal of Logic, Language and Information, 7 (3): 317-339 (1998)Past and Future of DL-Lite., , , and . AAAI, AAAI Press, (2010)Can You Tell the Difference Between DL-Lite Ontologies?., , and . KR, page 285-295. AAAI Press, (2008)Query Inseparability for Description Logic Knowledge Bases., , , , and . KR, AAAI Press, (2014)Reasoning over Conceptual Schemas and Queries in Temporal Databases., , , , and . SEBD, page 201-214. (2001)Decidable and Undecidable Fragments of First-Order Branching Temporal Logics., , and . LICS, page 393-402. IEEE Computer Society, (2002)Conservative extensions in modal logic., , , and . Advances in Modal Logic, page 187-207. College Publications, (2006)Dynamic topological logics over spaces with continuous functions., , , and . Advances in Modal Logic, page 299-318. College Publications, (2006)