Fabio Vitali

Papers

Total Citations

H-Index

About

Fabio Vitali is a leading researcher in hypertext theory, digital publishing, and document engineering. His work bridges formal logic and practical web technologies, most notably through his foundational paper "A situation calculus model of hypertext" (2002), which introduced a rigorous logical framework for understanding hypertext systems. By adapting the situation calculus—traditionally used in artificial intelligence—Vitali provided a formal model that captures the dynamic, state-changing nature of hypertext navigation, building on earlier work by Bieber and Kimbrough. This contribution has influenced subsequent research in hypertext theory and adaptive web systems. Beyond this, Vitali has made significant contributions to XML, digital document standards, and web-based publishing tools, with his work cited over 4,000 times overall. He is also known for developing the "XHTML" family of specifications and for his role in advancing the concept of "transclusion" in digital documents. A professor at the University of Bologna, Vitali’s research continues to shape how we model, structure, and interact with complex information spaces, making him a key figure in the evolution of the modern web.