2025
Sauerwald, Kai; Ismail-Tsaous, Eda; Ragni, Marco; Kern-Isberner, Gabriele; Beierle, Christoph
Sequential merging and construction of rankings as cognitive logic
International Journal of Approximate Reasoning, o176, a109321, 2025
Logics in Artificial Intelligence, 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part II
2025
Zhao, Chengshuai; Tan, Zhen; Ma, Pingchuan; Li, Dawei; Jiang, Bohan; Wang, Yancheng; Yang, Yingzhen; Liu, Huan
Is Chain-of-Thought Reasoning of LLMs a Mirage? A Data Distribution Lens
arXiv, 2025
Haldimann, Jonas; Beierle, Christoph; Kern-Isberner, Gabriele; Meyer, Thomas
Reasoning with system W and infeasible worlds
Annals of Mathematics and Artificial Intelligence, a1–34, 2025
Heyninck, Jesse
An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation
Proceedings of the AAAI Conference on Artificial Intelligence, o39, a14967–14975, 2025
Carr, Lucas; Leisegang, Nicholas; Meyer, Thomas; Obiedkov, Sergei
Rational Inference in Formal Concept Analysis
2025
Haldimann, Jonas; Meyer, Thomas; Kern-Isberner, Gabriele; Beierle, Christoph
SPO-Representable Inductive InferenceOperators Extending Rational Closure
AI Communications, 2025
Mahdavi, Hamed; Hashemi, Alireza; Daliri, Majid; Mohammadipour, Pegah; Farhadi, Alireza; Malek, Samira; Yazdanifard, Yekta; Khasahmadi, Amir; Honavar, Vasant
Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematics
arXiv, 2025
Aravanis, Theofanis I
On the Consistency between Belief Revision and Belief Update
Journal of Artificial Intelligence Research, o82, a1743–1771, 2025
Gerber, Aurona; Maritz, Jacques; Pillay, Anban W.
Artificial Intelligence Research, 5th Southern African Conference, SACAIR 2024, Bloemfontein, South Africa, December 2–6, 2024, Proceedings
Communications in Computer and Information Science, 2025
2024
Ciabattoni, Agata; Eisenhofer, Clemens; Rozplokhas, Dmitry
Strongly Analytic Calculi for KLM Logics with SMT-Based Prover
Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, a284–294, 2024
Garijo
LLMs for Ontology Engineering: A landscape of Tasks and Benchmarking challenges
ISWC, 2024
Beierle, Christoph; Haldimann, Jonas; Sanin, Arthur; Schwarzer, Leon; Spang, Aron; Spiegel, Lars-Phillip; Berg, Martin von
Scalable Uncertainty Management, 16th International Conference, SUM 2024, Palermo, Italy, November 27–29, 2024, Proceedings
Lecture Notes in Computer Science, a29–44, 2024
Rienstra, Tjitze
Artificial Intelligence and Machine Learning, 35th Benelux Conference, BNAIC/Benelearn 2023, Delft, The Netherlands, November 8–10, 2023, Revised Selected Papers
Communications in Computer and Information Science, a174–188, 2024
Castronovo, Lydia; Sanfilippo, Giuseppe
A probabilistic analysis of selected notions of iterated conditioning under coherence
International Journal of Approximate Reasoning, o165, a109088, 2024
Leisegang, Nicholas; Meyer, Thomas; Rudolph, Sebastian
Artificial Intelligence Research, 5th Southern African Conference, SACAIR 2024, Bloemfontein, South Africa, December 2–6, 2024, Proceedings
Communications in Computer and Information Science, a459–475, 2024
Darwiche, Adnan; Marquis, Pierre
Knowledge compilation
Annals of Mathematics and Artificial Intelligence, o92, a1007–1011, 2024
Simkus, Mantas
Rules and Reasoning, 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16–18, 2024, Proceedings
Lecture Notes in Computer Science, 2024
Brodley, Carla E.; Quam, Mckenna; Weiss, Mark
An Analysis of the Math Requirements of 199 CS BS/BA Degrees at 158 U.S. Universities
Communications of the ACM, o67, a122–131, 2024
Kumar, Amruth N.; Raj, Rajendra K.; Aly, Sherif G.; Anderson, Monica D.; Becker, Brett A.; Blumenthal, Richard L.; Eaton, Eric; Epstein, Susan L.; Goldweber, Michael; Jalote, Pankaj; Lea, Douglas; Oudshoorn, Michael; Pias, Marcelo; Reiser, Susan; Servin, Christian; Simha, Rahul; Winters, Titus; Xiang, Qiao
Computer Science Curricula 2023
2024
Dalrymple, David “davidad”; Skalse, Joar; Bengio, Yoshua; Russell, Stuart; Tegmark, Max; Seshia, Sanjit; Omohundro, Steve; Szegedy, Christian; Goldhaber, Ben; Ammann, Nora; Abate, Alessandro; Halpern, Joe; Barrett, Clark; Zhao, Ding; Zhi-Xuan, Tan; Wing, Jeannette; Tenenbaum, Joshua
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems
arXiv, 2024
Bengio, Yoshua; Hinton, Geoffrey; Yao, Andrew; Song, Dawn; Abbeel, Pieter; Darrell, Trevor; Harari, Yuval Noah; Zhang, Ya-Qin; Xue, Lan; Shalev-Shwartz, Shai; Hadfield, Gillian; Clune, Jeff; Maharaj, Tegan; Hutter, Frank; Baydin, Atılım Güneş; McIlraith, Sheila; Gao, Qiqi; Acharya, Ashwin; Krueger, David; Dragan, Anca…
Managing extreme AI risks amid rapid progress
Science, aeadn0117, 2024
2023
Chafik, Anasse; Cheikh-Alili, Fahima; Condotta, Jean-François; Varzinczak, Ivan
Defeasible linear temporal logic
Journal of Applied Non-Classical Logics, o33, a1–51, 2023
Beierle, Christoph; Ragni, Marco; Stolzenburg, Frieder; Thimm, Matthias
Formal andCognitive Reasoning (FCR-2021)
2023
Beierle, Christoph; Haldimann, Jonas; Schwarzer, Leon
Observational Equivalence of Conditional Belief Bases
The International FLAIRS Conference Proceedings, o36, 2023
Heyninck, Jesse; Kern-Isberner, Gabriele; Meyer, Thomas; Haldimann, Jonas Philipp; Beierle, Christoph
Conditional Syntax Splitting for Non-monotonic Inference Operators
Proceedings of the AAAI Conference on Artificial Intelligence, o37, a6416–6424, 2023
Heyninck, Jesse; Bogaerts, Bart
Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version)
arXiv, 2023
Haldimann, Jonas; Beierle, Christoph; Kern-Isberner, Gabriele; Meyer, Thomas
Conditionals, Infeasible Worlds, and Reasoning with System W
The International FLAIRS Conference Proceedings, o36, 2023
Darwiche, Adnan; Hirth, Auguste
On the (Complete) Reasons Behind Decisions
Journal of Logic, Language and Information, o32, a63–88, 2023
Jaakkola, Reijo; Janhunen, Tomi; Kuusisto, Antti; Rankooh, Masood Feyzbakhsh; Vilander, Miikka
Short Boolean Formulas as Explanations in Practice
arXiv, 2023
Sejnowski, Terrence J.
Large Language Models and the Reverse Turing Test
Neural Computation, o35, a309–342, 2023
Artificial Intelligence Research, 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4–8, 2023, Proceedings
Communications in Computer and Information Science, 2023
The Semantic Web, 20th International Conference, ESWC 2023, Hersonissos, Crete, Greece, May 28–June 1, 2023, Proceedings
Lecture Notes in Computer Science, 2023
Bengio, Yoshua; Hinton, Geoffrey; Yao, Andrew; Song, Dawn; Abbeel, Pieter; Harari, Yuval Noah; Zhang, Ya-Qin; Xue, Lan; Shalev-Shwartz, Shai; Hadfield, Gillian; Clune, Jeff; Maharaj, Tegan; Hutter, Frank; Baydin, Atılım Güneş; McIlraith, Sheila; Gao, Qiqi; Acharya, Ashwin; Krueger, David; Dragan, Anca; Torr, Philip…
Managing AI Risks in an Era of Rapid Progress
arXiv, 2023
Logics in Artificial Intelligence, 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings
Lecture Notes in Computer Science, 2023
Rooij, Iris van; Guest, Olivia; Adolfi, Federico G; Haan, Ronald de; Kolokolova, Antonina; Rich, Patricia
Reclaiming AI as a theoretical tool for cognitive science
2023
Lenat, Doug; Marcus, Gary
Getting from Generative AI to Trustworthy AI: What LLMs might learn from Cyc
arXiv, 2023
Togelius, Julian; Yannakakis, Georgios N
Choose Your Weapon: Survival Strategies for Depressed AI Academics
2023
Bui, Hung; Nguyen, Minh Hoai; Nguyen, Dat Quoc; Pham, Linh; Phung, Dinh
Building and Nurturing AI Development in Vietnam
Communications of the ACM, o66, a75–76, 2023
Cohn, Anthony G; Hernandez-Orallo, Jose
Dialectical language model evaluation: An initial appraisal of the commonsense spatial reasoning abilities of LLMs
arXiv, 2023
Daniele, Alessandro; Krieken, Emile van; Serafini, Luciano; Harmelen, Frank van
Refining neural network predictions using background knowledge
Machine Learning, a1–39, 2023
Bang, Yejin; Cahyawijaya, Samuel; Lee, Nayeon; Dai, Wenliang; Su, Dan; Wilie, Bryan; Lovenia, Holy; Ji, Ziwei; Yu, Tiezheng; Chung, Willy; Do, Quyet V; Xu, Yan; Fung, Pascale
A Multitask, Multilingual, Multimodal Evaluation of ChatGPT on Reasoning, Hallucination, and Interactivity
arXiv, 2023
Gundersen, Odd Erik; Helmert, Malte; Hoos, Holger
Improving Reproducibility in AI Research:Four Mechanisms Adopted by JAIR
Journal of Artificial Intelligence Research, 2023
2022
Heyninck, Jesse; Meyer, Thomas
Artificial Intelligence Research, Third Southern African Conference, SACAIR 2022, Stellenbosch, South Africa, December 5–9, 2022, Proceedings
Communications in Computer and Information Science, a202–214, 2022
Haldimann, Jonas; Beierle, Christoph
Inference with System W Satisfies Syntax Splitting
arXiv, 2022
Beierle, Christoph; Haldimann, Jonas
Normal Forms of Conditional Belief Bases Respecting Inductive Inference
The International FLAIRS Conference Proceedings, o35, 2022
Heyninck, Jesse; Kern-Isberner, Gabriele; Meyer, Thomas
Lexicographic Entailment, Syntax Splitting and the Drowning Problem
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, a2662–2668, 2022
Kern-Isberner, Gabriele; Heyninck, Jesse; Beierle, Christoph
Conditional Independence for Iterated Belief Revision
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, a2690–2696, 2022
Jaakkola, Reijo; Janhunen, Tomi; Kuusisto, Antti; Rankooh, Masood Feyzbakhsh; Vilander, Miikka
Explainability via Short Formulas: the Case of Propositional Logic with Implementation
arXiv, 2022
Casini, Giovanni; Meyer, Thomas; Paterson-Jones, Guy; Varzinczak, Ivan
Rules and Reasoning, 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings
Lecture Notes in Computer Science, a81–94, 2022
Beierle, Christoph; Haldimann, Jonas
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
Annals of Mathematics and Artificial Intelligence, o90, a149–179, 2022
Shrotri, Aditya A; Narodytska, Nina; Ignatiev, Alexey; Meel, Kuldeep S; Marques-Silva, Joao; Vardi, Moshe Y
Constraint-Driven Explanations for Black-Box ML Models
Proceedings of the AAAI Conference on Artificial Intelligence, o36, a8304–8314, 2022
Pareti, Paolo; Konstantinidis, George; Mogavero, Fabio
Satisfiability and containment of recursive SHACL
Journal of Web Semantics, o74, a100721, 2022
Doyle, Maureen; Stephenson, Ben; Dorn, Brian; Soh, Leen-Kiat; Battestilli, Lina; Kumar, Amruth N; Raj, Rajendra K
Computer Science Curricula 2023 (CS2023)
Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 2, a1212–1213, 2022
Everett, Lloyd; Morris, Emily; Meyer, Thomas
Explanation for KLM-Style Defeasible Reasoning
Communications in Computer and Information Science, a192–207, 2022
Giunchiglia, Eleonora; Stoian, Mihaela Catalina; Lukasiewicz, Thomas
Deep Learning with Logical Constraints
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, a5478–5485, 2022
Rules and Reasoning, 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings
Lecture Notes in Computer Science, 2022
Delgrande, James; Glimm, Birte; Meyer, Thomas; Truszczynski, Miroslaw; Texeira, Milene Santos; Wolter, Frank
Current and Future Challenges in Knowledge Representation and Reasoning
a1–18, 2022
Pillay, Anban; Jembere, Edgar; Gerber, Aurona
Artificial Intelligence Research, Third Southern African Conference, SACAIR 2022, Stellenbosch, South Africa, December 5–9, 2022, Proceedings
Communications in Computer and Information Science, 2022
Jansen, Jonathan; Visser, Daniel
On Becoming a Scholar, What Every New Academic Needs to Know
2022
Gerber, Aurona (Ed.)
Artificial Intelligence Research, Second Southern African Conference, SACAIR 2021, Durban, South Africa, December 6–10, 2021, Proceedings
Gerber, Aurona, 2022
Ramachandran, Umakishore; Galil, Zvi
Creating a revolutionary academic program
Communications of the ACM, o65, a46–56, 2022
Patel, Vimal
White House Pushes Journals to Drop Paywalls on Publicly Funded Research
New York Times, 2022
Falakh, Faiq Miftakhul; Rudolph, Sebastian
AGM Revision in Description Logics Under Fixed-Domain Semantics
AGM Revision in Description Logics Under Fixed-Domain Semantic, 2022
Komo, Christian; Beierle, Christoph
Nonmonotonic reasoning from conditional knowledge bases with system W
Annals of Mathematics and Artificial Intelligence, o90, a107–144, 2022
Vardi, Moshe Y
ACM, ethics, and corporate behavior
Communications of the ACM, o65, a5–5, 2022
2021
Ciravegna, Gabriele; Barbiero, Pietro; Giannini, Francesco; Gori, Marco; Lió, Pietro; Maggini, Marco; Melacci, Stefano
Logic Explained Networks
arXiv, 2021
Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan
Situated Conditional Reasoning
arXiv, 2021
Bonatti, Piero A.
Query answering in circumscribed OWL2 profiles
Annals of Mathematics and Artificial Intelligence, o89, a1155–1173, 2021
Marques-Silva, Joao; Gerspacher, Thomas; Cooper, Martin; Ignatiev, Alexey; Narodytska, Nina
Explanations for Monotonic Classifiers
arXiv, 2021
Wanyana, Tezira; Moodley, Deshendran
KI 2021: Advances in Artificial Intelligence, 44th German Conference on AI, Virtual Event, September 27 – October 1, 2021, Proceedings
Lecture Notes in Computer Science, a241–256, 2021
Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan
Contextual Conditional Reasoning
Proceedings of the AAAI Conference on Artificial Intelligence, o35, a6254–6261, 2021
Bommasani, Rishi; Hudson, Drew A; Adeli, Ehsan; Altman, Russ; Arora, Simran; Arx, Sydney von; Bernstein, Michael S; Bohg, Jeannette; Bosselut, Antoine; Brunskill, Emma; Brynjolfsson, Erik; Buch, Shyamal; Card, Dallas; Castellon, Rodrigo; Chatterji, Niladri; Chen, Annie; Creel, Kathleen; Davis, Jared Quincy; Demszky, Dora; Donahue, Chris…
On the Opportunities and Risks of Foundation Models
arXiv, 2021
Naeem, Muhammad; Jamal, Tauseef; Diaz-Martinez, Jorge; Butt, Shariq Aziz; Montesano, Nicolo; Tariq, Muhammad Imran; De-la-Hoz-Franco, Emiro; De-La-Hoz-Valdiris, Ethel
Advances in Intelligent Data Analysis and Applications, Proceeding of the Sixth Euro-China Conference on Intelligent Data Analysis and Applications, 15–18 October 2019, Arad, Romania
a309–325, 2021
Solovyev, Alexander V.; Tumanova, Irina V.
Problems of database integration in the context of digitalization
AIP Conference Proceedings, o2402, a050011, 2021
Falakh, Faiq Miftakhul; Rudolph, Sebastian; Sauerwald, Kai
Semantic Characterizations of General Belief Base Revision
arXiv, 2021
Marques-Silva, Joao; Peñaloza, Rafael; Sattler, Uli
Extending the Synergies Between SAT and Description Logics
a1–10, 2021
Kale, Alex; Wu, Yifan; Hullman, Jessica
Causal Support: Modeling Causal Inferences with Visualizations
IEEE Transactions on Visualization and Computer Graphics, o28, a1150–1160, 2021
Gerber, Aurona (Ed.)
Proceedings of the Second Southern African Conference for Artificial Intelligence Research
Gerber, Aurona, 2021
Fuentes, Pablo; Rogerson, Annys; Westgarth, Tom; Iida, Kate; Mbayo, Horlane; Finotto, Alejandra; Rahim, Sulamaan; Petheram, André
Government AI Readiness 2021
a5–74, 2021
Freund, Stephen N; Yahav, Eran; Saad, Feras A; Rinard, Martin C; Mansinghka, Vikash K
SPPL: probabilistic programming with fast exact symbolic inference
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, a804–819, 2021
Littman, Michael L.; Ajunwa, Ifeoma; Berger, Guy; Boutilier, Craig; Currie, Morgan; Doshi-Velez, Finale; Hadfield, Gillian; Horowitz, Michael C.; Isbell, Charles; Kitano, Hiroaki; Levy, Karen; Lyons, Terah; Mitchell, Melanie; Shah, Julie; Sloman, Steven; Vallor, Shannon; Wals, Toby
Gathering Strength, Gathering Storms: The One Hundred Year Study on Artificial Intelligence (AI100)
2021
Technologies, African Union High Level Panel on Emerging; Secretariat, APET; Intelligence, African experts; researchers on Artificial
AI FOR AFRICA
a1–84, 2021
Parbhunath, Abraham
An analysis of cybersecurity culture in an organisation managing Critical Infrastructure
2021
Fourcade, Marion; Kuipers, Benjamin; Lazar, Seth; Mulligan, Deirdre; Leavy, Susan; Siapera, Eugenia; O’Sullivan, Barry
Ethical Data Curation for AI: An Approach based on Feminist Epistemology and Critical Theories of Race
Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society, a695–703, 2021
Molino, Piero; Ré, Christopher
Declarative Machine Learning Systems: The future of machine learning will depend on it being in the hands of the rest of us.
Queue, o19, a46–76, 2021
Karpus, Jurgis; Krüger, Adrian; Verba, Julia Tovar; Bahrami, Bahador; Deroy, Ophelia
Algorithm exploitation: humans are keen to exploit benevolent AI
iScience, a102679, 2021
Littman, Michael L.
Collusion rings threaten the integrity of computer science research
Communications of the ACM, o64, a43–44, 2021
Kutsch, Steven; Beierle, Christoph
InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions
a1 — 4, 2021
Goel, Ashok
Looking Back, Looking Ahead: Symbolic versus Connectionist AI
AI Magazine, a1 — 1, 2021
Liang, Yuchen; Ryali, Chaitanya K; Hoover, Benjamin; Grinberg, Leopold; Navlakha, Saket; Zaki, Mohammed J; Krotov, Dmitry
Can a Fruit Fly Learn Word Embeddings?
arXiv.org, ocs.CL, 2021
Kutsch, Steven; Beierle, Christoph
Semantic Classification of Qualitative Conditionals and Calculating Closures of Nonmonotonic Inference Relations
International Journal of Approximate Reasoning, o130, a297–313, 2021
2020
Ignatiev, Alexey; Narodytska, Nina; Asher, Nicholas; Marques-Silva, Joao
On Relating ‘Why?’ and ‘Why Not?’ Explanations
arXiv, 2020
Andresel, Medina; Corman, Julien; Ortiz, Magdalena; Reutter, Juan L.; Savkovic, Ognjen; Simkus, Mantas
Stable Model Semantics for Recursive SHACL
Proceedings of The Web Conference 2020, a1570–1580, 2020
Fröwis, Michael; Gottschalk, Thilo; Haslhofer, Bernhard; Rückert, Christian; Pesch, Paulina
Safeguarding the evidential value of forensic cryptocurrency investigations
Forensic Science International: Digital Investigation, o33, a200902, 2020
Crane, Harry; Wilhelm, Isaac
Statistical Mechanics and Scientific Explanation
a173–229, 2020
Komo, Christian; Beierle, Christoph
KI 2020: Advances in Artificial Intelligence, 43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020, Proceedings
Lecture Notes in Computer Science, a102–115, 2020
Paterson-Jones, Guy; Casini, Giovanni; Meyer, Thomas
Artificial Intelligence Research, First Southern African Conference for AI Research, SACAIR 2020, Muldersdrift, South Africa, February 22-26, 2021, Proceedings
a236–252, 2020
Haldimann, Jonas Philipp; Kern-Isberner, Gabriele; Beierle, Christoph
Syntax Splitting for Iterated Contractions
Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, a465–475, 2020
2020
Kyrimi, Evangelia; Mossadegh, Somayyeh; Tai, Nigel; Marsh, William
An incremental explanation of inference in Bayesian networks for increasing model trustworthiness and supporting clinical decision making
Artificial Intelligence in Medicine, o103, a101812, 2020
Cui, Leyang; Cheng, Sijie; Wu, Yu; Zhang, Yue
Does BERT Solve Commonsense Task via Commonsense Knowledge?
arXiv.org, ocs.CL, 2020
Booch, Grady; Fabiano, Francesco; Horesh, Lior; Kate, Kiran; Lenchner, Jon; Linck, Nick; Loreggia, Andrea; Murugesan, Keerthiram; Mattei, Nicholas; Rossi, Francesca; Srivastava, Biplav
Thinking Fast and Slow in AI
arXiv.org, ocs.AI, 2020
Mhlambi, Sabelo
From Rationality to Relationality: Ubuntu as an Ethical \& Human Rights Framework for Artificial Intelligence Governance
a1 — 31, 2020
Gerber, Aurona (Ed.)
Proceedings of the First South African Conference for Artificial Intelligence Research
Gerber, Aurona, 2020
Gerber, Aurona (Ed.)
Artificial Intelligence Research, First Southern African Conference for AI Research, SACAIR 2020, Muldersdrift, South Africa, February 22-26, 2021, Proceedings
Gerber, Aurona, 2020
Harrison, Michael; Meyer, Thomas
DDLV: A System for rational preferential reasoning for datalog
South African Computer Journal, o32, a1 — 34, 2020
Chingoma, Julian; Meyer, Thomas
Defeasibility applied to Forrester’s paradox
South African Computer Journal, o32, a1 — 23, 2020
Morris, Matthew; Ross, Tala; Meyer, Thomas
Algorithmic definitions for KLM-style defeasible disjunctive Datalog
South African Computer Journal, o32, a1 — 30, 2020
Fenton, Norman; Neil, Martin; Constantinou, Anthony
Book review – Judea Pearl, Dana Mackenzie, The Book of Why: The New Science of Cause and Effect
Artificial Intelligence, o284, a1–3, 2020
Wooldridge, Michael
Artificial Intelligence requires more than deep learning — but what, exactly?
Artificial Intelligence, o289, a1–4, 2020
Marcus, G; Davis, E
GPT-3, Bloviator: OpenAI’s language generator has no idea what it’s talking about
2020
Britz, Katarina; Casini, Giovanni; Meyer, Thomas; Moodley, Kody; Sattler, Uli; Varzinczak, Ivan
Principles of KLM-style Defeasible Description Logics
ACM Transactions on Computational Logic (TOCL), o22, a1 — 46, 2020
Paredes, Jose N; Simari, Gerardo I; Martinez, Maria Vanina; Falappa, Marcelo A
NetDER: An Architecture for Reasoning About Malicious Behavior
Information Systems Frontiers, o256, a1 — 17, 2020
Paredes, Jose N; Simari, Gerardo I; Martinez, Maria Vanina; Falappa, Marcelo A
Detecting Malicious Behavior in Social Platforms via Hybrid Knowledge- and Data-driven Systems
a1 — 28, 2020
Roscher, Ribana; Bohn, Bastian; Duarte, Marco F; Garcke, Jochen
Explainable Machine Learning for Scientific Insights and Discoveries
IEEE Access, o8, a42200 — 42216, 2020
Arrieta, Alejandro Barredo; Díaz-Rodríguez, Natalia; Ser, Javier Del; Bennetot, Adrien; Tabik, Siham; Barbado, Alberto; Garcia, Salvador; Gil-Lopez, Sergio; Molina, Daniel; Benjamins, Richard; Chatila, Raja; Herrera, Francisco
Explainable Artificial Intelligence (XAI): Concepts, taxonomies, opportunities and challenges toward responsible AI
Information Fusion, o58, a1 — 34, 2020
Narodytska, Nina; Zhang, Hongce; Gupta, Aarti; Walsh, Toby
In Search for a SAT-friendly Binarized Neural Network Architecture.
ICLR, 2020
Shi, Weijia; Shih, Andy; Darwiche, Adnan; Choi, Arthur
On Tractable Representations of Binary Neural Networks
a1 — 11, 2020
Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan
Rational Defeasible Belief Change
a1 — 10, 2020
Audemard, Gilles; Koriche, Frédéric; Marquis, Pierre
On Tractable XAI Queries based on Compiled Representations
a1 — 12, 2020
Delgrande, James; Rantsoudis, Christos
A Preference-Based Approach for Representing Defaults in First-Order Logic
a1 — 10, 2020
Belle, Vaishak
Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains
arXiv, ocs.AI, 2020
Belle, Vaishak
Logic, Probability and Action: A Situation Calculus Perspective
ocs.AI, a52–67, 2020
Artificial Intelligence and Digital Transformation: early lessons from the COVID-19 crisis
a1 — 59, 2020
Freund, Michael
Ordered models for concept representation
Journal of Logic and Computation, o53, a314 — 39, 2020
Moodley, Deshen; Meyer, Thomas
Artificial Intelligence — Where it is heading and what we should do about it
Digitale Welt, o4, a3–3, 2020
Lorch, Jacob R; Chen, Yixuan; Kapritsos, Manos; Parno, Bryan; Qadeer, Shaz; Sharma, Upamanyu; Wilcox, James R; Zhao, Xueyuan
Armada: low-effort verification of high-performance concurrent programs
o375, a197 — 210, 2020
Davel, Marelie H; Theunissen, Marthinus W; Pretorius, Arnold M; Barnard, Etienne
DNNs as Layers of Cooperating Classifiers.
AAAI, 2020
Hutson, Matthew
Core progress in AI has stalled in some fields
Science, o368, a927 — 927, 2020
Marwala, Tshilidzi
South Africa must have a stake in artificial intelligence technology – The Mail \& Guardian
2020
Wong, Pak-Hang; Simon, Judith
Thinking About ‘Ethics’ in the Ethics of AI
IDEES, o48, a1 — 11, 2020
Anonymous
Belief Change by Iteratively Modifying the Newly Acquired Information
a1 — 7, 2020
Crupi, Vincenzo; Iacona, Andrea
Three Ways of Being Non-Material
Studia Logica, o110, a47–93, 2020
Crupi, Vincenzo; Iacona, Andrea
The Evidential Conditional
Erkenntnis, o87, a2897–2921, 2020
2019
FANDINNO, JORGE; SCHULZ, CLAUDIA
Answering the “why” in answer set programming – A survey of explanation approaches
Theory and Practice of Logic Programming, o19, a114–203, 2019
Spiegel, Lars-Phillip; Kern-Isberner, Gabriele; Ragni, Marco
PRICAI 2019: Trends in Artificial Intelligence, 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I
Lecture Notes in Computer Science, a405–417, 2019
Brewka, Gerhard; Ulbricht, Markus
Strong Explanations for Nonmonotonic Reasoning
Lecture Notes in Computer Science, a135–146, 2019
Li, Ang; Pearl, Judea
Unit Selection Based on Counterfactual Logic
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, a1793–1799, 2019
Gusenkov, A; Bukharaev, N; Birialtsev, E
On ontology based data integration: problems and solutions
Journal of Physics: Conference Series, o1203, a012059, 2019
Xiao, Guohui; Ding, Linfang; Cogrel, Benjamin; Calvanese, Diego
Virtual Knowledge Graphs: An Overview of Systems and Use Cases
Data Intelligence, o1, a201–223, 2019
Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan
Taking Defeasible Entailment Beyond Rational Closure
Lecture Notes in Computer Science, a182–197, 2019
Byrne, Ruth M. J.; Johnson-Laird, P. N.
If and or: Real and Counterfactual Possibilities in Their Truth and Probability
Journal of Experimental Psychology: Learning, Memory, and Cognition, o46, a760–780, 2019
Giordano, Laura; Gliozzi, Valentina
Strengthening the Rational Closure for Description Logics – An Overview.
CILC, 2019
Halpern, Joseph Y
Book review: Judea Pearl, The Book of Why,
Artificial Intelligence, o277, a103175, 2019
Rudin, Cynthia
Stop explaining black box machine learning models for high stakes decisions and use interpretable models instead
Nature Machine Intelligence, o1, a1 — 10, 2019
Mittelstadt, Brent; Russell, Chris; Wachter, Sandra
Explaining Explanations in AI
a279 — 288, 2019
Miller, Tim
Explanation in artificial intelligence: Insights from the social sciences
Artificial Intelligence, o267, a1 — 38, 2019
Glymour, Clark; Zhang, Kun; Spirtes, Peter
Review of Causal Discovery Methods Based on Graphical Models
Frontiers in Genetics, o10, a27 — 15, 2019
Noy, Natasha; Gao, Yuqing; Jain, Anshu; Narayanan, Anant; Patterson, Alan; Taylor, Jamie
Industry-scale knowledge graphs
Communications of the ACM, o62, a36 — 43, 2019
Pearl, Judea
The seven tools of causal inference, with reflections on machine learning
Communications of the ACM, o62, a54 — 60, 2019
Bonatti, P A
Rational closure for all description logics
Artificial Intelligence, o274, a197 — 223, 2019
Shih, Andy; Choi, Arthur; Darwiche, Adnan
Compiling Bayesian Network Classifiers into Decision Graphs.
AAAI, o33, a7966 — 7974, 2019
Hunter, Anthony; Kern-Isberner, Gabriele; Meyer, Thomas; Wassermann, Renata
Manifesto: The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence
a1 — 30, 2019
Krötzsch, Markus
Too Much Information – Can AI Cope with Modern Knowledge Graphs?
ICFCA, o11511, a17 — 31, 2019
Carral, David; Dragoste, Irina; González, Larry; Jacobs, Ceriel J H; Krötzsch, Markus; Urbani, Jacopo
VLog – A Rule Engine for Knowledge Graphs.
ISWC, o11779, a19 — 35, 2019
Leidig, Paul; Danyluk, Andrea; Buck, Scott; Cassel, Lillian; Doyle, Maureen; Hines, Keegan; Ho, Tin Kam; McGettrick, Andrew; McIntos, Suzanne; Pe, Jian; Qian, Weining; Schmitt, Karl; Servin, Christian; Wang, Hongzhi
Computing Competencies for Undergraduate Data Science Curricula
a1 — 126, 2019
Lieto, Antonio; Pozzato, Gian Luca
Applying a description logic of typicality as a generative tool for concept combination in computational creativity.
Intelligenza Artificiale, 2019
Leenen, Louise; Meyer, Thomas
Artificial Intelligence and Big Data Analytics in Support of Cyber Defense
Sarfraz, Muhammad, o16, a42 — 63, IGI Global, 2019
Britz, Katarina; Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan
A KLM Perspective on Defeasible Reasoning for Description Logics
o11560, a147 — 173, 2019
Hunter, Anthony; Isberner, Gabriele Kern; Meyer, Thomas; Wassermann, Renata
The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072)
a73 — 90, 2019
Casini, G; Straccia, U; Sciences, T Meyer Information; 2019
A polynomial time subsumption algorithm for nominal safe ELO⊥ under rational closure
Elsevier, o501, a588 — 620, 2019
Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan
Simple Conditionals with Constrained Right Weakening
a1632 — 1638, 2019
Casini, Giovanni; Harrison, Michael; Meyer, Thomas; Swan, Reid
Arbitrary Ranking of Defeasible Subsumption
2019
Calimeri, Francesco; Manna, Marco
Logics in Artificial Intelligence – 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings
o11468, 2019
Botha, Leonard; Meyer, Thomas; Peñaloza, Rafael
A Bayesian Extension of the Description Logic ALC
o11468, a339 — 354, 2019
Britz, Katarina; Casini, Giovanni; Meyer, Thomas; Moodley, Kody; Sattler, Uli; Varzinczak, Ivan
Theoretical Foundations of Defeasible Description Logics
arXiv, oabs/1904.07559, 2019
Brewka, Gerhard; Thimm, Matthias; Ulbricht, Markus
Strong inconsistency.
Artif. Intell., o267, a78 — 117, 2019
Booth, Richard; Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan
On rational entailment for Propositional Typicality Logic
Artificial Intelligence, o277, a103178, 2019
Lutz, Carsten; Sattler, Uli; Tinelli, Cesare; Turhan, Anni-Yasmin; Wolter, Frank
Description Logic, Theory Combination, and All That
Springer, 2019
Guerra, Paulo T; Wassermann, Renata
Two AGM-style characterizations of model repair.
Ann. Math. Artif. Intell., o87, a233 — 257, 2019
Tamargo, Luciano H; Martinez, Diego C; Rotolo, Antonino; Governatori, Guido
An axiomatic characterization of temporalised belief revision in the law
Artificial Intelligence and Law, 2019
2018
Britz, Katarina; Varzinczak, Ivan
From KLM-style conditionals to defeasible modalities, and back
Journal of Applied Non-Classical Logics, o28, a92–121, 2018
Fermé, Eduardo; Hansson, Sven Ove
Belief Change, Introduction and Overview
SpringerBriefs in Intelligent Systems, a89–97, 2018
Eichhorn, Christian; Kern-Isberner, Gabriele; Ragni, Marco
Rational Inference Patterns Based on Conditional Logic
Proceedings of the AAAI Conference on Artificial Intelligence, o32, 2018
Corman, Julien; Reutter, Juan L; Savković, Ognjen
The Semantic Web – ISWC 2018, 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part I
Lecture Notes in Computer Science, a318–336, 2018
Fermé, Eduardo; Hansson, Sven Ove
Belief Change, Introduction and Overview
SpringerBriefs in Intelligent Systems, a49–57, 2018
Fermé, Eduardo; Hansson, Sven Ove
Belief Change, Introduction and Overview
SpringerBriefs in Intelligent Systems, a41–47, 2018
Baader, Franz; Kriegel, Francesco; Nuradiansyah, Adrian; Peñaloza, Rafael
Making Repairs in Description Logics More Gentle
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October – 2 November 2018, a319 — 328, 2018
Shih, Andy; Choi, Arthur; Darwiche, Adnan
A Symbolic Approach to Explaining Bayesian Network Classifiers
a1 — 9, 2018
Kanazawa, Satoshi; Hu, Shihao; Larere, Adrien
Why do very unattractive workers earn so much?
Economics and Human Biology, o29, a189 — 197, 2018
Liu, Lydia T; Dean, Sarah; Rolf, Esther; Simchowitz, Max; Hardt, Moritz
Delayed Impact of Fair Machine Learning
arXiv.org, ocs.LG, 2018
Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
Enhancing context knowledge repositories with justifiable exceptions
Artificial Intelligence, o257, a72 — 126, 2018
Zhao, Yizheng; Feng, Hao; Alassaf, Ruba; Del-Pinto, Warren; Schmidt, Renate A
The FAME Family – A Family of Reasoning Tools for Forgetting in Expressive Description Logics.
Description Logics, 2018
Hoffman, Robert; Miller, Tim; Mueller, Shane T; Klein, Gary; Clancey, William J
Explaining Explanation, Part 4: A Deep Dive on Deep Nets
IEEE Intelligent Systems, o33, a87 — 95, 2018
Williams, Garth
Public Sector Science, Technology and Innovation in the context of the Fourth Industrial Revolution
2018
Kern-Isberner, Gabriele
Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change
a1 — 9, 2018
Hutson, Matthew
Artificial intelligence faces reproducibility crisis
Science, o359, a725 — 726, 2018
Wassermann, Renata
On the Logic of Theory Change: Iteration of Expansion
Journal of the Brazilian Computer Society, o24, a1 — 9, 2018
Urbani, Jacopo; Krötzsch, Markus; Jacobs, Ceriel J H; Dragoste, Irina; Carral, David
Efficient Model Construction for Horn Logic with VLog – System Description.
IJCAR, o10900, a680 — 688, 2018
Malyshev, Stanislav; Krötzsch, Markus; González, Larry; Gonsior, Julius; Bielefeldt, Adrian
Getting the Most Out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph
o11137, a376 — 394, 2018
Fermé, Eduardo L; Hansson, Sven-Ove
Belief Change – Introduction and Overview
Springer Briefs in Intelligent Systems, 2018
Pensel, Maximilian; Turhan, Anni-Yasmin
Reasoning in the Defeasible Description Logic —computing standard inferences under rational and relevant semantics
International Journal of Approximate Reasoning, o103, a28 — 70, 2018
Lieto, Antonio; Pozzato, Gian Luca
A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics
arXiv, ocs.AI, 2018
Baader, Franz; Kriegel, Francesco; Nuradiansyah, Adrian; Peñaloza, Rafael
Making Repairs in Description Logics More Gentle (Extended Abstract)
2018
Mouton, Francois; Pepper, Michael; Meyer, Thomas
A Social Engineering Prevention Training Tool: Methodology and Design for Validating the SEADM
a12 — 27, 2018
Mouton, Francois; Pepper, Michael; Meyer, Thomas
A Social Engineering Prevention Training Tool: Methodology and Design for Validating the SEADM
a12 — 27, 2018
Casini, Giovanni; Ferme, Eduardo; Meyer, Thomas; Varzinczak, Ivan
A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework
a220 — 229, 2018
Botha, Leonard; Meyer, Thomas; Peñaloza, Rafael
The Bayesian Description Logic BALC.
Description Logics, 2018
Buys, Jan
Incremental Generative Models for Syntactic and Semantic Natural Language Processing
2018
Grosz, Barbara J; Stone, Peter
A century-long commitment to assessing artificial intelligence and its impact on society
Communications of the ACM, o61, a68 — 73, 2018
Leenen, Louise; Meyer, Thomas
Semantic Technologies and Big Data Analytics for Cyber Defence
oVol 1303, IGI Global, 2018
Goebel, Randy; Chander, Ajay; Holzinger, Katharina; Lécué, Freddy; Akata, Zeynep; Stumpf, Simone; Kieseberg, Peter; Holzinger, Andreas
Explainable AI – The New 42?
CD-MAKE, o11015, a295 — 303, 2018
Nemitz, Paul
Constitutional democracy and technology in the age of artificial intelligence
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, o376, a20180089 — 14, 2018
Booth, Richard; Chandler, Jake
On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators
ocs.AI, 2018
Lehman, Joel; Clune, Jeff; Misevic, Dusan; Adami, Christoph; Altenberg, Lee; Beaulieu, Julie; Bentley, Peter J; Bernard, Samuel; Beslon, Guillaume; Bryson, David M; Chrabaszcz, Patryk; Cheney, Nick; Cully, Antoine; Doncieux, Stephane; Dyer, Fred C; Ellefsen, Kai Olav; Feldt, Robert; Fischer, Stephan; Forrest, Stephanie; Frénoy, Antoine…
The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities
arXiv, 2018
Thielscher, Michael; Toni, Francesca; Wolter, Frank
Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning
2018
Genesereth, Michael; Kao, Eric
The Herbrand Manifesto: Thinking Inside the Box
a1 — 10, 2018
Cabot, Jordi; Izquierdo, Javier Luis Cánovas; Cosentino, Valerio
Are CS conferences (too) closed communities?
Communications of the ACM, o61, a32 — 34, 2018
Booth, Richard; Hunter, Aaron
Trust as a Precursor to Belief Revision.
Journal of Artificial Intelligence Research, o61, a699 — 722, 2018
Marufu, Mac
Robust and cheating-resilient power auctioning on Resource Constrained Smart Micro-Grids
2018
Brock, David C
Learning from Artificial Intelligence’s Previous Awakenings: The History of Expert Systems
a1 — 13, 2018
Swire, Peter
A pedagogic cybersecurity framework
Communications of the ACM, o61, a23 — 26, 2018
Lipton, Zachary C
The mythos of model interpretability
Communications of the ACM, o61, a36 — 43, 2018
Darwiche, Adnan
Human-level intelligence or animal-like abilities?
Communications of the ACM, o61, a56 — 67, 2018
Cusumano, Michael A
The business of quantum computing
Communications of the ACM, o61, a20 — 22, 2018
Banifatemi, Amir
Can we use AI for global good?
Communications of the ACM, o61, a8 — 9, 2018
Pearl, Judea
Theoretical Impediments to Machine Learning With Seven Sparks from the Causal Revolution
a1 — 5, 2018
Rens, Gavin; Nayak, Abhaya; Meyer, Thomas
Maximizing Expected Impact in an Agent Reputation Network — Technical Report
arXiv, 2018
Britz, Katarina; Varzinczak, Ivan José
Rationality and Context in Defeasible Subsumption.
FoIKS, 2018
2017
Adeleke, Jude Adekunle; Moodley, Deshendran; Rens, Gavin; Adewumi, Aderemi Oluyinka
Integrating Statistical Machine Learning in a Semantic Sensor Web for Proactive Monitoring and Control
Sensors, o17, a807, 2017
Kern-Isberner, Gabriele; Brewka, Gerhard
Strong Syntax Splitting for Iterated Belief Revision
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, a1131–1137, 2017
Beierle, Christoph; Falke, Tobias; Kutsch, Steven; Kern-Isberner, Gabriele
System ZFO: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases
International Journal of Approximate Reasoning, o90, a120–143, 2017
Kimmig, Angelika; Broeck, Guy Van den; Raedt, Luc De
Algebraic model counting
Journal of Applied Logic, o22, a46–62, 2017
Besold, Tarek R; Garcez, Artur d’Avila; Bader, Sebastian; Bowman, Howard; Domingos, Pedro; Hitzler, Pascal; Kuehnberger, Kai-Uwe; Lamb, Luis C; Lowd, Daniel; Lima, Priscila Machado Vieira; Penning, Leo de; Pinkas, Gadi; Poon, Hoifung; Zaverucha, Gerson
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation
arXiv, 2017
Verheij, Bart
Proof with and without probabilities
Artificial Intelligence and Law, o25, a127–154, 2017
Ragni, Marco; Eichhorn, Christian; Bock, Tanja; Kern-Isberner, Gabriele; Tse, Alice Ping Ping
Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning
Minds and Machines, o27, a79 — 117, 2017
Timmer, Sjoerd T; Meyer, John-Jules Ch; Prakken, Henry; Renooij, Silja; Verheij, Bart
A two-phase method for extracting explanatory arguments from Bayesian networks
International Journal of Approximate Reasoning, o80, a475 — 494, 2017
Grace, Katja; Salvatier, John; Dafoe, Allan; Zhang, Baobao; Evans, Owain
When Will AI Exceed Human Performance? Evidence from AI Experts
arXiv.org, ocs.AI, 2017
Ingrand, Félix; Ghallab, Malik
Deliberation for autonomous robots: A survey
Artificial Intelligence, o247, a10 — 44, 2017
Hoffman, Robert R; Mueller, Shane T; Klein, Gary
Explaining Explanation, Part 2 – Empirical Foundations.
IEEE Intelligent Systems, 2017
Hoffman, Robert R; Klein, Gary
Explaining Explanation, Part 1: Theoretical Foundations
IEEE Intelligent Systems, o32, a68 — 73, 2017
Belle, Vaishak
Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds
a1 — 5, 2017
Ferme, Eduardo; Wassermann, Renata
Iterated Belief Change: the Case of Expansion Into Inconsistency
a420 — 425, 2017
Konieczny, Sébastien; Pérez, Ramón Pino
On Iterated Contraction: Syntactic Characterization, Representation Theorem and Limitations of the Levi Identity
o10564, a348 — 362, 2017
Gerber, Aurona; Morar, Nishal; Meyer, Thomas; Eardley, Connal
Ontology-based support for taxonomic functions
Ecological Informatics, o41, a11 — 23, 2017
Casini, Giovanni; Meyer, Thomas Andreas
Belief Change in a Preferential Non-monotonic Framework.
IJCAI, a929 — 935, 2017
Hijazi, Sherin; Obeid, Nadim; Jabri, Riad
On Drug Dosage Control Using Description Defeasible Logic
2017 International Conference on Computational Science and Computational Intelligence (CSCI), a1654 — 1659, 2017
Kaminski, Mark; Grau, Bernardo Cuenca; Kostylev, Egor V; Motik, Boris; Horrocks, Ian
Foundations of Declarative Data Analysis Using Limit Datalog Programs
a1 — 8, 2017
Calvanese, Diego; Cogrel, Benjamin; Komla-Ebri, Sarah; Kontchakov, Roman; Lanti, Davide; Rezk, Martin; Rodriguez-Muro, Mariano; 0001, Guohui Xiao
Ontop – Answering SPARQL queries over relational databases.
Corcho, Óscar, Semantic Web, o8, a471 — 487, 2017
Pensel, Maximilian; Turhan, Anni-Yasmin
Including Quantification in Defeasible Reasoning for the Description Logic EL⊥.
LPNMR, o10377, a78 — 84, 2017
Krötzsch, Markus; 0001, Maximilian Marx; Ozaki, Ana; Thost, Veronika
Attributed Description Logics: Ontologies for Knowledge Graphs
International Semantic Web Conference, o10587, a418 — 435, 2017
Kern-Isberner, Gabriele
Many Facets of Reasoning Under Uncertainty, Inconsistency, Vagueness, and Preferences: A Brief Survey
KI – Künstliche Intelligenz, o31, a9 — 13, 2017
Zhang, Ce; Ré, Christopher; Cafarella, Michael; Sa, Christopher De; Ratner, Alex; Shin, Jaeho; Wang, Feiran; Wu, Sen
DeepDive
Communications of the ACM, o60, a93 — 102, 2017
Suntisrivaraporn, Boontawee
Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies
a1 — 25, 2017
Nikolaou, Charalampos; Kostylev, Egor V; Konstantinidis, George; Kaminski, Mark; Grau, Bernardo Cuenca; Horrocks, Ian
The Bag Semantics of Ontology-Based Data Access.
IJCAI, a1224 — 1230, 2017
Dawood, Amr; Delgrande, James P; Liao, Zhiwei
A Study of Kernel Contraction in EL.
COMMONSENSE, 2017
Gutiérrez-Basulto, Víctor; Jung, Jean Christoph; Lutz, Carsten; Schroder, Lutz
Probabilistic Description Logics for Subjective Uncertainty
Journal of Artificial Intelligence Research, o58, a1 — 66, 2017
Elliston, Cath; Fenech, Matt; Buston, Olly
ARTIFICIAL INTELLIGENCE: The Road Ahead in Low and Middle-Income Countries
a1 — 20, 2017
Denning, Peter J
Remaining trouble spots with computational thinking
Communications of the ACM, o60, a33 — 39, 2017
Adeleke, Jude
A Semantic Sensor Web Framework for Proactive Environmental Monitoring and Control
2017
Zhuang, Zhiqiang; Delgrande, James P; Nayak, Abhaya C; 0001, Abdul Sattar
A Unifying Framework for Probabilistic Belief Revision.
IJCAI, a1370 — 1376, 2017
Pensel, Maximilian; Turhan, Anni-Yasmin
Making Quantification Relevant Again —the Case of Defeasible EL
2017
2016
Vlek, Charlotte S; Prakken, Henry; Renooij, Silja; Verheij, Bart
A method for explaining Bayesian networks for legal evidence with scenarios
Artificial Intelligence and Law, o24, a285 — 324, 2016
Fu, Xuefeng; Qi, Guilin; Zhang, Yong; Zhou, Zhangquan
Graph-based approaches to debugging and revision of terminologies in DL-Lite
Knowledge-Based Systems, o100, a1 — 12, 2016
Ngo, Nhung; Ortiz, Magdalena; Simkus, Mantas
Closed Predicates in Description Logics – Results on Combined Complexity.
AMW, 2016
Delivorias, Stathis; Rudolph, Sebastian
Revisiting Grounded Circumscription in Description Logics
o9898, a46 — 60, 2016
Delivorias, Stathis; Rudolph, Sebastian
Revisiting Grounded Circumscription in Description Logics.
RR, o9898, a46 — 60, 2016
Delivorias, Stathis; Rudolph, Sebastian
Revisiting Grounded Circumscription in Description Logics.
RR, o9898, a46 — 60, 2016
Zhuang, Zhiqiang; 0001, Zhe Wang; Wang, Kewen; Qi, Guilin
DL-Lite Contraction and Revision.
Journal of Artificial Intelligence Research, o56, a329 — 378, 2016
Manthey, Norbert; Peñaloza, Rafael; Rudolph, Sebastian
Efficient Axiom Pinpointing in EL using SAT Technology.
Description Logics, 2016
Ojeme, Blessing; Mbogho, Audrey; Meyer, Thomas
Probabilistic Expert Systems for Reasoning in Clinical Depressive Disorders
2016 15th IEEE International Conference on Machine Learning and Applications (ICMLA), a599–604, 2016
Casini, Giovanni; Meyer, Thomas Andreas
Using Defeasible Information to Obtain Coherence
a537 — 540, 2016
Micalizio, Roberto; Pozzato, Gian Luca
A Typicality-Based Revision to Handle Exceptions in Description Logics
a1 — 2, 2016
Britz, Katarina; Varzinczak, Ivan José
Introducing Role Defeasibility in Description Logics.
o10021, a174 — 189, 2016
Stone, Peter; Brooks, Rodney; Brynjolfsson, Erik; Calo, Ryan; Etzioni, Oren; Hager, Greg; Hirschberg, Julia; Kalyanakrishnan, Shivaram; Kamar, Ece; Kraus, Sarit; Leyton-Brown, Kevin; Parkes, David; Press, William; Saxenian, AnnaLee (Anno); Shah, Julie; Tambe, Milind; Teller, Astro
ARTIFICIAL INTELLIGENCE AND LIFE IN 2030
a1 — 52, 2016
Booth, Richard; Chandler, Jake
The Irreducibility of Iterated to Single Revision
Journal of Philosophical Logic, o46, a405 — 418, 2016
Booth, Richard; Chandler, Jake
Extending the Harper Identity to Iterated Belief Change.
IJCAI, 2016
Ojeme, Blessing; Meyer, Thomas; Mbogho, Audrey
Probabilistic Expert systems for Reasoning in Clinical Depressive Disorders
ICMLA, 2016
Ojeme, Blessing; Meyer, Thomas; Mbogho, Audrey
Probabilistic Expert systems for Reasoning in Clinical Depressive Disorders
ICMLA, 2016
Ferme, Eduardo; Gonçalves, Sara
On the Iteration of KM-Update (preliminary report)
Computational Models of Rationality. Essays Dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday, 2016
Bareinboim, Elias; Pearl, Judea
Causal inference and the data-fusion problem
Proceedings of the National Academy of Sciences, o113, a7345 — 7352, 2016
Rens, Gavin; Meyer, Thomas Andreas; Casini, Giovanni
On Revision of Partially Specified Convex Probabilistic Belief Bases.
ECAI, 2016
Copeland, Jack; Dresner, Eli; Proudfoot, Diane; Shagrir, Oron
Time to reinspect the foundations?
Communications of the ACM, 2016
Vardi, Moshe Y
Globalization, computing, and their political impact
Communications of the ACM, 2016
Summers-Stay, Douglas; Voss, Clare; Cassidy, Taylor
Using a distributional semantic vector space with a knowledge base for reasoning in uncertain conditions
BIOLOGICALLY INSPIRED COGNITIVE ARCHITECTURES, o16, a1 — 11, 2016
Rens, Gavin; Meyer, Thomas; Casini, Giovanni
Revising Incompletely Specified Convex Probabilistic Belief Bases
a1 — 10, 2016
2015
For Slow Scholarship: A Feminist Politics of Resistance through Collective Action in the Neoliberal University
2015
Tiddi, Ilaria; d’Aquin, Mathieu; Motta, Enrico
An ontology design pattern to define explanations
K-CAP ’15: Proceedings of the 8th International Conference on Knowledge Capture, a1–8, 2015
Timmer, Sjoerd T; Meyer, John-Jules Ch; Prakken, Henry; Renooij, Silja; Verheij, Bart
Explaining Legal Bayesian Networks Using Support Graphs.
JURIX, 2015
Kern-Isberner, Gabriele; Beierle, Christoph
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, a81–95, 2015
Prakken, Henry; Sartor, Giovanni
Law and logic: A review from an argumentation perspective
Artificial Intelligence, o227, a214 — 245, 2015
Krötzsch, Markus; Rudolph, Sebastian; Schmitt, Peter H
A closer look at the semantic relationship between Datalog and description logics
Semantic Web, o6, a63 — 79, 2015
Casini, Giovanni; Meyer, Thomas Andreas; Moodley, Kodylan; Sattler, Uli; Varzinczak, Ivan José
Introducing Defeasibility into OWL Ontologies
International Semantic Web Conference, 2015
Chopra, Amit K; Torre, Leon van der; Verhagen, Harko; Villata, Serena
Normative Multi-Agent Systems
a1 — 15, 2015
Bonatti, P A; Faella, M; Petrova, I M; Sauro, L
A new semantics for overriding in description logics
Artificial Intelligence, o222, a1 — 48, 2015
Rens, Gavin; Meyer, Thomas Andreas; Lakemeyer, Gerhard
A Logic for Reasoning About Decision-Theoretic Projections
o9494, a79 — 99, 2015
Bonatti, Piero A; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank
Decidability of Circumscribed Description Logics Revisited.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, o9060, a112 — 124, 2015
Prakken, Henry; Sartor, Giovanni
Law and logic – A review from an argumentation perspective.
Artif. Intell., 2015
Nenov, Yavor; Piro, Robert; Motik, Boris; Horrocks, Ian; Wu, Zhe; Banerjee, Jay
RDFox – A Highly-Scalable RDF Store.
International Semantic Web Conference, o9367, a3 — 20, 2015
Halpern, Joseph Y
A modification of the halpern-pearl definition of causality
IJCAI International Joint Conference on Artificial Intelligence, o2015-Janua, a3022 — 3033, 2015
Halpern, Joseph Y
A modification of the halpern-pearl definition of causality
IJCAI International Joint Conference on Artificial Intelligence, o2015-Janua, a3022 — 3033, 2015
Zhuang, Zhiqiang; 0001, Zhe Wang; Wang, Kewen; Delgrande, James P
Extending AGM Contraction to Arbitrary Logics.
IJCAI, 2015
Booth, Richard; Casini, Giovanni; Meyer, Thomas Andreas; Varzinczak, Ivan José
On the Entailment Problem for a Logic of Typicality.
IJCAI, 2015
Giordano, L; Gliozzi, V; Olivetti, N; Pozzato, G L
Semantic characterization of rational closure: From propositional logic to description logics
Artificial Intelligence, o226, a1 — 33, 2015
Baader, Franz; Borgwardt, Stefan; Lippmann, Marcel
Temporal query entailment in the Description Logic SHQ.
J. Web Semant., 2015
Zang, Liangjun; Wang, Weimin; Chen, Bo; Cao, Cungen
The Double-Level Default Description Logic \$\$\textbackslash mathcal \textbackslash D\textbackslash 3\textbackslash mathcal \textbackslash L\textbackslash \$\$
o9403, a141 — 146, 2015
Pujara, Jay; 0001, Hui Miao; Getoor, Lise; Cohen, William W
Using Semantics and Statistics to Turn Data into Knowledge.
AI Magazine, 2015
Rens, Gavin; Meyer, Thomas Andreas
A Hybrid POMDP-BDI Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels.
ICAART, o9494, a3 — 19, 2015
Janowicz, Krzysztof; Harmelen, Frank van; Hendler, James A; Hitzler, Pascal
Why the Data Train Needs Semantic Rails.
AI Magazine, 2015
Cerutti, Federico; Tachmazidis, Ilias; Vallati, Mauro; Batsakis, Sotirios; Giacomin, Massimiliano; Antoniou, Grigoris
Exploiting Parallelism for Hard Problems in Abstract Argumentation.
AAAI, 2015
Gino, Francesca; Wilmuth, Caroline Ashley; Brooks, Alison Wood
Compared to men, women view professional advancement as equally attainable, but less desirable
Proceedings of the National Academy of Sciences, o112, a12354 — 12359, 2015
Friedman, Batya; Schneider, Fred B
Incentivizing Quality and Impact: Evaluating Scholarship in Hiring, Tenure, and Promotion
a1 — 4, 2015
Vardi, Moshe Y
Incentivizing quality and impact in computing research
Communications of the ACM, 2015
Newcombe, Chris; Rath, Tim; Zhang, Fan; Munteanu, Bogdan; Brooker, Marc; Deardeuff, Michael
How Amazon web services uses formal methods
Communications of the ACM, 2015
Bonatti, Piero A; Petrova, Iliana M; Sauro, Luigi
Optimizing the Computation of Overriding in Description Logics
o9366, a356 — 372, 2015
Martinez-Costa, C; Cornet, R; Karlsson, D; Schulz, S; Kalra, D
Semantic enrichment of clinical models towards semantic interoperability. The heart failure summary use case
Journal of the American Medical Informatics Association, o4, a51, 2015
Delgrande, James P; Peppas, Pavlos
Belief revision in Horn theories.
Artif. Intell., o218, a1 — 22, 2015
2014
Marquis, Pierre; Schwind, Nicolas
Lost in translation: Language independence in propositional logic – application to belief change
Artificial Intelligence, o206, a1–24, 2014
Benferhat, Salem; Bouraoui, Zied; Papini, Odile; Würbel, Eric
A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases.
JELIA, o8761, a442 — 456, 2014
Kontchakov, Roman; Zakharyaschev, Michael
An Introduction to Description Logics and Query Rewriting.
Reasoning Web, o8714, a195 — 244, 2014
Rens, Gavin; Meyer, Thomas; Lakemeyer, Gerhard
A Logic for Specifying Stochastic Actions and Observations
o8367, a305 — 323, 2014
Ongoma, E A Nasubo; Keet, C Maria; Meyer, Thomas
Transition Constraints for Temporal Attributes.
Description Logics, 2014
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Automated Reasoning in Deontic Logic
arXiv.org, ocs.AI, a57 — 68, 2014
Hall, Neil
The Kardashian index: a measure of discrepant social media profile for scientists
Genome biology, o15, a1 — 3, 2014
Martinez, Maria Vanina; Deagustini, Cristhian Ariel David; Falappa, Marcelo A; Simari, Guillermo Ricardo
Inconsistency-Tolerant Reasoning in Datalog ± ± Ontologies via an Argumentative Semantics.
Bazzan, Ana L C and Pichara, Karim, Advances in Artificial Intelligence – IBERAMIA 2014, a15–27, 2014
Martin, Eric; Osherson, Daniel
Scientific discovery based on belief revision
The Journal of Symbolic Logic, o62, a1352 — 1370, 2014
Pearl, Judea
Causes of Effects and Effects of Causes
Sociological Methods \& Research, o44, a149 — 164, 2014
Ben-sasson, Eli; Chiesa, Alessandro; Garman, Christina; 0001, Matthew Green; Miers, Ian; Tromer, Eran; Virza, Madars
Zerocash – Decentralized Anonymous Payments from Bitcoin.
IEEE Symposium on Security and Privacy, 2014
Kuhn, Tobias
A Survey and Classification of Controlled Natural Languages.
Computational Linguistics, o40, a121 — 170, 2014
Rens, Gavin; Meyer, Thomas; Lakemeyer, Gerhard
SLAP – Specification logic of actions with probability.
J. Appl. Log., o12, a128 — 150, 2014
Ceylan, Ismail Ilkan; Peñaloza, Rafael
Bayesian Description Logics.
Description Logics, a447 — 458, 2014
Asmus, Josefine; Borchmann, Daniel; Sbalzarini, Ivo F; Walther, Dirk
Towards an FCA-based Recommender System for Black-Box Optimization
a1 — 8, 2014
eds, Roman Kontchakov; Marie-Laure Mugnier
Web Reasoning and Rule Systems – RR2014
a1 — 271, 2014
Ceylan, Ismail Ilkan; Peñaloza, Rafael
The Bayesian Description Logic \$\textbackslash \textbackslash mathcal\textbackslash BEL\textbackslash \textbackslash \$.
IJCAR, 2014
Moodley, Kodylan; Meyer, Thomas; Sattler, Uli
Practical Defeasible Reasoning for Description Logics
a1 — 10, 2014
Casini, Giovanni; Meyer, Thomas; Moodley, Kodylan; Nortjé, Riku
Logics in Artificial Intelligence, 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings
Logics in Artificial Intelligence, 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, a92–106, 2014
2013
Rothman, Kenneth J; Gallacher, John EJ; Hatch, Elizabeth E
Why representativeness should be avoided
International Journal of Epidemiology, o42, a1012–1014, 2013
Gottlob, Georg; Lukasiewicz, Thomas; Martinez, Maria Vanina; Simari, Gerardo I
Query answering under probabilistic uncertainty in Datalog+ / − ontologies
Annals of Mathematics and Artificial Intelligence, o69, a37 — 72, 2013
Garey, Michael; Johnson, David
Computers and Intractability A Guide to the Theory of NP-Completeness
2013
Britz, Arina; Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan José
Preferential Role Restrictions.
Description Logics, 2013
Krötzsch, Markus; Rudolph, Sebastian; Hitzler, Pascal
Complexities of Horn Description Logics.
ACM Trans. Comput. Log., o14, a1 — 36, 2013
Casini, Giovanni; Meyer, Thomas; Moodley, Kodylan; Varzinczak, Ivan José
Towards Practical Defeasible Reasoning for Description Logics.
Description Logics, 2013
Besnard, Philippe; Gregoire, Eric; Ramon, Sébastien
Overriding subsuming rules.
Int. J. Approx. Reason., o54, a452 — 466, 2013
Peñaloza, Rafael; Zou, Tingting
Roughening the \$\textbackslash mathcal\textbackslash EL\textbackslash \$ Envelope
o8152, a71 — 86, 2013
Maier, Frederick; Ma, Yue; Hitzler, Pascal
Paraconsistent OWL and related logics.
Semantic Web, o4, a395 — 427, 2013
Denning, Peter J
The science in computer science
Communications of the ACM, o56, a35 — 4, 2013
Grudin, Jonathan; Mark, Gloria; Riedl, John
Conference-journal hybrids
Communications of the ACM, o56, a44 — 6, 2013
Bochman, Alexander
Evolutionary Belief Change: Priorities, Conditionals and Argumentation
a1 — 28, 2013
Hariri, Babak Bagheri; Calvanese, Diego; Montali, Marco; Santoso, Ario; Solomakhin, Dmitry
Verification of Semantically-Enhanced Artifact Systems (Extended Version)
arXiv, 2013
Rens, Gavin Brian
A Decidable Logic for Reasoning with Incompletely Specified POMDPs
a1 — 10, 2013
Mendes, David; Rodrigues, Irene Pimenta; Baeta, Carlos Fernandes
Development and Population of an Elaborate Formal Ontology for Clinical Practice Knowledge Representation.
KEOD, 2013
Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan José; Moodley, Kodylan
Nonmonotonic Reasoning in Description Logics – Rational Closure for the ABox.
Description Logics, 2013
Jones, Anita; Gianchandani, Erwin; Jones, Anita; Gianchandani, Erwin
Computer Science Postdocs – Best Practices
a1 — 13, 2013
Delgrande, James P; Wassermann, Renata
Horn Clause Contraction Functions
Journal of Artificial Intelligence Research, o48, a475 — 511, 2013
Ebrahim, Nader Ale; Salehi, Hadi; Embi, Mohamed Amin; Tanha, Farid Habibi; Gholizadeh, Hossein; Motahar, Seyed Mohammad; Ordi, Ali
Effective Strategies for Increasing Citation Frequency
International Education Studies, o6, 2013
Jung, J C; Lutz, C
Ontology-Based Access to Probabilistic Data with OWL QL
Description Logics, 2013
Vescovo, Chiara Del; Hahmann, Torsten; 0001, David Pearce; 0002, Dirk Walther
Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), Corunna, Spain, September 15, 2013.
WoMO, 2013
Rens, Gavin Brian; Meyer, Thomas; Lakemeyer, Gerhard
Dealing with Incomplete Transition Information in a Stochastic Action Logic
a1 — 7, 2013
Maumela, J T; Nelwamondo, F V; Marwala, T
Condition monitoring of transformer bushings using Rough Sets, Principal Component Analysis and Granular Computation as preprocessors
a345 — 350, 2013
Britz, Katarina; Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan
Preferential Role Restrictions
Eiter, Thomas and Krötzsch, Markus, Proceedings of the 26th International Workshop on Description Logics, 2013
Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Calvanese, Diego
Capturing model-based ontology evolution at the instance level: The case of< i> DL-Lite
Journal of Computer and System Sciences, 2013
Chaussecourte, Pierre; Glimm, Birte; Horrocks, Ian; Motik, Boris; Pierre, Laurent
The Energy Management Adviser at EDF
a1 — 16, 2013
Eccher, Claudio; Scipioni, Alessandro; Miller, Alexis A; Ferro, Antonella; Pisanelli, Domenico M
An ontology of cancer therapies supporting interoperability and data consistency in EPRs
Computers in Biology and Medicine, o43, a822 — 832, 2013
Ruttkamp-Bloem, Emma
Re-enchanting Realism in Debate with Kyle Stanford
Journal for General Philosophy of Science, o44, a201 — 224, 2013
Maggi, Fabrizio Maria; Dumas, Marlon; Garcia-Banuelos, Luciano; Montali, Marco
Discovering Data-Aware Declarative Process Models from Event Logs.
BPM, o8094, a81 — 96, 2013
Borgwardt, Stefan; Lippmann, Marcel; Thost, Veronika
Temporal Query Answering in DL-Lite.
Description Logics, 2013
Brandt, Pascal; Moodley, Deshendran; Pillay, Anban W; Seebregts, Christopher J; Oliveira, Tulio de
An Investigation of Classification Algorithms for Predicting HIV Drug Resistance without Genotype Resistance Testing.
FHIES, o8315, a236 — 253, 2013
Giordano, L; Gliozzi, V; Olivetti, N; Pozzato, G L
Rational Closure in Description Logics of Typicality
IAF 2013, 2013
Giordano, Laura; Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
Minimal Model Semantics and Rational Closure in Description Logics.
Description Logics, 2013
Klarman, Szymon
Practical Ontology-Based Access to Temporal Data via OWL 2 QL and SQL:2011
2013
Rens, Gavin Brian; Meyer, Thomas; Lakemeyer, Gerhard
On the Logical Specification of Probabilistic Transition Models
2013
Mitrovic, Boris
Repairing Inconsistent Ontologies Using Adapted Reformation Algorithm For Sorted Logics
2013
2012
Casini, Giovanni; Gerber, Aurona; Meyer, Thomas
A note on the translation of conceptual data models into description logics
a10–20, 2012
Krötzsch, Markus
OWL 2 Profiles – An Introduction to Lightweight Ontology Languages.
Reasoning Web, o7487, a112 — 183, 2012
Krötzsch, Markus; Simancik, Frantisek; Horrocks, Ian
A Description Logic Primer
arXiv.org, ocs.AI, 2012
Ortiz, Magdalena; Simkus, Mantas
Reasoning and Query Answering in Description Logics
o7487, a1 — 53, 2012
Calì, Andrea; Gottlob, Georg; Lukasiewicz, Thomas
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web, o14, a57 — 83, 2012
Rens, Gavin; Lakemeyer, Gerhard; Meyer, Thomas
A Logic for Specifying Agent Actions and Observations with Probability
a252 — 263, 2012
Moodley, Kodylan; Meyer, Thomas; Varzinczak, Ivan José
A defeasible reasoning approach for description logic ontologies
a69 — 78, 2012
Delgrande, James P; Meyer, Thomas; Sattler, Ulrike
Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441)
Dagstuhl Reports, o2, a105 — 116, 2012
Booth, Richard; Meyer, Thomas; Sombattheera, Chattrakul
A General Family of Preferential Belief Removal Operators
J. Philosophical Logic, o41, a711 — 733, 2012
Meyer, Thomas
On the semantics of combination operations
Journal of Applied Non-Classical Logics, o11, a59 — 84, 2012
Szalas, Andrzej
Second-order reasoning in description logics
Journal of Applied Non-Classical Logics, 2012
Moodley, Deshendran; Simonis, Ingo; Tapamo, Jules Raymond
An Architecture for Managing Knowledge and System Dynamism in the Worldwide Sensor Web
International Journal on Semantic Web and Information Systems (IJSWIS), o8, a64 — 88, 2012
Lutz, Carsten; Seylan, Inanç; Wolter, Frank
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL.
KR, 2012
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
A Modal Reconstruction of Rational Closure.
CILC, 2012
Knorr, Matthias; Hitzler, Pascal; Maier, Frederick
Reconciling OWL and Non-monotonic Rules for the Semantic Web.
ECAI, 2012
Makino, Kazuhisa; Ono, Hirotaka
Deductive inference for the interiors and exteriors of horn theories
ACM Trans. Comput. Log., o13, a1 — 16, 2012
Giordano, L; Gliozzi, V; Olivetti, N; Pozzato, G L
A non-monotonic Description Logic for reasoning about typicality
Artificial Intelligence, o195, a1 — 38, 2012
Gutiérrez-Basulto, Víctor; Klarman, Szymon
Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics.
RR, 2012
Zimmermann, Antoine; Lopes, Nuno; Polleres, Axel; Straccia, Umberto
A general framework for representing, reasoning and querying with annotated Semantic Web data
Web Semantics: Science, Services and Agents on the World Wide Web, o11, a72 — 95, 2012
Pozzato, G L; Giordano, L; Olivetti, N; Gliozzi, V; Gliozzi, V; Pozzato, G L; Olivetti, N; Giordano, L; Pozzato, G L; Gliozzi, V; Olivetti, N; Giordano, L
A minimal model semantics for rational closure
2012
Britz, Katarina; Meyer, Thomas; Varzinczak, Ivan José
Normal Modal Preferential Consequence.
Australasian Conference on Artificial Intelligence, o7691, a505 — 516, 2012
Wolf, Ann G.; Rieger, Susann; Knauff, Markus
The effects of source trustworthiness and inference type on human belief revision
Thinking \& Reasoning, o18, a417–440, 2012
Brocheler, Matthias; Mihalkova, Lilyana; Getoor, Lise
Probabilistic Similarity Logic
arXiv.org, 2012
Booth, R; Meyer, T; Varzinczak, I
PTL: A propositional typicality logic
Logics in Artificial Intelligence, o7519, a107 — 119, 2012
Ye, Juan; Dobson, Simon; McKeever, Susan
Situation identification techniques in pervasive computing: A review
Pervasive and Mobile Computing, o8, a36 — 66, 2012
Barnaghi, Payam; Wang, Wei; Henson, Cory; Taylor, Kerry
Semantics for the Internet of Things: early progress and back to the future
International Journal on Semantic Web and Information Systems (IJSWIS), o8, a1 — 21, 2012
Bollen, Kenneth A; Pearl, Judea
Eight myths about causality and structural equation models
a301 — 328, 2012
Guillame-Bert, Mathieu; Crowley, James L
Learning Temporal Association Rules on Symbolic Time Sequences.
ACML, 2012
Huang, S; Li, Q; Hitzler, P
Reasoning with inconsistencies in hybrid MKNF knowledge bases
Logic Journal of IGPL, 2012
Bonatti, P
Facilitating ontology refinement through nonmonotonic DLor: Towards OO Ontology design
2012
Giordano, L; Olivetti, N; Gliozzi, V; Pozzato, G L
A Minimal Model Semantics for Nonmonotonic Reasoning
a228 — 241, 2012
Bienvenu, Meghyn; Lutz, Carsten; Wolter, Frank
Deciding FO-Rewritability in EL.
Description Logics, 2012
Booth, Richard; Meyer, Thomas; Varzinczak, Ivan
A Propositional Typicality Logic for Extending Rational Consequence
a1 — 26, 2012
Nikitina, Nadeschda; Rudolph, Sebastian; Glimm, Birte
Interactive ontology revision
Web Semantics: Science, Services and Agents on the World Wide Web, o12-13, a118 — 130, 2012
Ferrein, Alexander; Meyer, Thomas
A Brief Overview of Artificial Intelligence in South Africa.
AI Magazine, 2012
Weydert, Emil
Conditional Ranking Revision
Journal of Philosophical Logic, o41, a237 — 271, 2012
Moodley, Kodylan; Meyer, Thomas; Varzinczak, Ivan José
A Protege Plug-in for Defeasible Reasoning.
Description Logics, 2012
2011
Darwiche, Adnan
SDD: A New Canonical Representation of Propositional Knowledge Bases
a1 — 8, 2011
Halpern, Joseph Y; Hitchcock, Christopher
Actual causation and the art of modeling
arXiv.org, ocs.AI, 2011
Kowalski, Robert; Sadri, Fariba
Abductive logic programming agents with destructive databases
Annals of Mathematics and Artificial Intelligence, o62, a129 — 158, 2011
Britz, Katarina; Meyer, Thomas; Varzinczak, Ivan
Preferential Reasoning for Modal Logics
Electronic Notes in Theoretical Computer Science, o278, a55 — 69, 2011
Baader, Franz; Peñaloza, Rafael
On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm.
FroCoS, o6989, a55 — 70, 2011
Britz, K; Meyer, T; Varzinczak, I; Varzinczak, I; Meyer, T
Semantic foundation for preferential description logics
2011
Klarman, Szymon; Gutiérrez-Basulto, Víctor
Two-Dimensional Description Logics of Context
Description Logics, 2011
Atif, Jamal; Hudelot, Céline; Bloch, Isabelle
Abduction in Description Logics using Formal Concept Analysis and Mathematical Morphology: Application to Image Interpretation.
CLA, a405 — 408, 2011
Booth, Richard; Meyer, Thomas Andreas; Varzinczak, Ivan José; Wassermann, Renata
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic.
Journal of Artificial Intelligence Research, a31 — 53, 2011
Sertkaya, Baris
A Survey on how Description Logic Ontologies Benefit from Formal Concept Analysis
arXiv, ocs.LO, 2011
Blobel, B
Ontologies, knowledge representation, artificial intelligence-hype or prerequisites for international pHealth Interoperability?
Studies in health technology and informatics, o165, a11, 2011
Claassen, George
Science and the media in South Africa: Reflecting a ‘dirty mirror’
Communicatio, o37, a351 — 366, 2011
Booth, Richard; Meyer, Thomas
How to Revise a Total Preorder
Journal of Philosophical Logic, o40, a193 — 238, 2011
Knorr, M; Alferes, J J; Hitzler, P
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence, 2011
Rens, G; Varzinczak, I; Meyer, T; Ferrein, A
A logic for reasoning about actions and explicit observations
Rens, G and Varzinczak, I and Meyer, T and and Ferrein, A, AI 2010: Advances in Artificial Intelligence, a395 — 404, 2011
Aaronson, S
Why Philosophers Should Care About Computational Complexity
Arxiv preprint arXiv:1108.1791, 2011
Zhuang, Z; Pagnucco, M
Two methods for constructing Horn contractions
AI 2010: Advances in Artificial Intelligence, a72 — 81, 2011
Sengupta, K; Krisnadhi, A; Hitzler, P
Local closed world semantics: Grounded circumscription for OWL
2011
Fermé, Eduardo; Hansson, S
AGM 25 Years: Twenty-Five Years of Research in Belief Change
Journal of Philosophical Logic, o40, a295 — 331, 2011
Bao, J; Basu, P; Dean, M; Partridge, C; Swami, A; Leland, W; Hendler, J A
Towards a theory of semantic communication
a110 — 117, 2011
Straccia, U; Casini, G
Defeasible Inheritance-Based Description Logics
Twenty-Second International Joint Conference on …, 2011
Giordano, Valentina Gliozzi Nicola Olivetti Gian Luca Pozzato Laura
Reasoning About Typicality in Low Complexity DLs: The Logics EL Tmin and DL-LitecTmin
a1 — 6, 2011
Bonatti, P A; Faella, M; Sauro, L
Defeasible Inclusions in Low-Complexity DLs
Journal of Artificial Intelligence Research, o42, a719 — 764, 2011
Britz, Arina; Meyer, Thomas; Varzinczak, Ivan José
Concept Model Semantics for DL Preferential Reasoning.
Description Logics, 2011
Liang, Fennie; 0001, Robert Stevens; Rector, Alan L
OntoVerbal-M – a Multilingual Verbaliser for SNOMED CT.
MSW, 2011
2010
Johnson-Laird, Philip N.
Mental models and human reasoning
Proceedings of the National Academy of Sciences, o107, a18243–18250, 2010
Calì, Andrea; Gottlob, Georg; Lukasiewicz, Thomas; Marnette, Bruno; Pieris, Andreas
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications
a228 — 242, 2010
Krötzsch, Markus; Rudolph, Sebastian; Schmitt, Peter H
On the Semantic Relationship between Datalog and Description Logics.
RR, o6333, a88 — 102, 2010
Grüne-Yanoff, Sven Ove Hansson Till
Preference Change: Approaches from philosophy, economics and psychology
a1 — 278, 2010
Ballan, Lamberto; Bertini, Marco; Bimbo, Alberto Del; 0001, Giuseppe Serra
Video Annotation and Retrieval Using Ontologies and Rule Learning.
IEEE Multim., o17, a80 — 88, 2010
Meyer, Thomas; Orgun, Mehmet A
INTRODUCTION: SPECIAL ISSUE ON KNOWLEDGE REPRESENTATION AND ONTOLOGY RESEARCH
Applied Artificial Intelligence, o24, a1 — 4, 2010
Nielsen, Michael A; Chuang, Isaac L
Quantum Computation and Quantum Information
Cambridge University Press, 2010
Kern-Isberner, Gabriele; Thimm, Matthias
Novel Semantical Approaches to Relational Probabilistic Conditionals.
KR, 2010
Booth, Richard; Chopra, Samir; Meyer, Thomas; Ghose, Aditya
Double preference relations for generalised belief change
Artificial Intelligence, o174, a1339 — 1368, 2010
Louis, A L
Unsupervised discovery of relations for analysis of textual data in digital forensics
2010
Moodley, Deshen
ONTOLOGY DRIVEN MULTI-AGENT SYSTEMS: AN ARCHITECTURE FOR SENSOR WEB APPLICATIONS
a1 — 249, 2010
Torre, Leendert W N van der
Deontic Redundancy – A Fundamental Challenge for Deontic Logic.
DEON, o6181, a11 — 32, 2010
Hezart, Armin; Nayak, Abhaya; Orgun, Mehmet A.
AI 2010: Advances in Artificial Intelligence, 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings
Proceedings of AI, a11–21, 2010
Magka, Despoina; Kazakov, Yevgeny; Horrocks, Ian
Tractable Extensions of the Description Logic EL with Numerical Datatypes.
Description Logics, 2010
Delgrande, James P; Wassermann, Renata
Horn Clause Contraction Functions: Belief Set and Belief Base Approaches
KR 2010, 2010
Motik, Boris; Rosati, Riccardo
Reconciling description logics and rules
Journal of the ACM (JACM, o57, a1 — 62, 2010
Giordano, L; Gliozzi, V; Olivetti, N; Pozzato, G L
Preferential vs Rational Description Logics: which one for Reasoning About Typicality
a1069 — 1070, 2010
Baader, F; Peñaloza, R
Axiom pinpointing in general tableaux
Journal of Logic and Computation, o20, a5, 2010
Baumann, R; Brewka, G; Strass, H; Thielscher, M; Zaslawski, V
State Defaults and Ramifications in the Unifying Action Calculus
a435 — 444, 2010
Spirtes, P
Introduction to causal inference
The Journal of Machine Learning Research, o11, a1643 — 1662, 2010
Calvanese, Diego; Keet, C. Maria; Nutt, Werner; Rodríguez-Muro, Mariano; Stefanoni, Giorgio
Web-based graphical querying of databases through an ontology: the Wonder system
a1388–1395, 2010
Bonatti, Piero A; Faella, Marco; Sauro, Luigi
EL\textbackslash mathcal\textbackslash EL\textbackslash with Default Attributes and Overriding.
International Semantic Web Conference, 2010
Zhuang, Z; Pagnucco, M
Horn contraction via epistemic entrenchment
Logics in Artificial Intelligence, a339 — 351, 2010
Kwok, R B H
Phylogeny, genealogy and the Linnaean hierarchy: a logical analysis
Journal of mathematical biology, a1 — 36, 2010
Soldatova, L N; Lord, P; Sansone, S A; Stephens, S M; Shah, N H
Selected papers from the 12th annual Bio-Ontologies meeting
Journal of Biomedical Semantics, o1, aI1, 2010
Booth, Richard; Meyer, Thomas
Equilibria in social belief removal
Synthese, o177, a97 — 123, 2010
Rens, G B
A belief-desire-intension architechture with a logic-based planner for agents in stochastic domains
2010
2009
Calì, Andrea; Gottlob, Georg; Lukasiewicz, Thomas
A general datalog-based framework for tractable query answering over ontologies.
PODS, a77, 2009
Hansson, Sven-Ove
Multiple and iterated contraction reduced to single-step single-sentence contraction
Synthese, o173, a153 — 177, 2009
Grau, Bernardo Cuenca; Horrocks, Ian; Kazakov, Yevgeny; Sattler, Ulrike
Extracting Modules from Ontologies – A Logic-Based Approach.
Modular Ontologies, o5445, a159 — 186, 2009
Lutz, Carsten; Toman, David; Wolter, Frank
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System.
IJCAI, 2009
Bonatti, Piero A; Faella, Marco; Sauro, Luigi
Defeasible Inclusions in Low-Complexity DLs – Preliminary Notes.
IJCAI, 2009
Baader, Franz; 0002, Andreas Bauer; 0001, Peter Baumgartner; Cregan, Anne; Gabaldon, Alfredo; Ji, Krystian; Lee, Kevin; Rajaratnam, David; Schwitter, Rolf
A Novel Architecture for Situation Awareness Systems.
TABLEAUX, o5607, a77 — 92, 2009
Phadtare, Amruta; Bahmani, Anu; Shah, Anand; Pietrobon, Ricardo
Scientific writing: a randomized controlled trial comparing standard and on-line instruction
BMC Medical Education, o9, a27, 2009
Baader, F; Knechtel, M; Peñaloza, R; Penaloza, R; Baader, F
A generic approach for large-scale ontological reasoning in the presence of access restrictions to the ontologys axioms
a49 — 64, 2009
Batsakis, Sotiris; Petrakis, Euripides G M
temporal representation and reasoning in owl 2 0
o1, 2009
Dao-Tran, Minh; Eiter, Thomas; Krennwallner, Thomas
Realizing default logic over description logic knowledge bases
a602 — 613, 2009
Baltag, Alexandru; Smets, Sonja
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades
a41, 2009
Giordano, Laura; Olivetti, Nicola; Gliozzic, Valentina; Pozzato, Gian Luca
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae, 2009
Drescher, C; Liu, H; Baader, F; Guhlemann, S; Petersohn, U; Steinke, P; Thielscher, M
Putting abox updates into action
Frontiers of Combining Systems, a214 — 229, 2009
Sebastiani, R; Vescovi, M
Automated reasoning in modal and description logics via SAT encoding: the case study of Km/ALC-satisfiability
Journal of Artificial Intelligence Research, o35, a1, 2009
Zhou, L
Dealing with Inconsistencies in DL-Lite Ontologies
The Semantic Web: Research and Applications, a954 — 958, 2009
vremen, P K; Kouba, Z
Incremental Approach to Error Explanations in Ontologies
Networked Knowledge-Networked Media, a171 — 185, 2009
Bonatti, P A; Lutz, C; Wolter, F
The complexity of circumscription in description logic
Journal of Artificial Intelligence Research, o35, a717, 2009
Jiang, Y; Wang, J; Tang, S; Xiao, B
Reasoning with rough description logics: An approximate concepts approach
Information Sciences, o179, a600 — 612, 2009
Konev, Boris; Lutz, Carsten; 0002, Dirk Walther; Wolter, Frank
Formal Properties of Modularisation.
Modular Ontologies, o5445, a25 — 66, 2009
Motik, B; Cuenca-Grau, B; Horrocks, I; Sattler, U
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence, o173, a1275 — 1309, 2009
Booth, R; Meyer, T; Varzinczak, I J
Next steps in propositional Horn contraction
a702 — 707, 2009
Giacomo, G De; Lenzerini, M; Poggi, A; Rosati, R
On instance-level update and erasure in description logic ontologies
Journal of Logic and Computation, o19, a745, 2009
Jiménez-Ruiz, Ernesto; Grau, Bernardo Cuenca; Horrocks, Ian; Llavori, Rafael Berlanga
Building Ontologies Collaboratively Using ContentCVS
Description Logics, 2009
2008
Lutz, Carsten; Wolter, Frank; Zakharyashev, Michael
Temporal Description Logics: A Survey
2008 15th International Symposium on Temporal Representation and Reasoning, a3–14, 2008
Booth, R; Nittka, A
Reconstructing an Agent’s Epistemic State from Observations about its Beliefs and Non-beliefs
Journal of Logic and Computation, o18, a755–782, 2008
Zhang, Yan; Ding, Yulin
CTL Model Update for System Modifications.
Journal of Artificial Intelligence Research, o31, a113 — 155, 2008
Fouché, Willem; Heidema, Johannes; Jones, Glyn; Potgieter, Petrus H
Universality and programmability of quantum computers
Theoretical Computer Science, o403, a121 — 129, 2008
Flouris, Giorgos; Manakanatas, Dimitris; Kondylakis, Haridimos; Plexousakis, Dimitris; Antoniou, Grigoris
Ontology change – classification and survey.
Knowledge Eng. Review, 2008
Matthew, Horridge; Parsia, Bijan; Sattler, Ulrike
Laconic and Precise Justifications in OWL.
International Semantic Web Conference, o5318, a323 — 338, 2008
Chopra, Samir; Ghose, Aditya; Meyer, Thomas; Wong, Ka-Shu
Iterated Belief Change and the Recovery Axiom
Journal of Philosophical Logic, o37, a501 — 520, 2008
Baader, Franz; Lutz, Carsten; 0001, Sebastian Brandt
Pushing the EL Envelope Further.
OWLED, 2008
Walsh, T; Cohen, D; Rossi, F; Jeavons, P; Beek, P Van
The Complexity of Constraint Languages
2008
Baader, F; Horrocks, I; Sattler, U
Handbook of knowledge representation
by Frank van Harmelen, 2008
Schorlemmer, M; Kalfoglou, Y
Institutionalising ontology-based semantic integration
Applied Ontology, 2008
Rothmann, S; Barkhuizen, N
Burnout of academic staff in South African higher education institutions
… Journal of Higher Education, 2008
Ke, P; Sattler, U
Next Steps for Description Logics of Minimal Knowledge and Negation as Failure.
Description Logics, 2008
Rudolph, Sebastian; Krötzsch, Markus; Hitzler, Pascal
Cheap Boolean Role Constructors for Description Logics
2008
Eiter, Thomas; Ianni, Giovambattista; Lukasiewicz, Thomas; Schindlauer, Roman; Tompits, Hans
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence, o172, a1495 — 1539, 2008
Ongenae, F; Verstichel, S; Turck, F De; Dhaene, T; Dhoedt, B; Demeester, P
OTAGen: A Tunable Ontology Generator for Benchmarking Ontology-Based Agent Collaboration
Computer Software and Applications, 2008. COMPSAC ’08. 32nd Annual IEEE International, a529 — 530, 2008
Poggi, A; Lembo, D; Calvanese, D; Giacomo, G De; Lenzerini, M; Rosati, R
Linking data to ontologies
a133 — 173, 2008
Konev, B; Lutz, C; Walther, D; Wolter, F
Semantic modularity and module extraction in description logics
a55 — 59, 2008
Lukasiewicz, Thomas
Expressive probabilistic description logics
Artificial Intelligence, o172, a852 — 883, 2008
Casini, G
Connections between default-assumption and preferential approaches to defeasible reasoning
2008
Konev, B; Walther, D; Wolter, F
The logical difference problem for description logic terminologies
Automated Reasoning, a259 — 274, 2008
Laleci, G B; Dogac, A; Olduz, M; Tasyurt, I; Yuksel, M; Okcan, A
SAPHIRE: a multi-agent system for remote healthcare monitoring through computerized clinical guidelines
Agent technology and e-health, a25 — 44, 2008
Samuel, K; Obrst, L; Stoutenberg, S; Fox, K; Franklin, P; Johnson, A; Laskey, K; Nichols, D; Lopez, S; Peterson, J
Translating owl and semantic web rules into prolog: Moving toward description logic programs
Theory and Practice of Logic Programming, o8, a301 — 322, 2008
Rector, A; Stevens, R; Drummond, N
What causes Pneumonia? The Case for a Standard Semantics for may in OWL
2008
Schreiber, G; Amin, A; Aroyo, L; Assem, M van; Boer, V de; Hardman, L; Hildebrand, M; Omelayenko, B; Osenbruggen, J van; Tordai, A
Semantic annotation and search of cultural-heritage collections: The MultimediaN E-Culture demonstrator
Web Semantics: Science, Services and Agents on the World Wide Web, o6, a243 — 249, 2008
Suntisrivaraporn, B; Qi, G; Ji, Q; Haase, P
A modularization-based approach to finding all justifications for OWL DL entailments
The Semantic Web, a1 — 15, 2008
Hendler, James; Cimiano, Philipp; Dolgov, Dmitri; Levin, Anat; Mika, Peter; Milch, Brian; Morency, Louis-Philippe; Motik, Boris; Neville, Jennifer; Sudderth, Erik B.; Ahn, Luis von
AI’s 10 to Watch
IEEE Intelligent Systems, o23, a9–19, 2008
Pokrywczynski, Daniel; 0003, Dirk Walther
Deciding the logical difference problem for EL with role inclusions.
WoMO, 2008
Du, J; Qi, G; Shen, Y D
Lexicographical inference over inconsistent DL-based ontologies
Web Reasoning and Rule Systems, a58 — 73, 2008
2007
Hawthorne, James; Makinson, David
The Quantitative/Qualitative Watershed for Rules of Uncertain Inference
Studia Logica, o86, a247–297, 2007
Krötzsch, Markus; Rudolph, Sebastian
Conjunctive Queries for EL with Composition of Roles.
Description Logics, 2007
Herzig, Andreas; Varzinczak, Ivan
Metatheory of actions: Beyond consistency
Artificial Intelligence, o171, a951 — 984, 2007
Bonanno, Giacomo
Axiomatic characterization of the AGM theory of belief revision in a temporal logic
Artificial Intelligence, o171, a144 — 160, 2007
Plessers, Peter; Troyer, Olga De; Casteleyn, Sven
Understanding ontology evolution: A change detection approach
Web Semantics: Science, Services and Agents on the World Wide Web, o5, a39 — 49, 2007
Ceusters, Werner; Smith, Barry; Flanagan, Jim
Ontology and Medical Terminology: Why Description Logics Are Not Enough
a1 — 10, 2007
Halpern, J Y; Rêgo, L C
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
Journal of Logic and Computation, o17, a795 — 806, 2007
Calvanese, Diego; Giacomo, Giuseppe De; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo
Tractable Reasoning and Efficient Query Answering in Description Logics – The DL-Lite Family.
J. Autom. Reasoning, o39, a385 — 429, 2007
Grau, Bernardo Cuenca; Horrocks, Ian; Kazakov, Yevgeny; Sattler, Ulrike
A Logical Framework for Modularity of Ontologies.
IJCAI, 2007
Artale, Alessandro; Parent, Christine; Spaccapietra, Stefano
Evolving objects in temporal information systems
a118, 2007
Artale, Alessandro; Parent, Christine; Spaccapietra, Stefano
Evolving objects in temporal information systems
a118, 2007
Schulz, S; Suntisrivaraporn, B; Baader, F; Schulz, S; Baader, F
SNOMED CT’s problem list: ontologists’ and logicians’ therapy suggestions
o129, a802, 2007
Fuxman, Ariel; Miller, Renee J
First-order query rewriting for inconsistent databases.
J. Comput. Syst. Sci., o73, a610 — 635, 2007
Benthem, J Van
Dynamic logic for belief revision
Journal of Applied Non-Classical Logics, o17, a129 — 155, 2007
Giacomo, Giuseppe De; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo
On the approximation of instance level update and erasure in description logics
2007
Goré, R; Nguyen, L A
Optimised EXPTIME tableaux for ALC using sound global caching, propagation and cutoffs
Manuscript, 2007
Lutz, C; Wolterinst, F
Conservative Extensions in the Lightweight Description Logic ELbackslash mathcal EL
Automated Deduction–CADE-21, a84 — 99, 2007
Dragone, Luigi; Rosati, Riccardo
Checking e-service consistency using Description Logics.
IEEE SCC, a162 — 169, 2007
Baader, F; Ganter, B; Sertkaya, B; Sattler, U
Completing description logic knowledge bases using formal concept analysis
a230 — 235, 2007
Suntisrivaraporn, B; Baader, F; Schulz, S; Spackman, K
Replacing SEP-triplets in SNOMED CT using tractable description logic operators
Artificial Intelligence in Medicine, a287 — 291, 2007
Sheremet, M; Tishkovsky, D; Wolter, F; Zakharyaschev, M
A logic for concepts and similarity
Journal of Logic and Computation, o17, a415, 2007
Espinosa, S; Kaya, A; Melzer, S; Möller, R; Wessel, M
Multimedia interpretation as abduction
2007
Giordano, L; Gliozzi, V; Olivetti, N; Pozzato, G
Preferential description logics
a257 — 272, 2007
Perrussel, L; Doutre, S; Thévenin, J M; McBurney, P
A persuasion dialog for gaining access to information
a63 — 79, 2007
Hawthorne, J; Makinson, D
The quantitative/qualitative watershed for rules of uncertain inference
Studia Logica, o86, a247 — 297, 2007
Dolby, J; Fokoue, A; Kalyanpur, A; Kershenbaum, A; Schonberg, E; Srinivas, K; Ma, L
Scalable semantic retrieval through summarization and refinement
o22, a299, 2007
Jupp, S; Moulton, G; Rector, A; Stevens, R; Wroe, C
A practical guide to building owl ontologies using protégé 4 and co-ode tools
The University Of Manchester, 2007
Hearst, M A; Divoli, A; Guturu, H; Ksikes, A; Nakov, P; Wooldridge, M A; Ye, J
BioText Search Engine: beyond abstract search
Bioinformatics, o23, a2196, 2007
Britz, K; Heidema, J; Labuschagne, W; Computer, Science, University of Otago Dept of
Entailment, duality, and the forms of reasoning
Citeseer, 2007
Prendini, L; Miller, J; Griswold, C E; Hormiga, G; Sierwald, P; SCHARFF, N; BENJAMIN, S P; WHEELER, W C
Linking of Digital Images to Phylogenetic Data Matrices Using a Morphological Ontology
Page, Rod, Syst. Biol, o56, a283 — 294, 2007
Qi, Guilin; Hunter, Anthony
Measuring Incoherence in Description Logic-Based Ontologies.
ISWC/ASWC, o4825, a381 — 394, 2007
Lembo, D; Ruzzi, M
Consistent query answering over description logic ontologies
a194 — 208, 2007
Cuenca, G B; Horrocks, I; Kazakov, Y; Sattler, U
Just the right amount: extracting modules from ontologies
a717 — 726, 2007
Noia, T Di; Sciascio, E Di; Donini, F M
Semantic matchmaking as non-monotonic reasoning: A description logic approach
Journal of Artificial Intelligence Research, o29, a269 — 307, 2007
Calvanese, D; Grau, B C; Franconi, E; Horrocks, I; Kaplunova, A; Lutz, C; Möller, R; Sertkaya, B; Tessaris, S; Turhan, A Y
Software Tools for Ontology Design and Maintenance
2007
2006
Pearce, David
Equilibrium logic
Annals of Mathematics and Artificial Intelligence, o47, a3, 2006
Patel-Schneider, Peter F; Horrocks, Ian
Position paper – a comparison of two modelling paradigms in the Semantic Web.
WWW, 2006
Smith, Chris; McGuire, Brian; Huang, Ting; Yang, Gary
The History of Artificial Intelligence
a1 — 27, 2006
Krötzsch, Markus; Rudolph, Sebastian; Hitzler, Pascal
On the Complexity of Horn Description Logics.
OWLED, 2006
Booth, Richard; Meyer, Thomas Andreas
Admissible and Restrained Revision.
Journal of Artificial Intelligence Research, 2006
Turing, Alan
On computable numbers, with an application to the Entscheidungsproblem
a1 — 36, 2006
Fokoue, Achille; Kershenbaum, Aaron; 0002, Li Ma; Schonberg, Edith; Srinivas, Kavitha
The Summary Abox – Cutting Ontologies Down to Size.
International Semantic Web Conference, o4273, a343 — 356, 2006
Bonatti, Piero A; Lutz, Carsten; Wolter, Frank
Description Logics with Circumscription
KR, 2006
Fokoue, A; Kershenbaum, A; Ma, L; Schonberg, E; Srinivas, K
The summary abox: Cutting ontologies down to size
The Semantic Web-ISWC 2006, a343 — 356, 2006
Fokoue, A; Kershenbaum, A; Ma, L; Schonberg, E; Srinivas, K
The summary abox: Cutting ontologies down to size
The Semantic Web-ISWC 2006, a343 — 356, 2006
Calvanese, D; Giacomo, G De; Lembo, D; Lenzerini, M; Poggi, A; Rosati, R
Linking data to ontologies: The description logic DL-LiteA
2006
Falappa, M A; Fermé, E L; Kem-Isberner, G
On the logic of theory change: Relations between incision and selection functions
o141, a402, 2006
Sirin, E; Parsia, B
Optimizations for answering conjunctive abox queries: First results
a215, 2006
Qi, Guilin; Liu, Weiru; Bell, David A
A revision-based approach to handling inconsistency in description logics.
Artif. Intell. Rev., 2006
Qi, G; Liu, W; Bell, D
Knowledge base revision in description logics
Logics in Artificial Intelligence, a386 — 398, 2006
Meyer, T; Lee, K; Booth, R; Pan, J Z
Finding maximally satisfiable terminologies for the description logic ALC
o21, a269, 2006
Kalyanpur, A; Parsia, B; Sirin, E; Cuenca-Grau, B
Repairing unsatisfiable concepts in owl ontologies
The Semantic Web: Research and Applications, a170 — 184, 2006
2005
Haig, Brian D
An Abductive Theory of Scientific Method.
Psychological Methods, o10, a371 — 388, 2005
Nayak, Abhaya C; Goebel, Randy; Orgun, Mehmet A; Pham, Tam
Iterated Belief Change and the Levi Identity.
Belief Change in Rational Agents, 2005
Delgrande, James P; Nayak, Abhaya C; Pagnucco, Maurice
Gricean Belief Change
Studia Logica, o79, a97 — 113, 2005
Flouris, Giorgos; Plexousakis, Dimitris; Antoniou, Grigoris
On Applying the AGM Theory to DLs and OWL.
International Semantic Web Conference, o3729, a216 — 231, 2005
Meyer, Thomas Andreas; Lee, Kevin; Booth, Richard
Knowledge Integration for Description Logics.
AAAI, 2005
Lutz, Carsten; Sattler, Ulrike; Tendera, Lidia
The complexity of finite model reasoning in description logics
Information and Computation, o199, a132 — 171, 2005
Chan, Hei; Darwiche, Adnan
On the revision of probabilistic beliefs using uncertain evidence.
Artif. Intell., 2005
Halpern, Joseph Y; Pearl, Judea
Causes and Explanations: A Structural-Model Approach. Part I: Causes
The British Journal for the Philosophy of Science, o56, a843–887, 2005
Ruttkamp, E
Overdetermination of Theories by Empirical Models: A Realist Interpretation of Empirical Choices
Poznan Studies in the Philosophy of the Sciences …, 2005
Konieczny, S; Lang, J; Marquis, P
Reasoning under inconsistency: the forgotten connective
19th International Joint Conference on Artificial Intelligence (IJCAI-2005), 2005
Jaiswal, Pankaj; Avraham, Shulamit; Ilic, Katica; Kellogg, Elizabeth A; McCouch, Susan; Pujar, Anuradha; Reiser, Leonore; Rhee, Seung Y; Sachs, Martin M; Schaeffer, Mary; Stein, Lincoln; Stevens, Peter; Vincent, Leszek; Ware, Doreen; Zapata, Felipe
Plant Ontology (PO): a Controlled Vocabulary of Plant Structures and Growth Stages.
Comp Funct Genomics, o6, a388 — 397, 2005
Schlobach, S
Debugging and semantic clarification by pinpointing
The Semantic Web: Research and Applications, a226 — 240, 2005
Baader, F; Brandt, S; Lutz, C
Pushing the EL envelope
Institute for Theoretical Computer Science, Dresden University of Technology, Germany, a37, 2005
Kalyanpur, A; Parsia, B; Sirin, E; Hendler, J
Debugging unsatisfiable classes in OWL ontologies
Web Semantics: Science, Services and Agents on the World Wide Web, o3, a268 — 293, 2005
Berardi, D; Calvanese, D; Giacomo, G De
Reasoning on UML class diagrams
Artificial Intelligence, o168, a70 — 118, 2005
Amir, E; McIlraith, S
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence, o162, a49 — 88, 2005
Trißl, Silke; Leser, Ulf
Data Integration in the Life Sciences, Second International Workshop, DILS 2005, San Diego, CA, USA, July 20-22, 2005. Proceedings
a63–79, 2005
Suntisrivaraporn, B
Optimization and implementation of subsumption algorithms for the description logic EL with cyclic TBoxes and general concept inclusion axioms
2005
Baader, Franz; Lutz, Carsten; Milicic, Maja; Sattler, Ulrike; Wolter, Frank
Integrating Description Logics and Action Formalisms – First Results.
AAAI, 2005
2004
Lee, Kevin; Meyer, Thomas
AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004. Proceedings
Lecture Notes in Computer Science, a248–258, 2004
Brandt, Sebastian
Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and – What Else?
ECAI, 2004
Benferhat, Salem; Kaci, Souhila; Berre, Daniel Le; Williams, Mary-Anne
Weakening conflicting information for iterated revision and knowledge integration
Artificial Intelligence, o153, a339 — 371, 2004
Elio, Renee; Pelletier, Francis Jeffry
Human Benchmarks on AI’s Benchmark Problems
a1 — 7, 2004
Horrocks, Ian; Patel-Schneider, Peter
Reducing OWL entailment to description logic satisfiability
Web Semantics: Science, Services and Agents on the World Wide Web, o1, a345 — 357, 2004
Audet, Charles; Brimberg, Jack; Hansen, Pierre; Digabel, Sébastien Le; Mladenovic, Nenad
Pooling Problem – Alternate Formulations and Solution Methods.
Management Science, o50, a761 — 776, 2004
Cadoli, M; Calvanese, D; Giacomo, G De
Towards Implementing Finite Model Reasoning in Description Logics
a83, 2004
Bard, Jonathan B L; Rhee, Seung Y
Ontologies in biology: design, applications and future challenges.
Nat Rev Genet, o5, a213 — 222, 2004
2003
Weydert, Emil
System JLZ – rational default reasoning by minimal ranking constructions
Journal of Applied Logic, o1, a273–308, 2003
Boury-Brisset, Anne-Claire
Ontological Approach to Military Knowledge Modeling and Management
a1 — 10, 2003
2003
Lang, Jérôme; Lin, Fangzhen; Marquis, Pierre
Causal Theories of Action – A Computational Core.
IJCAI, 2003
Weydert, E
System JLZ-rational default reasoning byáminimaláranking constructions
Journal of Applied Logic, o1, a273 — 308, 2003
2002
Moinard, Yves
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments
arXiv, 2002
Neves, Rui Da Silva; Bonnefon, Jean-François; Raufaste, Eric
An Empirical Test of Patterns for Nonmonotonic Inference
Annals of Mathematics and Artificial Intelligence, o34, a107–130, 2002
Chopra, Samir; Ghose, Aditya; Meyer, Thomas
Iterated revision and the axiom of recovery: a unified treatment via epistemic states
arXiv.org, ocs.AI, 2002
Darwiche, Adnan; Marquis, Pierre
A Knowledge Compilation Map.
Journal of Artificial Intelligence Research, 2002
Donini, Francesco M; Nardi, Daniele; Rosati, Riccardo
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL), o3, a177 — 225, 2002
Giordano, L; Gliozzi, V; Olivetti, N
Iterated belief revision and conditional logic
Studia Logica, o70, a23 — 47, 2002
2001
Halpern, Joseph Y.; Harper, Robert; Immerman, Neil; Kolaitis, Phokion G.; Vardi, Moshe Y.; Vianu, Victor
On the Unusual Effectiveness of Logic in Computer Science
Bulletin of Symbolic Logic, o7, a213–236, 2001
Meyer, T; Ghose, A; and, S Chopra European Conference on Symbolic; 2001
Social choice, merging, and elections
Springer, o2143, a466 — 477, 2001
Rott, Hans
Change, Choice and Inference_ A Study of Belief Revision and Nonmonotonic Reasoning
a1 — 397, 2001
Bochman, A
Contraction of Epistemic States: A General Theory
o22, a195 — 220, Springer Netherlands, 2001
Pearl, J
Bayesianism and Causality, or, Why I am only a Half-Bayesian
Foundations of Bayesianism, o24, a19 — 34, 2001
Friedman, N; Halpern, J Y
Plausibility measures and default reasoning
Journal of the ACM, o48, a648 — 685, 2001
Hansson, S O; Fermé, E L; Cantwell, J; Falappa, M A
Credibility limited revision
Journal of Symbolic Logic, a1581 — 1596, 2001
Calvanese, D; Castano, S; Guerra, F; Lembo, D; Melchiori, M; Terracina, G; Ursino, D; Vincini, M
Towards a comprehensive methodological framework for semantic integration of heterogeneous data sources
o185, 2001
2000
Meyer, Thomas Andreas; Labuschagne, Willem Adrian; Heidema, Johannes
Infobase Change: A First Approximation
Journal of Logic, Language and Information, o9, a353–377, 2000
Darwiche, Adnan
On the tractable counting of theory models and its application to belief revision and truth maintenance
arXiv, 2000
Kern-Isberner, Gabriele; Sezgin, Meliha; Beierle, Christoph
A Kinematics Principle For Iterated Revision
Artificial Intelligence Journal, 2000
0001, Jin Tian; Pearl, Judea
Probabilities of causation – Bounds and identification.
Ann. Math. Artif. Intell., o28, a287 — 313, 2000
Delgrande, James P.; Schaub, Torsten
Expressing preferences in default logic
Artificial Intelligence, o123, a41–87, 2000
Arieli, O; Avron, A
General patterns for nonmonotonic reasoning: From basic entailments to plausible relations
Logic Journal of IGPL, o8, a119, 2000
1999
Billington, David; Antoniou, Grigoris; Governatori, Guido; Maher, Michael J
Revising Nonmonotonic Theories – The Case of Defeasible Logic.
KI, 1999
Hustadt, U; Schmidt, R A
On the relation of resolution and tableaux proof systems for description logics
o16, a110 — 117, 1999
1998
GRAHNE, GÖSTA
Updates and Counterfactuals
Journal of Logic and Computation, o8, a87–117, 1998
Booth, R.; Paris, J.B.
A Note on the Rational Closure of Knowledge Bases with Both Positive and Negative Knowledge
Journal of Logic, Language and Information, o7, a165–190, 1998
Martin, Eric; Osherson, Daniel
Belief revision in the service of scientific discovery
a1 — 12, 1998
Hansson, Sven-Ove; Rott, Hans
A Plea for Accuracy
Journal of Applied Non-Classical Logics, o8, a221 — 224, 1998
Freund, Michael
Preferential Reasoning in the Perspective of Poole Default Logic.
Artif. Intell., 1998
Lehmann, D
Stereotypical reasoning: logical properties
Logic Journal of IGPL, o6, a49 — 58, 1998
Booth, R; Paris, Jeff B
A Note on the Rational Closure of Knowledge Bases with Both Positive and Negative Knowledge.
Journal of Logic, Language and Information, 1998
Boutilier, Craig
A Unified Model of Qualitative Belief Change: A Dynamical Systems Perspective.
Artif. Intell., o98, a281 — 316, 1998
Hansson, Sven-Ove; Rott, Hans
Beyond Recovery? a Reply to Tennant
Erkenntnis, o49, a387–392, 1998
Schulz, S; Romacker, M; Hahn, U
Part-whole reasoning in medical ontologies revisited–introducing SEP triplets into classification-based description logics.
a830, 1998
Nguyen, S.; Pretolani, D.; Markenzon, L.
On some path problems on oriented hypergraphs
RAIRO – Theoretical Informatics and Applications, o32, a1–20, 1998
1997
Fujita, M.; McGeer, P.C.; Yang, J.C.-Y.
Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation
Formal Methods in System Design, o10, a149–169, 1997
Benferhat, Salem; Dubois, Didier; Prade, Henri
Nonmonotonic reasoning, conditional objects and possibility theory
Artificial Intelligence, o92, a259–276, 1997
Brafman, R
A first-order conditional logic with qualitative statistical semantics
Journal of Logic and Computation, o7, a777–803, 1997
Delgrande, James P; Schaub, Torsten
Compiling Specificity Into Approaches to Nonmonotonic Reasoning
Artif. Intell., o90, a301 — 348, 1997
Delgrande, James P; Schaub, Torsten
Compiling Reasoning with and about Preferences into Default Logic
IJCAI, 1997
Darwiche, Adnan; Pearl, Judea
On the Logic of Iterated Belief Revision.
Artif. Intell., o89, a1 — 29, 1997
Dubois, Didier; Prade, Henri
Focusing vs. Belief Revision – A Fundamental Distinction When Dealing with Generic Knowledge.
ECSQARU-FAPR, o1244, 1997
Koller, D; Levy, A; Pfeffer, A
P-CLASSIC: a tractable probablistic description logic
AAAI/IAAI, 1997
Bezzazi, Hassan; Makinson, David; Pérez, Ramón Pino
Beyond Rational Monotony: Some Strong Non-Horn Rules for Nonmonotonic Inference Relations.
J. Log. Comput. (), o7, a605 — 631, 1997
1996
Peppas, Pavlos; Nayak, Abhaya; Pagnucco, Maurice; Foo, Norman; Kwok, Rex; Prokopenko, Mikhail
Revision vs. Update: Taking a Closer Look
ECAI 1996, 1996
Clarke, Edmund M.; Fujita, Masahiro; Zhao, Xudong
Representations of Discrete Functions
a93–108, 1996
Boutilier, Craig
Iterated revision and minimal change of conditional beliefs.
J. Philosophical Logic, 1996
Boutilier, Craig
Iterated revision and minimal change of conditional beliefs.
J. Philosophical Logic, 1996
1995
Baader, Franz; Hollunder, Bernhard
Embedding Defaults into Terminological Knowledge Representation Formalisms.
J. Autom. Reasoning, 1995
Peppas, P; Williams, M A
Constructive modelings for theory change
Notre Dame Journal of Formal Logic, o36, a120 — 133, 1995
Lehmann, Daniel
Another perspective on default reasoning
Annals of Mathematics and Artificial Intelligence, o15, a61–82, 1995
1994
Delgrande, James P; Schaub, Torsten; Jackson, W Ken
Alternative Approaches to Default Logic.
Artif. Intell., o70, a167 — 237, 1994
Delgrande, James P; Schaub, Torsten
A General Approach to Specificity in Default Reasoning.
KR, 1994
Heinsohn, Jochen
Probabilistic Description Logics
Uncertainty in Artificial Intelligence, 1994
Hansson, Hans; Jonsson, Bengt
A Logic for Reasoning about Time and Reliability.
Formal Asp. Comput., 1994
Gardenfors, Peter; Makinson, David
Nonmonotonic Inference Based on Expectations.
Artif. Intell., o65, a197 — 245, 1994
Boutilier, Craig
Conditional logics of normality: A modal approach
Artificial Intelligence, o68, a87–154, 1994
1993
Chen, Cheng Chia; Lin, I Peng
The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic
Information Processing Letters, o45, a131 — 136, 1993
1992
Geffner, Hector; Pearl, Judea
Conditional Entailment – Bridging two Approaches to Default Reasoning.
Artif. Intell., o53, a209 — 244, 1992
Lehmann, Daniel; Magidor, Menachem
What does a conditional knowledge base entail?
Artificial Intelligence, o55, a1–60, 1992
1991
Dubois, Didier; Prade, Henri
Epistemic Entrenchment and Possibilistic Logic
Artif. Intell., o50, a223 — 239, 1991
Mendelzon, Alberto O
On the Difference Between Updating a Knowledge Base and Revising it
o2, a387, 1991
Katsuno, Hirofumi; Mendelzon, Alberto O
Propositional knowledge base revision and minimal change
Artificial Intelligence, o52, a263 — 294, 1991
1990
Makinson, David
The Gärdenfors impossibility theorem in non-monotonic contexts
Studia Logica, o49, a1–6, 1990
Turing, Alan M
Computing Machinery and Intelligence.
The Philosophy of Artificial Intelligence, 1990
Pearl, Judea
System Z – A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning.
TARK, 1990
Kraus, S; Lehmann, D; Magidor, M
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence, o44, a167 — 207, 1990
1989
Ceri, Stefano; Gottlob, Georg; Tanca, Letizia
What you Always Wanted to Know About Datalog (And Never Dared to Ask).
IEEE Trans. Knowl. Data Eng., o1, a146 — 166, 1989
1987
intelligence, R Reiter Artificial; 1987
A theory of diagnosis from first principles
Elsevier, o32, a57 — 95, 1987
1986
Bryant, R.E.
Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers, oC-35, a677–691, 1986
Plaisted, D A; Greenbaum, S
A structure-preserving clause form translation
Journal of Symbolic Computation, o2, a293 — 304, 1986
1984
Dowling, W F; Gallier, J H
Linear-time algorithms for testing the satisfiability of propositional Horn formulae
The Journal of Logic Programming, o1, a267 — 284, 1984
1980
1965
Tarski, Alfred
A Decision Method for Elementary Algebra and Geometry. Prepared for Publication with the Assistance of J.C.C. McKinsey
1965
1956
1922
Halaschek-Wiener, C; Golbeck, J; Parsia, B; Kolovski, V; Hendler, J
Image browsing and natural language paraphrases of semantic web annotations
1922
Unknown
Delgrande, James P.; Glimm, Birte; Meyer, Thomas; Truszczynski, Miroslaw; Wolter, Frank
Current and Future Challenges in Knowledge Representation and Reasoning
Unknown
Fogwill, Thomas; Alberts, Ronell; Keet, Catharina Maria
The Potential for Use of Semantic Web Technologies in IK Management Systems
Unknown
Dagada, Rabelani
Digital Commerce in the era of fourth industrial revolution in South Africa
Unknown
a1 — 21, Unknown
Ghilardi, S; Lutz, C; Wolter, F; Zakharyaschev, M
Conservative extensions in modal logic
Advances in Modal Logics, o6, a187 — 207, Unknown
Dawes, R M; Faust, D; Science, PE Meehl; 1989
Clinical versus actuarial judgment
science.sciencemag.org, Unknown
Sattler, U; Description, T Schneider; 2009
Which kind of module should I extract?
informatik.uni-bremen.de, Unknown
Cinelli, C; Forney, A; 3689437, J Pearl Available at SSRN; 2020
A Crash Course in Good and Bad Controls
cs.ucla.edu, Unknown
Kotis, Konstantinos; Katasonov, Artem
An ontology for the automated deployment of applications in heterogeneous IoT environments
Unknown
2008.07371, JM Bishop arXiv preprint arXiv; 2020
Artificial Intelligence is stupid and causal reasoning won’t fix it
arxiv.org, Unknown
ACM, P Marks Communications of the; 2021
Can the biases in facial recognition be fixed; also, should they?
dl.acm.org, Unknown
Blanchet, Thomas; Chancel, Lucas; Gethin, Amory
Why is Europe More Equal than the United States?
Unknown
Casini, G; Programming, U Straccia International Conference on Logic for; 2013
Towards rational closure for fuzzy logic: The case of propositional Gödel logic
Springer, Unknown
Choi, YooJung; Vergari, Antonio; Broeck, Guy Van den
Probabilistic Circuits: A Unifying Framework for Tractable Probabilistic Models
Unknown
1801.05667, G Marcus arXiv preprint arXiv; 2018
Innateness, AlphaZero, and Artificial Intelligence
arxiv.org, Unknown
Changsheng, H; Baader, P F
NON-STANDARD INFERENCE FOR EXPLAINING SUBSUMPTION IN THE DESCRIPTION LOGIC EL WITH GENERAL CONCEPT INCLUSIONS AND COMPLEX ROLE INCLUSIONS
Unknown
Darwiche, Adnan; Marquis, Pierre
On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI
JAIR, Unknown
a1 — 25, Unknown
BOTHA, L; Meyer, T; Logic, R PEÑALOZA Theory; Practice of
The Probabilistic Description Logic
cambridge.org, Unknown
Oldenburg, Ninell Eva Maria
MAKING LEARNING VISIBLE: Symbolic Bayesian Norm Inference in Complex Multi-Agent Environments
Unknown
a1 — 3, Unknown
Unknown
Coetzer, Simone; Britz, Katarina
Debugging Classical Ontologies Using Defeasible Reasoning Tools
Unknown
a1 — 2, Unknown
Baggio, G; Cognitive, M van Lambalgen Topics in; 2015
Logic as Marr’s computational level: Four case studies
Wiley Online Library, Unknown
a1 — 54, Unknown
Shih, A; Darwiche, A; of, A Choi Conference on Theory; Applications; 2019
Verifying binarized neural networks by angluin-style learning
Springer, Unknown
Moodley, Deshen; Pillay, Anban; Seebregts, Chris
Establishing a Health Informatics Research Laboratory in South Africa
Unknown
Kern-Isberner, Gabriele
Algebraic Messages From the Probabilistic Entropy Principles for Knowledge Representation in Artificial Intelligence
Unknown
Bonneau, Arvind NarayananJoseph; Felten, Edward; Miller, Andrew; Goldfeder, Steven
Bitcoin and Cryptocurrency Technologies
Unknown
Heyninck, Jesse
The semantical structure of conditionals,and its relation to formal argumentation
Unknown
Hungerecker, S; Leucker, M; Decker, N
SALT-XT: An Xtext-based Extendable Temporal Logic Compiler
isp.uni-luebeck.de, Unknown
a1 — 7, Unknown
Kutz, Oliver; Lutz, Karsten; Ozaki, Ana
Proceedings of the 36th International Workshop on Description Logics
Unknown
Research, B Jacobs Journal of Artificial Intelligence; 2019
The mathematics of changing one’s mind, via Jeffrey’s or via Pearl’s update rule
jair.org, Unknown
Angele, Jürgen; Mönch, Eddie; Oppermann, Henrik; Staab, Steffen; Wenke, Dirk
International Semantic Web Conference, Unknown
Gathering Strength, Gathering Storms: The One Hundred Year Study on Artificial Intelligence (AI100) 2021 Study Panel Report
Unknown
Pelletier, F J; Intelligence, R Elio Computational; 1997
What should default reasoning be, by default?
Wiley Online Library, Unknown
a1 — 15, Unknown
a243–264, College Publications, Unknown
al., Daniel Kazenoff et
Semantic Graph Analysis to Combat Cryptocurrency Misinformation on the Web
Unknown
a1 — 8, Unknown
Chen, B; Review, J Pearl Real-World Economics; Issue; 2013
Regression and causation: a critical examination of six econometrics textbooks
papers.ssrn.com, Unknown
Alberts, Ronell; Fogwill, Thomas; Keet, Maria
National Recordal System NIKMAS: Ontology Related Opportunities
Unknown
Gabrilovich, E; Research, S Markovitch Journal of Artificial Intelligence; 2009
Wikipedia-based semantic interpretation for natural language processing
jair.org, Unknown
Waldvogel, B; Bernstein, A
Unsupervised Conflict-Free Ontology Evolution Without Removing Axioms
Unknown
Lee, Kevin; Meyer, Thomas
Dealing with Unsatisfiable Ontologies in the Description Logic ALC
Unknown
Barenboim, Elias
CAUSAL ANALYSIS (with emphasis on transportability and selection bias)
Unknown
Jansen, MD Karl
Ketamine: Dreams and RealitiesKetamine: Dreams and Realities
cista.net, Unknown
Alberts, Ronell
An integrated method to use conceptual modelling to generate an ontology based query mechanism
Unknown
a1 — 8, Unknown
o50, a510 — 23, Unknown
Pagnucco, Maurice; Thielscher, Michael
Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning
Unknown
Ragni, Marco; Eichhorn, Christian; Kern-Isberner, Gabriel
Simulating Human Inferences in the Light of New Information: A Formal Analysis
Unknown
Unknown
a1 — 16, Unknown
Reasoning in the Defeasible Description Logic —computing standard inferences under rational and relevant semantics.pdf
Unknown
Schweizer, Sebastian RudolphLukas; Schweizer, Lukas; Tirtarasa, Satyadharma
Wolpertinger : A Fixed-Domain Reasoner
Unknown
Moodley, Deshendran
Enabling a new era of Earth observation research: scientific workflows for the Sensor Web
Enabling a new era of Earth observation research: scientific workflows for the Sensor Web, Unknown
Shi, W; Shih, A; Darwiche, A; 2004.02082, A Choi arXiv preprint arXiv; 2020
On Tractable Representations of Binary Neural Networks
arxiv.org, Unknown
Booth, Richard; Nittka, Alexander
Reconstructing an Agent’s Epistemic State from Observations
IJCAI, Unknown
Rienstra, Tjitze
Why do Penguins Fly? Explaining Boolean Classifiers with Non-monotonic Background Theories
Unknown
Drescher, Conrad
Action Logic ProgramsHow to Specify Strategic Behavior in Dynamic Domains Using Logical Rules
Unknown
Unknown