|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13906 occurrences of 4505 keywords
|
|
|
Results
Found 44759 publication records. Showing 44759 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Sudeepa Roy, Babak Salimi |
Causal Inference in Data Analysis with Applications to Fairness and Explanations. |
Reasoning Web |
2022 |
DBLP DOI BibTeX RDF |
|
20 | João Marques-Silva 0001 |
Logic-Based Explainability in Machine Learning. |
Reasoning Web |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Vladik Kreinovich, Olga Kosheleva, Michael Zakharevich |
Z-Numbers: How They Describe Student Confidence and How They Can Explain (and Improve) Laplacian and Schroedinger Eigenmap Dimension Reduction in Data Analysis. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Punit Rathore, James C. Bezdek, Marimuthu Palaniswami |
Fast Cluster Tendency Assessment for Big, High-Dimensional Data. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Giulianella Coletti |
Decision Rules Under Vague and Uncertain Information. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Óscar Ibáñez, Carmen Campomanes-Álvarez, B. Rosario Campomanes-Álvarez, Rubén Martos, Inmaculada Alemán, Sergio Damas, Oscar Cordón |
Forensic Identification by Craniofacial Superimposition Using Fuzzy Set Theory. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Mika Sato-Ilic |
Fuzzy Clustering Models and Their Related Concepts. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Thierry-Marie Guerra, Miguel Angel Bernal |
Control: Advances on Fuzzy Model-Based Observers. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Francesc Esteva, Lluís Godo, Sandra A. Sandri |
A Similarity-Based Three-Valued Modal Logic Approach to Reason with Prototypes and Counterexamples. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Marek Z. Reformat |
Semantic Web: Graphs, Imprecision and Knowledge Generation. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Michio Sugeno |
The Fuzzy Theoretic Turn. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Humberto Bustince, Radko Mesiar, Graçaliz Pereira Dimuro, Javier Fernández 0002, Benjamín R. C. Bedregal |
The Evolution of the Notion of Overlap Functions. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Fernando A. C. Gomide, André P. Lemos, Walmir M. Caminhas |
Evolving Systems. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Charles Tijus |
Analogy. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Luis Magdalena |
Fuzzy Systems Interpretability: What, Why and How. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Olivier Strauss, Kevin Loquin, Florentin Kucharczak |
On Maxitive Image Processing. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Anne Laurent |
Graduality in Data Sciences: Gradual Patterns. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Ronald R. Yager |
An Introduction to Linguistic Summaries. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Irina Perfilieva |
F-Transform Representation of Nonlocal Operators with Applications to Image Restoration. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Dan A. Ralescu, Anca L. Ralescu |
Abstract Models for Systems Identification. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Olivier Pivert, Grégory Smits |
Fuzzy Extensions of Databases. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Szilvia Nagy, Ferenc Lilik, Brigita Sziová, Melinda Kovács, László T. Kóczy |
On the Applicability of Fuzzy Rule Interpolation and Wavelet Analysis in Colorectal Image Segment Classification. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Didier Dubois, Henri Prade |
Membership Functions. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Dockhorn, Chris Saxton, Rudolf Kruse |
Association Rule Mining for Unknown Video Games. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | María T. Lamata, David A. Pelta, José Luis Verdegay Galdeano |
The Role of the Context in Decision and Optimization Problems. |
Fuzzy Approaches for Soft Computing and Approximate Reasoning |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Claudia d'Amato |
Mining the Semantic Web with Machine Learning: Main Issues that Need to Be Known. |
Reasoning Web |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Steven Schockaert, Víctor Gutiérrez-Basulto |
Modelling Symbolic Knowledge Using Neural Representations. |
Reasoning Web |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Matthias Knorr 0001 |
On Combining Ontologies and Rules. |
Reasoning Web |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Pedro Cabalar |
Temporal ASP: From Logical Foundations to Practical Use with telingo. |
Reasoning Web |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Leopoldo E. Bertossi |
Score-Based Explanations in Data Management and Machine Learning: An Answer-Set Programming Approach to Counterfactual Analysis. |
Reasoning Web |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Giuseppe Cota, Marilena Daquino, Gian Luca Pozzato (eds.) |
Applications and Practices in Ontology Design, Extraction, and Reasoning. |
Applications and Practices in Ontology Design, Extraction, and Reasoning |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Marco Manna, Andreas Pieris (eds.) |
Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures |
Reasoning Web |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Pasquale Lisena, Raphaël Troncy |
Representing Complex Knowledge for Exploration and Recommendation: The Case of Classical Music Information. |
Applications and Practices in Ontology Design, Extraction, and Reasoning |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Angelo A. Salatino, Francesco Osborne, Enrico Motta |
Ontology Extraction and Usage in the Scholarly Knowledge Domain. |
Applications and Practices in Ontology Design, Extraction, and Reasoning |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Cogan Shimizu, Pascal Hitzler, Adila Krisnadhi |
Modular Ontology Modeling: A Tutorial. |
Applications and Practices in Ontology Design, Extraction, and Reasoning |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Marcelo Arenas, Georg Gottlob, Andreas Pieris |
Querying the Semantic Web via Rules. |
Applications and Practices in Ontology Design, Extraction, and Reasoning |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Anastasia Dimou |
High-Quality Knowledge Graphs Generation: R2RML and RML Comparison, Rules Validation and Inconsistency Resolution. |
Applications and Practices in Ontology Design, Extraction, and Reasoning |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Valentina Anita Carriero, Marilena Daquino, Aldo Gangemi, Andrea Giovanni Nuzzolese, Silvio Peroni, Valentina Presutti, Francesca Tomasi |
The Landscape of Ontology Reuse Approaches. |
Applications and Practices in Ontology Design, Extraction, and Reasoning |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Rafael Peñaloza |
Axiom Pinpointing. |
Applications and Practices in Ontology Design, Extraction, and Reasoning |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Garijo, María Poveda-Villalón |
Best Practices for Implementing FAIR Vocabularies and Ontologies on the Web. |
Applications and Practices in Ontology Design, Extraction, and Reasoning |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Albert Meroño-Peñuela, Victor de Boer, Marieke van Erp, Richard Zijdeman, Rick Mourits, Willem Melder, Auke Rijpma, Ruben Schalk |
CLARIAH: Enabling Interoperability Between Humanities Disciplines with Ontologies. |
Applications and Practices in Ontology Design, Extraction, and Reasoning |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Wolfgang Faber 0001 |
An Introduction to Answer Set Programming and Some of Its Extensions. |
Reasoning Web |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Egor V. Kostylev |
Declarative Data Analysis Using Limit Datalog Programs. |
Reasoning Web |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev |
Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course. |
Reasoning Web |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Ana Ozaki |
On the Complexity of Learning Description Logic Ontologies. |
Reasoning Web |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Oana Cocarascu, Antonio Rago 0001, Francesca Toni |
Explanation via Machine Arguing. |
Reasoning Web |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Aidan Hogan |
Knowledge Graphs: Research Directions. |
Reasoning Web |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Rafael Peñaloza |
Introduction to Probabilistic Ontologies. |
Reasoning Web |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Joshua D. Guttman, Carl E. Landwehr, José Meseguer 0001, Dusko Pavlovic (eds.) |
Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Markus Krötzsch, Daria Stepanova 0001 (eds.) |
Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures |
Reasoning Web |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Hamidreza Tavafoghi, Yi Ouyang 0002, Demosthenis Teneketzis, Michael P. Wellman |
Game Theoretic Approaches to Cyber Security: Challenges, Results, and Open Problems. |
Adversarial and Uncertain Reasoning for Adaptive Cyber Defense |
2019 |
DBLP DOI BibTeX RDF |
|
20 | George Cybenko, Michael P. Wellman, Peng Liu 0005, Minghui Zhu |
Overview of Control and Game Theory in Adaptive Cyber Defenses. |
Adversarial and Uncertain Reasoning for Adaptive Cyber Defense |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Massimiliano Albanese, Sushil Jajodia, Sridhar Venkatesan, George Cybenko, Thanh Hong Nguyen |
Adaptive Cyber Defenses for Botnet Detection and Mitigation. |
Adversarial and Uncertain Reasoning for Adaptive Cyber Defense |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Benjamin W. Priest, George Cybenko, Satinder Singh 0001, Massimiliano Albanese, Peng Liu 0005 |
Online and Scalable Adaptive Cyber Defense. |
Adversarial and Uncertain Reasoning for Adaptive Cyber Defense |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Michael P. Wellman, Thanh Hong Nguyen, Mason Wright |
Empirical Game-Theoretic Methods for Adaptive Cyber-Defense. |
Adversarial and Uncertain Reasoning for Adaptive Cyber Defense |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Zhisheng Hu, Ping Chen 0003, Minghui Zhu, Peng Liu 0005 |
Reinforcement Learning for Adaptive Cyber Defense Against Zero-Day Attacks. |
Adversarial and Uncertain Reasoning for Adaptive Cyber Defense |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Massimiliano Albanese, Warren Connell, Sridhar Venkatesan, George Cybenko |
Moving Target Defense Quantification. |
Adversarial and Uncertain Reasoning for Adaptive Cyber Defense |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Rajesh Ganesan, Ankit Shah 0002, Sushil Jajodia, Hasan Cam |
Optimizing Alert Data Management Processes at a Cyber Security Operations Center. |
Adversarial and Uncertain Reasoning for Adaptive Cyber Defense |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Erik Miehling, Mohammad Rasouli 0001, Demosthenis Teneketzis |
Control-Theoretic Approaches to Cyber-Security. |
Adversarial and Uncertain Reasoning for Adaptive Cyber Defense |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Ping Chen 0003, Zhisheng Hu, Jun Xu 0024, Minghui Zhu, Rob Erbacher, Sushil Jajodia, Peng Liu 0005 |
MTD Techniques for Memory Protection Against Zero-Day Attacks. |
Adversarial and Uncertain Reasoning for Adaptive Cyber Defense |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Amr Ismail, Mostafa Herajy, Monika Heiner |
A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Thakur Neupane, Zhen Zhang 0006, Curtis Madsen, Hao Zheng 0001, Chris J. Myers |
Approximation Techniques for Stochastic Analysis of Biological Systems. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Dragan Bosnacki, Natal A. W. van Riel, Mitko Veta |
Deep Learning with Convolutional Neural Networks for Histopathology Image Analysis. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Ludovica Luisa Vissat, Jane Hillston, Anna Williams |
Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Maria Pires Pacheco, Tamara Bintener, Thomas Sauter |
Towards the Integration of Metabolic Network Modelling and Machine Learning for the Routine Analysis of High-Throughput Patient Data. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Alena Simalatsar, Monia Guidi, Pierre Roduit, Thierry Buclin |
Methods for Personalised Delivery Rate Computation for IV Administered Anesthetic Propofol. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Thao Dang 0001, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca |
Set-Based Analysis for Biological Modeling. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Fusun Yaman, Aaron Adler, Jacob Beal |
Opportunities and Challenges in Applying Artificial Intelligence to Bioengineering. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Satya Swarup Samal, Jeyashree Krishnan, Ali Hadizadeh Esfahani, Christoph Lüders, Andreas Weber 0004, Ovidiu Radulescu |
Metastable Regimes and Tipping Points of Biochemical Networks with Potential Applications in Precision Medicine. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Taisa Kushner, B. Wayne Bequette, Faye Cameron, Gregory P. Forlenza, David M. Maahs, Sriram Sankaranarayanan 0001 |
Models, Devices, Properties, and Verification of Artificial Pancreas Systems. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Misbah Razzaq, Lokmane Chebouba, Pierre Le Jeune, Hanen Mhamdi, Carito Guziolowski, Jérémie Bourdon |
Logic and Linear Programs to Understand Cancer Response. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Juliana Küster Filipe Bowles, Marco B. Caminati |
Balancing Prescriptions with Constraint Solvers. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
Model Checking Approach to the Analysis of Biological Systems. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Matthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall, Jasmin Fisher |
Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Bing Liu 0013, Benjamin M. Gyori, P. S. Thiagarajan |
Statistical Model Checking-Based Analysis of Biological Networks. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Cinzia Bernardeschi, Andrea Domenici, Paolo Masci 0001 |
Logic-Based Formalization of System Requirements for Integrated Clinical Environments. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza |
Symbolic Timed Trace Equivalence. |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Jonathan K. Millen |
A Long, Slow Conversation. |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Jason Castiglione, Dusko Pavlovic, Peter-Michael Seidel |
Privacy Protocols. |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Erin Hanna, Christopher Lynch, David Jaz Myers, Corey Richardson |
Finding Intruder Knowledge with Cap-Matching. |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe, F. Javier Thayer |
Enrich-by-Need Protocol Analysis for Diffie-Hellman. |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Paul Syverson |
Key Reminiscences. |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
20 | David A. Basin, Lucca Hirschi, Ralf Sasse |
Symbolic Analysis of Identity-Based Protocols. |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Véronique Cortier, Pierrick Gaudry, Stéphane Glondu |
Belenios: A Simple Private and Verifiable Electronic Voting System. |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Andrew William Roscoe, Lei Wang |
Key Agreement via Protocols. |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Matteo Busi 0001, Pierpaolo Degano, Letterio Galletta |
Robust Declassification by Incremental Typing. |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Elisavet Kozyri, Owen Arden, Andrew C. Myers, Fred B. Schneider |
JRIF: Reactive Information Flow Control for Java. |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Musab A. AlTurki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott |
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Sylvan Pinsky |
Cathy Meadows: A Central Figure in Protocol Analysis. |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Santiago Escobar 0001, José Meseguer 0001 |
Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method. |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Stefano Teso |
Constraint Learning: An Appetizer. |
Reasoning Web |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Pierre Senellart |
Provenance in Databases: Principles and Applications. |
Reasoning Web |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Bernhard Ganter, Sebastian Rudolph, Gerd Stumme |
Explaining Data with Formal Concept Analysis. |
Reasoning Web |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Maria Vanina Martinez, Gerardo I. Simari |
Explanation-Friendly Query Answering Under Uncertainty. |
Reasoning Web |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Jörg Hoffmann 0001, Daniele Magazzeni |
Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation (Extended Abstract). |
Reasoning Web |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Mark Law, Alessandra Russo, Krysia Broda |
Logic-Based Learning of Answer Set Programs. |
Reasoning Web |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Arnd Hartmanns, Holger Hermanns |
A Modest Markov Automata Tutorial. |
Reasoning Web |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Fabian M. Suchanek, Jonathan Lajus, Armand Boschin, Gerhard Weikum |
Knowledge Representation and Rule Mining in Entity-Centric Knowledge Bases. |
Reasoning Web |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Atif Mashkoor, Qing Wang 0002, Bernhard Thalheim (eds.) |
Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday |
Models: Concepts, Theory, Logic, Reasoning and Semantics |
2018 |
DBLP BibTeX RDF |
|
20 | Claudia d'Amato, Martin Theobald (eds.) |
Reasoning Web. Learning, Uncertainty, Streaming, and Scalability - 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22-26, 2018, Tutorial Lectures |
Reasoning Web |
2018 |
DBLP DOI BibTeX RDF |
|
|
|