default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMagdalena Ortiz 0001
Maria Magdalena Ortiz de la Fuente
Person information
- affiliation: TU Wien, Institute of Information Systems, Vienna, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j12]Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
:
Datalog rewritability and data complexity of ALCHOIQ with closed predicates. Artif. Intell. 330: 104099 (2024)- [c92]Bianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz:
Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite (Extended Abstract). Description Logics 2024 - [c91]Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus:
Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases. Description Logics 2024 - [e5]Arne Meier, Magdalena Ortiz:
Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings. Lecture Notes in Computer Science 14589, Springer 2024, ISBN 978-3-031-56939-5 [contents] - [i12]Bianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz:
Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite. CoRR abs/2405.18181 (2024) - 2023
- [c90]Diego Calvanese, Cem Okulmus, Magdalena Ortiz, Mantas Simkus:
On the Way to Temporal OBDA Systems (short paper). AMW 2023 - [c89]Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Michelle Oudshoorn, Mantas Simkus:
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract). Description Logics 2023 - [c88]Piero A. Bonatti, Federica Di Stefano, Magdalena Ortiz, Mantas Simkus:
Circumscription in DL-Lite: Progress Report. Description Logics 2023 - [c87]Nikola Dragovic, Cem Okulmus, Magdalena Ortiz:
Rewriting Ontology-Mediated Navigational Queries into Cypher. Description Logics 2023 - [c86]Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus:
On the Expressive Power of Ontology-Mediated Queries: Capturing coNP. Description Logics 2023 - [c85]Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus:
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. ECAI 2023: 27-35 - [c84]Federica Di Stefano, Magdalena Ortiz, Mantas Simkus:
Description Logics with Pointwise Circumscription. IJCAI 2023: 3167-3175 - [c83]Anouk Oudshoorn, Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. ISWC (Posters/Demos/Industry) 2023 - [c82]Magdalena Ortiz:
A Short Introduction to SHACL for Logicians. WoLLIC 2023: 19-32 - [e4]Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz:
Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14281, Springer 2023, ISBN 978-3-031-43618-5 [contents] - 2022
- [j11]Shqiponja Ahmetaj, Bianca Löhnert, Magdalena Ortiz, Mantas Simkus:
Magic Shapes for SHACL Validation. Proc. VLDB Endow. 15(10): 2284-2296 (2022) - [c81]Claudia Cauli, Magdalena Ortiz, Nir Piterman:
Actions over Core-Closed Knowledge Bases. IJCAR 2022: 281-299 - [c80]Federica Di Stefano, Magdalena Ortiz, Mantas Simkus:
Pointwise Circumscription in Description Logics. Description Logics 2022 - [i11]Claudia Cauli, Magdalena Ortiz, Nir Piterman:
Actions over Core-closed Knowledge Bases. CoRR abs/2202.12592 (2022) - 2021
- [c79]Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus:
Reasoning about Explanations for Non-validation in SHACL (Extended Abstract). Description Logics 2021 - [c78]Claudia Cauli, Magdalena Ortiz, Nir Piterman:
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract). Description Logics 2021 - [c77]Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus:
Reasoning about Explanations for Non-validation in SHACL. KR 2021: 12-21 - [c76]Claudia Cauli, Magdalena Ortiz, Nir Piterman:
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security. KR 2021: 174-183 - [c75]Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus:
Explanations for Non-validation in SHACL. ISWC (Posters/Demos/Industry) 2021 - [c74]Shqiponja Ahmetaj, Bianca Loehnert, Magdalena Ortiz, Mantas Simkus:
Magic Shapes for Validation in SHACL. ISWC (Posters/Demos/Industry) 2021 - 2020
- [j10]Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:
Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog. Artif. Intell. 280: 103220 (2020) - [c73]Medina Andresel, Magdalena Ortiz, Mantas Simkus:
Query Rewriting for Ontology-Mediated Conditional Answers. AAAI 2020: 2734-2741 - [c72]Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus:
Resilient Logic Programs: Answer Set Programs Challenged by Ontologies. AAAI 2020: 2917-2924 - [c71]Medina Andresel, Yazmín Ibáñez-García, Magdalena Ortiz:
A Framework for Exploratory Query Answering with Ontologies. Description Logics 2020 - [c70]Magdalena Ortiz:
Rewritability Results for OMQs with Closed Predicates. Description Logics 2020 - [c69]Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus:
Ontology Focusing: Knowledge-Enriched Databases on Demand. ECAI 2020: 745-752 - [c68]Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus:
Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. KR 2020: 434-444 - [c67]Nadia Labai, Magdalena Ortiz, Mantas Simkus:
An ExpTime Upper Bound for ALC with Integers. KR 2020: 614-623 - [c66]Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith:
Pebble-Intervals Automata and FO2 with Two Orders. LATA 2020: 208-221 - [c65]Medina Andresel, Julien Corman, Magdalena Ortiz, Juan L. Reutter, Ognjen Savkovic, Mantas Simkus:
Stable Model Semantics for Recursive SHACL. WWW 2020: 1570-1580 - [i10]Nadia Labai, Magdalena Ortiz, Mantas Simkus:
An ExpTime Upper Bound for ALC with Integers (Extended Version). CoRR abs/2006.02078 (2020)
2010 – 2019
- 2019
- [c64]Medina Andresel, Yazmín Ibáñez-García, Magdalena Ortiz, Mantas Simkus:
Relaxing and Restraining Queries for OBDA. AAAI 2019: 2654-2661 - [c63]Magdalena Ortiz:
From Complete to Incomplete Data and Back in Ontology-Enriched Databases. AMW 2019 - [c62]Magdalena Ortiz, Sanja Pavlovic, Mantas Simkus:
Answer Set Programs Challenged by Ontologies. Description Logics 2019 - [c61]Magdalena Ortiz:
Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case. GCAI 2019: 1-14 - [c60]Labinot Bajraktari, Magdalena Ortiz, Guohui Xiao:
Optimizing Horn- SHIQ Reasoning for OBDA. ISWC (1) 2019: 75-92 - [i9]Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus:
Ontology Focusing: Knowledge-enriched Databases on Demand. CoRR abs/1904.00195 (2019) - [i8]Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith:
Pebble-Intervals Automata and FO2 with Two Orders (Extended Version). CoRR abs/1912.00171 (2019) - [i7]Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:
Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog. CoRR abs/1912.07475 (2019) - 2018
- [j9]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 7(1): 1-29 (2018) - [c59]Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus:
Combining Rules and Ontologies into Clopen Knowledge Bases. AAAI 2018: 1728-1735 - [c58]Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus:
Taming Complex Role Inclusions for DL-Lite. Description Logics 2018 - [c57]Katinka Böhm, Magdalena Ortiz:
A Tool for Building Topic-specific Ontologies Using a Knowledge Graph. Description Logics 2018 - [c56]Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:
Rewriting Guarded Existential Rules into Small Datalog Programs. ICDT 2018: 4:1-4:24 - [c55]Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus:
Compiling Model Representations for Querying Large ABoxes in Expressive DLs. IJCAI 2018: 1691-1698 - [c54]Magdalena Ortiz:
Improving Data Management using Domain Knowledge. IJCAI 2018: 5709-5713 - [c53]Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus:
Relaxing and Restraining Queries for OBDA - Extended Abstract. KR 2018: 617-618 - [e3]Magdalena Ortiz, Thomas Schneider:
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. CEUR Workshop Proceedings 2211, CEUR-WS.org 2018 [contents] - [i6]Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus:
Relaxing and Restraining Queries for OBDA. CoRR abs/1808.02850 (2018) - 2017
- [j8]Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Managing Change in Graph-Structured Data Using Description Logics. ACM Trans. Comput. Log. 18(4): 27:1-27:35 (2017) - [c52]Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus:
Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming. Description Logics 2017 - [c51]Nadia Labai, Martin Homola, Magdalena Ortiz:
Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report). Description Logics 2017 - [c50]Christian G. Fermüller, Matthias F. J. Hofer, Magdalena Ortiz:
Querying with Vague Quantifiers Using Probabilistic Semantics. FQAS 2017: 15-27 - [i5]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). CoRR abs/1701.09007 (2017) - 2016
- [j7]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Abridged). SIGMOD Rec. 45(4): 5-17 (2016) - [c49]Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:
Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates. AMW 2016 - [c48]Nhung Ngo, Magdalena Ortiz, Mantas Simkus:
Closed Predicates in Description Logics: Results on Combined Complexity. AMW 2016 - [c47]Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:
Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics. Description Logics 2016 - [c46]Medina Andresel, Magdalena Ortiz, Mantas Simkus:
A Compilation Technique for Interactive Ontology-mediated Data Exploration. Description Logics 2016 - [c45]Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Verification of Evolving Graph-structured Data under Expressive Path Constraints. ICDT 2016: 15:1-15:19 - [c44]Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. IJCAI 2016: 878-885 - [c43]Nhung Ngo, Magdalena Ortiz, Mantas Simkus:
Closed Predicates in Description Logics: Results on Combined Complexity. KR 2016: 237-246 - [e2]Magdalena Ortiz, Stefan Schlobach:
Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings. Lecture Notes in Computer Science 9898, Springer 2016, ISBN 978-3-319-45275-3 [contents] - 2015
- [j6]Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus:
Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms. J. Artif. Intell. Res. 53: 315-374 (2015) - [c42]Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus:
Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results. AMW 2015 - [c41]Nhung Ngo, Magdalena Ortiz, Mantas Simkus:
The Combined Complexity of Reasoning with Closed Predicates in Description Logics. Description Logics 2015 - [c40]Meghyn Bienvenu, Magdalena Ortiz:
Ontology-Mediated Query Answering with Data-Tractable Description Logics. Reasoning Web 2015: 218-307 - 2014
- [j5]Diego Calvanese, Thomas Eiter, Magdalena Ortiz:
Answering regular path queries in expressive Description Logics via alternating tree-automata. Inf. Comput. 237: 12-55 (2014) - [c39]Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Managing Change in Graph-Structured Data Using Description Logics. AAAI 2014: 966-973 - [c38]Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Planning and Change in Graph Structured Data under Description Logics Constraints. AMW 2014 - [c37]Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Nested Regular Path Queries in Description Logics (Extended Abstract). AMW 2014 - [c36]Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Planning Problems for Graph Structured Data in Description Logics. Description Logics 2014: 4-7 - [c35]Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Nested Regular Path Queries in Description Logics. KR 2014 - [c34]Magdalena Ortiz, Mantas Simkus:
Revisiting the Hardness of Query Answering in Expressive Description Logics. RR 2014: 216-223 - [e1]Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus:
Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. CEUR Workshop Proceedings 1193, CEUR-WS.org 2014 [contents] - [i4]Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
Reasoning about Explanations for Negative Query Answers in DL-Lite. CoRR abs/1402.0575 (2014) - [i3]Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Nested Regular Path Queries in Description Logics. CoRR abs/1402.7122 (2014) - [i2]Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Managing Change in Graph-structured Data Using Description Logics (long version with appendix). CoRR abs/1404.4274 (2014) - 2013
- [j4]Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
Reasoning about Explanations for Negative Query Answers in DL-Lite. J. Artif. Intell. Res. 48: 635-669 (2013) - [c33]Magdalena Ortiz:
Ontology Based Query Answering: The Story So Far. AMW 2013 - [c32]Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao:
Tractability Guarantees for DL-Lite Query Answering. Description Logics 2013: 41-52 - [c31]Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Evolving Graph Databases under Description Logic Constraints. Description Logics 2013: 120-131 - [c30]Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus:
Conjunctive Regular Path Queries in Lightweight Description Logics. IJCAI 2013: 761-767 - [c29]Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao:
Tractable Queries for Lightweight Description Logics. IJCAI 2013: 768-774 - 2012
- [j3]Thomas Eiter, Magdalena Ortiz, Mantas Simkus:
Conjunctive query answering in the description logic SH using knots. J. Comput. Syst. Sci. 78(1): 47-85 (2012) - [c28]Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao:
Query Rewriting for Horn-SHIQ Plus Rules. AAAI 2012: 726-733 - [c27]Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus:
Answering Expressive Path Queries over Lightweight DL Knowledge Bases. Description Logics 2012 - [c26]Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao:
Towards Practical Query Answering for Horn-SHIQ. Description Logics 2012 - [c25]Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
The Complexity of Explaining Negative Query Answers in DL-Lite. KR 2012 - [c24]Magdalena Ortiz, Mantas Simkus:
Reasoning and Query Answering in Description Logics. Reasoning Web 2012: 1-53 - 2011
- [c23]Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
The Complexity of Conjunctive Query Abduction in DL-Lite. Description Logics 2011 - [c22]Diego Calvanese, Domenico Carbotta, Magdalena Ortiz:
A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. IJCAI 2011: 798-804 - [c21]Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Containment of Regular Path Queries under Description Logic Constraints. IJCAI 2011: 805-812 - [c20]Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus:
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. IJCAI 2011: 1039-1044 - 2010
- [c19]Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus:
Query Answering in the Description Logic S. Description Logics 2010 - [c18]Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus:
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. KR 2010
2000 – 2009
- 2009
- [c17]Diego Calvanese, Thomas Eiter, Magdalena Ortiz:
Regular Path Queries in Expressive Description Logics with Nominals. IJCAI 2009: 714-720 - [c16]Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus:
Query Answering in Description Logics with Transitive Roles. IJCAI 2009: 759-764 - [c15]Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus:
Query Answering in Description Logics: The Knots Approach. WoLLIC 2009: 26-36 - 2008
- [j2]Magdalena Ortiz, Diego Calvanese, Thomas Eiter:
Data Complexity of Query Answering in Expressive Description Logics via Tableaux. J. Autom. Reason. 41(1): 61-98 (2008) - [c14]Magdalena Ortiz, Mantas Simkus, Thomas Eiter:
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. AAAI 2008: 504-510 - [c13]Magdalena Ortiz, Mantas Simkus, Thomas Eiter:
Conjunctive Query Answering in SH using Knots. Description Logics 2008 - [c12]Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus:
Query Answering in the Description Logic Horn-. JELIA 2008: 166-179 - [c11]Magdalena Ortiz:
Extending Carinto the Description Logics of the Family. JELIA 2008: 324-337 - [c10]Magdalena Ortiz:
An Automata-based algorithm for description logics around SRIQ. LA-NMR 2008 - [c9]Thomas Eiter, Magdalena Ortiz, Mantas Simkus:
Reasoning Using Knots. LPAR 2008: 377-390 - 2007
- [j1]Magdalena Ortiz, Mauricio Osorio:
Strong Negation and Equivalence in the Safe Belief Semantics. J. Log. Comput. 17(3): 499-515 (2007) - [c8]Diego Calvanese, Thomas Eiter, Magdalena Ortiz:
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. AAAI 2007: 391-396 - 2006
- [c7]Magdalena Ortiz, Diego Calvanese, Thomas Eiter:
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. AAAI 2006: 275-280 - [c6]Magdalena Ortiz, Diego Calvanese, Thomas Eiter:
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. Description Logics 2006 - 2005
- [c5]Magdalena Ortiz, Mauricio Osorio:
Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Answer Set Programming 2005 - [c4]Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio:
Agent Modelling for CSCL Environments using Answer Sets Programming. ENC 2005: 214-221 - [c3]Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio:
Application of ASP for Agent Modelling in CSCL Environments. MICAI 2005: 109-118 - [i1]Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi:
Data complexity of answering conjunctive queries over SHIQ knowledge bases. CoRR abs/cs/0507059 (2005) - 2004
- [c2]Magdalena Ortiz:
ASP: from Application Development to Syntax Extensions. LA-NMR 2004 - 2003
- [c1]Magdalena Ortiz, Gerardo Ayala, Mauricio Osorio:
Formalizing the Learner Model for CSCL Environments. ENC 2003: 151-158
Coauthor Index
[j12] [c91] [c90] [c89] [c88] [c86] [c85] [c84] [c83] [j11] [c80] [c79] [c77] [c75] [c74] [j10] [c73] [c72] [c69] [c68] [c67] [c65] [i10] [c64] [c62] [i9] [i7] [c59] [c58] [c56] [c55] [c53] [i6] [j8] [c52] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [j6] [c42] [c41] [c39] [c38] [c37] [c36] [c35] [c34] [e1] [i4] [i3] [i2] [j4] [c32] [c31] [c30] [c29] [j3] [c28] [c27] [c26] [c25] [c24] [c23] [c21] [c20] [c19] [c18] [c16] [c15] [c14] [c13]