Pith. sign in

Researcher Evidence Record

Meghyn Bienvenu

This bounded record lists 17 Pith paper rows and 0 imported work rows attributed to this corpus identity. The enumerated, non-disputed paper rows include cs.LO, cs.DB, cs.AI work dated 2013 to 2026. The record describes sources and coverage; it makes no judgment about the person.

Compiled coverage vector

Measured lane counts only. Not a trust score or person verdict.

Identity 2 canonical identity row plus typed public identifiers Pith papers 17 attributed paper rows in the Pith corpus, itemized below Imported works 0 imported works beyond the paper ledger Current reviews 4 of 17 papers carrying a current Pith review; presence, not outcome Sourced citations 0 of 17 works with a source-named citation count Coauthors 48 distinct coauthors across shared paper rows
Enumerated paper scope: 3 fields (cs.LO, cs.DB, cs.AI) · 2013-2026 sources: authors, author_identifiers · paper_authors · author_works · current_verdicts · cited_works

A sourced case file for attributed work. It is neither a profile score nor a verdict about this researcher.

Attributed works

A bounded ledger from the Pith paper and imported-work queries. Counts and source confidence stay with each work.

  1. 2026 Pith paper

    How Hard is it to Decide if a Fact is Relevant to a Query?

    cs.DB provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    paper_authors
    Printed name
    Meghyn Bienvenu
    Author position
    1
    Identity state
    provisional
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  2. 2026 Pith paper

    Inferring High-Level Events from Timestamped Data: Complexity and Medical Applications

    cs.AI provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    paper_authors
    Printed name
    Meghyn Bienvenu
    Author position
    2
    Identity state
    provisional
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  3. 2026 Pith paper

    Using ASP(Q) to Handle Inconsistent Prioritized Data

    cs.LO provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    paper_authors
    Printed name
    Meghyn Bienvenu
    Author position
    1
    Identity state
    provisional
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  4. 2023 Pith paper

    Combining Global and Local Merges in Logic-based Entity Resolution

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Meghyn Bienvenu
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  5. 2022 Pith paper

    Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments

    cs.LO provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    paper_authors
    Printed name
    Meghyn Bienvenu
    Author position
    1
    Identity state
    provisional
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  6. 2020 Pith paper

    First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Meghyn Bienvenu
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  7. 2020 Pith paper

    Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Meghyn Bienvenu
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  8. 2018 Pith paper

    Finite LTL Synthesis with Environment Assumptions and Quality Measures

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Meghyn Bienvenu
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  9. 2017 Pith paper

    The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries

    cs.DB provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Meghyn Bienvenu
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  10. 2017 Pith paper

    Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)

    cs.DB provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Meghyn Bienvenu
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  11. 2016 Pith paper

    Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity

    cs.DB provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Meghyn Bienvenu
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  12. 2016 Pith paper

    Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Meghyn Bienvenu
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  13. 2015 Pith paper

    Combining Existential Rules and Transitivity: Next Steps

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Meghyn Bienvenu
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  14. 2014 Pith paper

    Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Meghyn Bienvenu
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  15. 2014 Pith paper

    Nested Regular Path Queries in Description Logics

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Meghyn Bienvenu
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  16. 2014 Pith paper

    Prime Implicates and Prime Implicants: From Propositional to Modal Logic

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Meghyn Bienvenu
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  17. 2013 Pith paper

    Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP

    cs.DB provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Meghyn Bienvenu
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.

Evidence apparatus

The machinery behind this record. Every lane states whether Pith measured it, did not query it, could not reach it, or withheld it.

LaneStateObservedBoundary and source
identity Measured 2 Canonical identity row plus public typed identifiers.
source=authors, author_identifiers
papers Measured 17 of 17 bounded rows Rows attributed to this author UUID in the Pith corpus.
source=paper_authors
works Measured zero 0 of 0 bounded rows Imported works not duplicated by the paper ledger.
source=author_works
reviews Measured 4 of 17 bounded rows Coverage count only. No review outcome is projected onto the person.
source=current_verdicts
citations Measured zero 0 of 17 bounded rows Counts remain itemized by work and source.
source=cited_works
coauthors Measured 48 of 17 bounded rows Shared-work edges from admitted paper rows.
source=paper_authors
account Unavailable No public count of 1 bounded rows Account metadata is separate from corpus evidence.
source=users.author_id
Public identity sources
  • name variant
    Meghyn Bienvenu     backfill
    confidence 0.6

identity history

Enumerated research scope

Fields and dates come only from enumerated, non-disputed Pith paper rows. They do not claim career completeness.

  • cs.LO8 rows
  • cs.DB5 rows
  • cs.AI4 rows
  • 20131 rows
  • 20143 rows
  • 20151 rows
  • 20162 rows
  • 20172 rows
  • 20181 rows
  • 20202 rows
  • 20221 rows
  • 20231 rows
  • 20263 rows
Shared-work index
Record scope

The work queries are bounded. Missing rows may mean measured zero, an unavailable source, a query that did not run, or private data that Pith withheld. The lane table keeps those cases separate.

Paper findings remain attached to papers. They do not become findings about this researcher.