|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith |
Specifying and computing preferred plans.  |
Artif. Intell.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Meghyn Bienvenu |
First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge Bases.  |
Description Logics  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Emilien Antoine |
A rule-based language for web data management.  |
PODS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
Query Answering in the Description Logic S.  |
Description Logics  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset |
Distributed Datalog Revisited.  |
Datalog  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Query and Predicate Emptiness in Description Logics.  |
KR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Jérôme Lang, Nic Wilson |
From Preference Logics to Preference Languages, and Back.  |
KR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Hélène Fargier, Pierre Marquis |
Knowledge Compilation in the Modal Logic S5.  |
AAAI  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu |
Prime Implicates and Prime Implicants: From Propositional to Modal Logic.  |
J. Artif. Intell. Res. (JAIR)  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Query Answering over DL ABoxes: How to Pick the Relevant Symbols.  |
Description Logics  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Andreas Herzig, Guilin Qi |
Prime Implicate-based Belief Revision Operators.  |
ECAI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Meghyn Bienvenu |
Prime Implicate Normal Form for ALC Concepts.  |
Description Logics  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu |
Complexity of Abduction in the EL Family of Lightweight Description Logics.  |
KR  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith |
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners.  |
AAAI  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu |
Prime Implicate Normal Form for ALC Concepts.  |
AAAI  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu |
Consequence Finding in ALC.  |
Description Logics  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu |
Prime Implicates and Prime Implicants in Modal Logic.  |
AAAI  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith |
Planning with Qualitative Temporal Preferences.  |
KR  |
2006 |
DBLP BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|