6 citations · 7 across the 5 of their papers we have counts for
6 papers
Supporting Human Memory by Reconstructing Personal Episodic Narratives from Digital Traces
Varvara Kalokyri, Alexander Borgida, Amélie Marian
Numerous applications capture in digital form aspects of people's lives. The resulting data, which we call Personal Digital Traces - PDTs, can be used to help reconstruct people's…
Searching Heterogeneous Personal Digital Traces
Daniela Vianna, Varvara Kalokyri, Alexander Borgida +2
Digital traces of our lives are now constantly produced by various connected devices, internet services and interactions. Our actions result in a multitude of heterogeneous data ob…
Desiree: a Refinement Calculus for Requirements Problems
Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi +3
The requirements elicited from stakeholders are typically informal, incomplete, ambiguous, and inconsistent. It is the task of Requirements Engineering to transform them into an el…
Extensible Knowledge Representation: the Case of Description Reasoners
A. Borgida
This paper offers an approach to extensible knowledge representation and reasoning for a family of formalisms known as Description Logics. The approach is based on the notion of ad…
Mixed-Variable Requirements Roadmaps and their Role in the Requirements Engineering of Adaptive Systems
Ivan Jureta, Alexander Borgida, Neil A. Ernst
The requirements roadmap concept is introduced as a solution to the problem of the requirements engineering of adaptive systems. The concept requires a new general definition of th…
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
A. Borgida, P. F. Patel-Schneider
This paper analyzes the correctness of the subsumption algorithm used in CLASSIC, a description logic-based knowledge representation system that is being used in practical applicat…