Travelled to:1 × Australia
1 × Austria
1 × Canada
1 × Greece
1 × Italy
1 × Japan
1 × USA
Collaborated with:C.Lutz F.Wolter ∅ S.Kikot V.V.Podolskii J.Lang N.Wilson C.Fritz S.A.McIlraith D.Calvanese M.Ortiz M.Simkus B.t.Cate S.Abiteboul A.Galland É.Antoine F.Baader
Talks about:logic (5) descript (4) queri (4) prefer (3) languag (2) complex (2) data (2) base (2) lightweight (1) succinct (1)
Person: Meghyn Bienvenu
DBLP: Bienvenu:Meghyn
Contributed to:
2015
2014
201320122011201020082006Wrote 9 papers:
- LICS-2015-BienvenuKP #complexity #owl #query
- Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results (MB, SK, VVP), pp. 317–328.
- KR-2014-BienvenuCOS #logic #query
- Nested Regular Path Queries in Description Logics (MB, DC, MO, MS).
- PODS-2013-BienvenuCLW #case study #csp #data access #datalog #ontology
- Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP (MB, BtC, CL, FW), pp. 213–224.
- KR-2012-BienvenuLW #logic #query
- Query Containment in Description Logics Reconsidered (MB, CL, FW).
- PODS-2011-AbiteboulBGA #data transformation #rule-based #web
- A rule-based language for web data management (SA, MB, AG, ÉA), pp. 293–304.
- KR-2010-BaaderBLW #logic #query
- Query and Predicate Emptiness in Description Logics (FB, MB, CL, FW).
- KR-2010-BienvenuLW #logic
- From Preference Logics to Preference Languages, and Back (MB, JL, NW).
- KR-2008-Bienvenu #abduction #complexity #lightweight #logic #product line
- Complexity of Abduction in the EL Family of Lightweight Description Logics (MB), pp. 220–230.
- KR-2006-BienvenuFM
- Planning with Qualitative Temporal Preferences (MB, CF, SAM), pp. 134–144.