BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bienvenu:Meghyn

Contributed to:

LICS 20152015
KR 20142014
PODS 20132013
KR 20122012
PODS 20112011
KR 20102010
KR 20082008
KR 20062006

Wrote 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.
Planning with Qualitative Temporal Preferences (MB, CF, SAM), pp. 134–144.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.