Match!
Alexander Borgida
Rutgers University
Description logicData miningKnowledge representation and reasoningSystems engineeringComputer science
173Publications
39H-index
7,286Citations
What is this?
Publications 160
Newest
#1Manolis Koubarakis (UoA: National and Kapodistrian University of Athens)H-Index: 33
#2Alexander Borgida (RU: Rutgers University)H-Index: 39
Last. Dimitris Plexousakis (FORTH: Foundation for Research & Technology – Hellas)H-Index: 32
view all 8 authors...
Telos is a conceptual modeling language intended to capture software knowledge, such as software system requirements, domain knowledge, architectures, design decisions and more. To accomplish this, Telos was designed to be extensible in the sense that the concepts used to capture software knowledge can be defined in the language itself, instead of being built-in. This extensibility is accomplished through powerful metamodeling features, which proved very useful for interrelating heterogeneous mo...
Source
#1Daniela Vianna (RU: Rutgers University)
#2Varvara Kalokyri (RU: Rutgers University)H-Index: 4
Last. Amélie Marian (RU: Rutgers University)H-Index: 17
view all 5 authors...
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 objects, or traces, kept in various locations in the cloud or on local devices. Users have very few tools to organize, understand, and search the digital traces they produce. We propose a simple but flexible data model to aggregate, organize, and find personal information within a collection of a user's personal digital ...
Jan 27, 2019 in AAAI (National Conference on Artificial Intelligence)
#1Grant E. WeddellH-Index: 13
#2David Tornan (UW: University of Waterloo)H-Index: 24
Last. Stephanie McIntyre (UW: University of Waterloo)H-Index: 1
view all 4 authors...
Standard reasoning problems are complete for EXPTIME in common feature-based description logics—ones in which all roles are restricted to being functions. We show how to control conjunctions on left-hand-sides of subsumptions and use this restriction to develop a parameter-tractable algorithm for reasoning about knowledge base consistency. We then show how the resulting logic can simulate partial features, and present algorithms for efficient query answering in that setting.
2 CitationsSource
A wide range of ordinary Description Logics (DLs) have been explored by considering collections of concept/role constructors, and types of terminologies, yielding an array of complexity results. Representation and reasoning with plans is a very important topic in AI, yet there has been very little work on finding and studying DL constructors for plan concepts.
1 CitationsSource
#1Daniela Vianna (RU: Rutgers University)
#2Varvara Kalokyri (RU: Rutgers University)H-Index: 4
Last. Amélie Marian (RU: Rutgers University)H-Index: 17
view all 5 authors...
Source
#1Alexander BorgidaH-Index: 39
#2David TomanH-Index: 25
Last. Grant E. WeddellH-Index: 13
view all 3 authors...
2 Citations
#1Alexander Borgida (RU: Rutgers University)H-Index: 39
#2Varvara Kalokyri (RU: Rutgers University)H-Index: 4
Last. Amélie Marian (RU: Rutgers University)H-Index: 17
view all 3 authors...
Oct 17, 2018 in CIKM (Conference on Information and Knowledge Management)
#1Varvara Kalokyri (RU: Rutgers University)H-Index: 4
#2Alexander Borgida (RU: Rutgers University)H-Index: 39
Last. Amélie Marian (RU: Rutgers University)H-Index: 17
view all 3 authors...
Personal information is typically fragmented across multiple, heterogeneous, distributed sources and saved as small, heterogeneous data objects, or traces. The DigitalSelf project at Rutgers University focuses on developing tools and techniques to manage (organize, search, summarize, make inferences on and personalize) such heterogeneous collections of personal digital traces. We propose to demonstrate YourDigitalSelf, a mobile phone-based personal information organization application developed ...
2 CitationsSource
Jan 1, 2018 in KR (Principles of Knowledge Representation and Reasoning)
#1Stephanie McIntyre (UW: University of Waterloo)H-Index: 1
#2Alexander Borgida (RU: Rutgers University)H-Index: 39
Last. Grant E. Weddell (UW: University of Waterloo)H-Index: 13
view all 4 authors...
1 Citations
#1Alexander BorgidaH-Index: 39
#2J. MylopolousH-Index: 78
12345678910