Search results for "reasoning"

Hits ?▲	Authors	Title	Venue	Year	Link
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