{"type":"ScholarlyArticle","title":"Knowledge Engineering for Intelligent Decision Support","authors":[{"name":"María Vanina Martínez","slug":"maria-vanina-martinez","given":"María Vanina","family":"Martínez","affiliation":"Departamento de Ciencias e Ingenieria de la Computacion , Universidad Nacional del Sur (UNS); Institute for Computer Science and Engineering ( UNS-CONICET) San Andrés 800 , ( 8000) Bahia Blanca , Argentina"}],"abstract":"Knowledge can be seen as the collection of skills and information an individual (or group) has acquired through experience, while intelligence as the ability to apply such knowledge. In many areas of Artificial Intelligence, we have been focusing for the last 40 years on the formalization and development of automated ways of finding and collecting data, as well as on the construction of models to represent that data adequately in a way that an automated system can make sense of it. However, in order to achieve real artificial intelligence we need to go beyond data and knowledge representation, and deeper into how such a system could, and would, use available knowledge in order to empower and enhance the capabilities of humans in making decisions in real-world applications. From my point of view, an AI should be able to combine automatically acquired data and knowledge together with specific domain expertise from the users that the tool is expected to help.","doi":"10.24963/ijcai.2017/736","url":"https://ijcai.org/proceedings/2017/736","pdf":"https://ijcai.org/proceedings/2017/0736.pdf","markdown":"https://ijcai.org/proceedings/2017/736.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/736","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Early Career","track":"Early Career","number":736,"pages":{"first":5131,"last":5135},"keywords":["Knowledge Representation, Reasoning, and Logic: Non-monotonic Reasoning","Uncertainty in AI: Uncertainty in AI","Knowledge Representation, Reasoning, and Logic: Reasoning about Knowlege and Belief","Multidisciplinary Topics and Applications: Intelligent Database Systems"],"videos":[],"references":[{"position":1,"raw":"[Alchourrón et al., 1985] Carlos Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log., 50(2):510-530, 1985.","title":"On the logic of theory change: Partial meet contraction and revision functions","authors":"Carlos Alchourrón, Peter Gärdenfors, David Makinson","year":"1985","venue":"J. Symb. Log","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Arenas et al., 1999] Marcelo Arenas, Leopoldo Bertossi, and Jan Chomicki. Consistent query answers in inconsis- tent databases. In Proc. ACM PODS, pages 68-79, 1999.","title":"Consistent query answers in inconsistent databases","authors":"Marcelo Arenas, Leopoldo Bertossi, Jan Chomicki","year":"1999","venue":"Proc. ACM PODS","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bienvenu, 2012] Meghyn Bienvenu. On the complexity of consistent query answering in the presence of simple on- tologies. In Proc. AAAI, 2012.","title":"On the complexity of consistent query answering in the presence of simple ontologies","authors":"Meghyn Bienvenu, Bienvenu","year":"2012","venue":"Proc. AAAI","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Calì et al., 2012] Andrea Calì, Georg Gottlob, and Thomas Lukasiewicz. A general datalog-based framework for tractable query answering over ontologies. J. Web Sem., 14:57-83, 2012.","title":"A general datalog-based framework for tractable query answering over ontologies","authors":"Andrea Calì, Georg Gottlob, Thomas Lukasiewicz","year":"2012","venue":"J. Web Sem","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[D. et al., 2016] Cristhian Ariel D. Maria Vanina Martinez, Marcelo Falappa, and Guillermo R. Simari. How does incoherence affect inconsistency-tolerant semantics for Datalog+/-? AMAI, pages 1-26, 2016.","title":"How does incoherence affect inconsistency-tolerant semantics for Datalog+/-? AMAI","authors":"Cristhian Ariel, D Maria Vanina, Marcelo Martinez, Guillermo R Falappa, Simari","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Deagustini et al., 2014] Cristhian A.D. Deagustini, Maria Vanina Martinez, Marcelo Falappa, and Guillermo R. Simari. Inconsistency resolution and global conflicts. In Proc. ECAI, pages 991-992, 2014.","title":"Inconsistency resolution and global conflicts","authors":"A D Cristhian, Maria Vanina Deagustini, Marcelo Martinez, Guillermo R Falappa, Simari","year":"2014","venue":"Proc. ECAI","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Deagustini et al., 2016] Cristhian Ariel D. Deagus- tini, Maria Vanina Martinez, Marcelo Falappa, and Guillermo R. Simari. Datalog+/-ontology consolidation. J. Artif. Intell. Res., 56:613-656, 2016.","title":"Datalog+/-ontology consolidation","authors":"Cristhian Ariel, D Deagustini, Maria Vanina Martinez, Marcelo Falappa, Guillermo R Simari","year":"2016","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Di Noia et al., 2015] Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, and Oana Tifrea-Marciuska. Combining existential rules with the power of cp-theories. In Proc. IJCAI, pages 2918-2925, 2015.","title":"Combining existential rules with the power of cp-theories","authors":"Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I Simari, Oana Tifrea-Marciuska","year":"2015","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2015/413"},{"position":9,"raw":"[Gallo et al., 2017] Fabio R. Gallo, Gerardo I. Simari, Maria Vanina Martinez, Natalia Abad Santos, and Marcelo A. Falappa. A first approach to belief dynamics in complex social networks. In Proc. AMW, 2017.","title":"A first approach to belief dynamics in complex social networks","authors":"Fabio R Gallo, Gerardo I Simari, Maria Vanina Martinez, Natalia Abad Santos, Marcelo A Falappa","year":"2017","venue":"Proc. AMW","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Gottlob et al., 2013] Georg Gottlob, Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari. Query an- swering under probabilistic uncertainty in Datalog+/-on- tologies. Ann. Math. Artif. Intell., 69(1):37-72, 2013.","title":"Query answering under probabilistic uncertainty in Datalog+/-ontologies","authors":"Gottlob","year":"2013","venue":"Ann. Math. Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Hansson, 1994] Sven Ove Hansson. Kernel contraction. J. Symb. Log., 59(3):845-859, 1994.","title":"Kernel contraction","authors":"Sven Ove, Hansson","year":"1994","venue":"J. Symb. Log","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Lembo et al., 2010] Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, and Domenico Savo. Inconsistency-tolerant semantics for description logics. In Proc. RR, pages 103-117, 2010.","title":"Inconsistency-tolerant semantics for description logics","authors":"Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Savo","year":"2010","venue":"Proc. RR","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Lukasiewicz et al., 2012] Thomas Lukasiewicz, Maria Van- ina Martinez, and Gerardo I. Simari. Inconsistency han- dling in Datalog+/-ontologies. In Proc. ECAI, pages 558- 563, 2012.","title":"Inconsistency handling in Datalog+/-ontologies","authors":"Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I Simari","year":"2012","venue":"Proc. ECAI","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Lukasiewicz et al., 2013] Thomas Lukasiewicz, Maria Van- ina Martinez, and Gerardo I. Simari. Preference-based query answering in Datalog+/-ontologies. In Proc. IJCAI, pages 1017-1023, 2013.","title":"Preference-based query answering in Datalog+/-ontologies","authors":"Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I Simari","year":"2013","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2013/155"},{"position":15,"raw":"[Lukasiewicz et al., 2014a] Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari. Proba- bilistic preference logic networks. In Proc. ECAI, pages 561-566, 2014.","title":"Probabilistic preference logic networks","authors":"Lukasiewicz","year":"2014","venue":"Proc. ECAI","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Lukasiewicz et al., 2014b] Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, and Oana Tifrea-Marciuska. Ontology-based query answering with group preferences. ACM Trans. Internet Techn., 14(4):25:1-25:24, 2014.","title":"Ontology-based query answering with group preferences","authors":"Lukasiewicz","year":"2014","venue":"ACM Trans. Internet Techn","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Lukasiewicz et al., 2015a] Thomas Lukasiewicz, Maria Vanina Martinez, Andreas Pieris, and Gerardo I. Simari. From classical to consistent query answering under existential rules. In Proc. AAAI, pages 1546-1552, 2015.","title":"From classical to consistent query answering under existential rules","authors":"Lukasiewicz","year":"2015","venue":"Proc. AAAI","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Lukasiewicz et al., 2015b] Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, and Oana Tifrea-Marciuska. Preference-based query answering in probabilistic Datalog+/-ontologies. J. Data Semantics, 4(2):81-101, 2015.","title":"Preference-based query answering in probabilistic Datalog+/-ontologies","authors":"Lukasiewicz","year":"2015","venue":"J. Data Semantics","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Lukasiewicz et al., 2016] Thomas Lukasiewicz, Maria Van- ina Martinez, David Poole, and Gerardo I. Simari. Proba- bilistic models over weighted orderings: Fixed-parameter tractable variable elimination. In Proc. KR, pages 494- 504, 2016.","title":"Probabilistic models over weighted orderings: Fixed-parameter tractable variable elimination","authors":"Thomas Lukasiewicz, Maria Vanina Martinez, David Poole, Gerardo I Simari","year":"2016","venue":"Proc. KR","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Martinez et al., 2013] Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, and Leila Amgoud. A Gen- eral Framework for Reasoning On Inconsistency. Springer Briefs in Computer Science. 2013.","title":"A General Framework for Reasoning On Inconsistency","authors":"Maria Vanina Martinez, Cristian Molinaro, V S Subrahmanian, Leila Amgoud","year":"2013","venue":"Springer Briefs in Computer Science","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Martinez et al., 2014] Maria Vanina Martinez, Francesco Parisi, Andrea Pugliese, Gerardo I. Simari, and V.S. Sub- rahmanian. Policy-based inconsistency management in re- lational databases. Int. J. Approx. Reasoning, 55(2):501- 528, 2014.","title":"Policy-based inconsistency management in relational databases","authors":"Maria Vanina Martinez, Francesco Parisi, Andrea Pugliese, Gerardo I Simari, V S","year":"2014","venue":"Int. J. Approx. Reasoning","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}