BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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.
KR-2006-BienvenuFM
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.