Demo Data from EDBT 2026 / reviewers in the wild / expert
Maureen Donnelly
dblp:41/1085
· DBLP profile ↗
13ranked-venue papers
7as first author
0since 2021 · last 2009
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 9 · 4 first-authorGraphics, computer vision, multimedia, augmented reality and games · 4 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 3 · 3 first-authorTheory of computation · 2 · 1 first-authorDatabases, data management, data science and information retrieval · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
4 papers |
Logic in computer science · 100% | |
| Artificial intelligence
3 papers |
Knowledge representation and reasoning · 100% |
Topics — the 8 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science › knowledge representation and reasoning › spatial reasoning
mereotopology |
0.1 | 2 | 2004 | A formal theory for reasoning about parthood, connection, and location · Artif. Intell. 2004 Layered Mereotopology · IJCAI 2003 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
ontology |
0.1 | 2 | 2007 | Computational ontologies of parthood, componenthood, and containment · IJCAI 2005 A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff · AAAI 2007 |
Logic in computer science › knowledge representation and reasoning › knowledge representation
mereology |
0.1 | 1 | 2007 | A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff · AAAI 2007 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › qualitative reasoning
qualitative spatial reasoning |
0.0 | 1 | 2004 | A formal theory for reasoning about parthood, connection, and location · Artif. Intell. 2004 |
Logic in computer science › modal logic
spatial logic |
0.0 | 1 | 2004 | A formal theory for reasoning about parthood, connection, and location · Artif. Intell. 2004 |
Logic in computer science › knowledge representation and reasoning › knowledge representation
ontology |
0.0 | 1 | 2003 | Layered Mereotopology · IJCAI 2003 |
Logic in computer science › knowledge representation and reasoning
spatial reasoning |
0.0 | 1 | 2003 | Layered Mereotopology · IJCAI 2003 |
Logic in computer science › knowledge representation and reasoning › knowledge representation
formal ontology |
0.0 | 1 | 2005 | Computational ontologies of parthood, componenthood, and containment · IJCAI 2005 |
Methods — techniques the papers use, named apart from their topics
formal logic · 0.1formal ontology · 0.1axiomatization · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2009 | A spatio-temporal ontology for geographic information integration
Thomas Bittner, Maureen Donnelly, Barry Smith 0001 |
Int. J. Geogr. Inf. Sci. | 2 |
| 2007 | A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff
Thomas Bittner, Maureen Donnelly |
AAAI | 2 |
| 2007 | Logical properties of foundational relations in bio-ontologies
Thomas Bittner, Maureen Donnelly |
Artif. Intell. Medicine | 2 |
| 2006 | A theory of granular parthood based on qualitative cardinality and size measures
Thomas Bittner, Maureen Donnelly |
FOIS | 2 |
| 2006 | A formal theory for spatial representation and reasoning in biomedical ontologies
Maureen Donnelly, Thomas Bittner, Cornelius Rosse |
Artif. Intell. Medicine | 1 |
| 2005 | Containment Relations in Anatomical Ontologies
Maureen Donnelly |
AMIA | 1 |
| 2005 | Spatial Relations Between Classes of Individuals
Maureen Donnelly, Thomas Bittner |
COSIT | 1 |
| 2005 | Computational ontologies of parthood, componenthood, and containment
Thomas Bittner, Maureen Donnelly |
IJCAI | 2 |
| 2004 | The Mereology of Stages and Persistent Entities
Thomas Bittner, Maureen Donnelly |
ECAI | 2 |
| 2004 | A formal theory for reasoning about parthood, connection, and location
Maureen Donnelly |
Artif. Intell. | 1 |
| 2003 | Layers: A New Approach to Locating Objects in Space
Maureen Donnelly, Barry Smith 0001 |
COSIT | 1 |
| 2003 | Layered Mereotopology
Maureen Donnelly |
IJCAI | 1 |
| 2001 | Introducing granularity-dependent quantitativedistance and diameter measures in common-sense reasoning contextsabstractIn this paper, I will present a method for constructing correlated series of granularity-dependent distance and diameter measures on the basis of a theory of qualitative spatial concepts. Each granularity-dependent measure function has as its range a discrete subset of R. As we proceed through a series of such functions, the distance between the values in the range will become smaller and the measurements returned by the functions will become correspondingly more precise. My method for constructing the series of functions is partially based on work in Kranz, Luce, Suppes, and Tversky, The Foundations of Measurement, Vol. 1. I use a result from that volume to prove that my series of distance and diameter measures converge to continuous, extensive distance and diameter measures. But it is the discrete measures in the series, not the continuous limit measures, that should be used in analyses of common-sense concepts. Unlike the continuous measure functions, arbitrary values for the discrete measure functions can, in most contexts, be determined through practical procedures. Moreover, the ability to move from one granularity-level to the next is appropriate for common-sense contexts in which the level of precision is typically kept at the minimum necessary to accomplish the task at hand. Maureen Donnelly |
FOIS | 1 |