|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas Eiter, Magdalena Ortiz, Mantas Simkus |
Conjunctive query answering in the description logic SH using knots.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Magdalena Ortiz, Mantas Simkus |
Containment of Regular Path Queries under Description Logic Constraints. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Domenico Carbotta, Magdalena Ortiz |
A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus |
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni |
The Complexity of Conjunctive Query Abduction in DL-Lite. |
Description Logics |
2011 |
DBLP 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 | Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus |
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
Query Answering in Description Logics: The Knots Approach. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Thomas Eiter, Magdalena Ortiz |
Regular Path Queries in Expressive Description Logics with Nominals. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
Query Answering in Description Logics with Transitive Roles. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Ortiz, Diego Calvanese, Thomas Eiter |
Data Complexity of Query Answering in Expressive Description Logics via Tableaux. |
J. Autom. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
Expressive description logics, Query answering, Data complexity |
| 1 | Thomas Eiter, Magdalena Ortiz, Mantas Simkus |
Reasoning Using Knots. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Ortiz, Mantas Simkus, Thomas Eiter |
Conjunctive Query Answering in SH using Knots. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Ortiz |
Extending Carinto the Description Logics of the Family. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus |
Query Answering in the Description Logic Horn-. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Ortiz, Mantas Simkus, Thomas Eiter |
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Ortiz, Mauricio Osorio |
Strong Negation and Equivalence in the Safe Belief Semantics. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Thomas Eiter, Magdalena Ortiz |
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Ortiz, Diego Calvanese, Thomas Eiter |
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Ortiz, Diego Calvanese, Thomas Eiter |
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi |
Data complexity of answering conjunctive queries over SHIQ knowledge bases |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio |
Application of ASP for Agent Modelling in CSCL Environments. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio |
Agent Modelling for CSCL Environments using Answer Sets Programming. |
ENC |
2005 |
DBLP DOI BibTeX RDF |
agents, computational models, intelligent systems, constructionism |
| 1 | Magdalena Ortiz, Mauricio Osorio |
Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Ortiz |
ASP: from Application Development to Syntax Extensions. |
LA-NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Ortiz, Gerardo Ayala, Mauricio Osorio |
Formalizing the Learner Model for CSCL Environments. |
ENC |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")