| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 14 | James Fullwood |
An axiomatic characterization of mutual information.  |
CoRR  |
2021 |
DBLP BibTeX RDF |
|
| 14 | |
Model Explanations via the Axiomatic Causal Lens. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 14 | |
Axiomatic characterizations of consistent approval-based committee choice rules. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 14 | Sarah Hiller, Jonas Israel, Jobst Heitzig |
An Axiomatic Approach to Formalized Responsibility Ascription. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 14 | Jie Ren 0018, Mingjie Li, Qirui Chen, Huiqi Deng, Quanshi Zhang |
Towards Axiomatic, Hierarchical, and Symbolic Explanation for Deep Models. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 14 | Wen Liu 0009, Ju-Sheng Mi, Yan Sun |
Single axiomatic characterization of a hesitant fuzzy generalization of rough approximation operators. |
Soft Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Ting-Ting Xu, Hui Zhang 0048, Boquan Li 0001 |
Axiomatic framework of fuzzy entropy and hesitancy entropy in fuzzy environment. |
Soft Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Qi Lang, Xiaodong Liu 0001, Yingjie Deng |
Multi-level retrieval with semantic Axiomatic Fuzzy Set clustering for question answering. |
Appl. Soft Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Mischa P. Woods |
Autonomous Ticking Clocks from Axiomatic Principles. |
Quantum |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Yucheng Dong, Yao Li, Ying He 0017, Xia Chen 0007 |
Preference-Approval Structures in Group Decision Making: Axiomatic Distance and Aggregation. |
Decis. Anal. |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Walter Briec, Audrey Dumas, Ayman Mekki |
Directional distance functions and social welfare: Some axiomatic and dual properties. |
Math. Soc. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Stéphane Gonzalez, Aymeric Lardon |
Axiomatic foundations of the core for games in effectiveness form. |
Math. Soc. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Simon Scherrer, Markus Legner, Adrian Perrig, Stefan Schmid 0001 |
An axiomatic perspective on the performance effects of end-host path selection. |
Perform. Evaluation |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Manuel Arana-Jiménez, Carmen Sánchez-Gil, Atefeh Younesi, Sebastián Lozano 0001 |
Integer interval DEA: An axiomatic derivation of the technology and an additive, slacks-based model. |
Fuzzy Sets Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Asta Halkjær From |
Soundness and Completeness of an Axiomatic System for First-Order Logic. |
Arch. Formal Proofs |
2021 |
DBLP BibTeX RDF |
|
| 14 | Paul H. Edelman, Attila Pór |
A new axiomatic approach to the impartial nomination problem. |
Games Econ. Behav. |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Sanaz Azimipour, Pavel Naumov |
Axiomatic theory of betweenness. |
Arch. Math. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Yong Kiam Tan, André Platzer |
An axiomatic approach to existence and liveness for differential equations. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Cheah Huei Yoong, Venkata Reddy Palleti, Rajib Ranjan Maiti, Arlindo Silva, Christopher M. Poskitt |
Deriving invariant checkers for critical infrastructure using axiomatic design principles. |
Cybersecur. |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa |
A trustful monad for axiomatic reasoning with probability and nondeterminism. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Michal Konecný, Sewon Park 0001, Holger Thies |
Axiomatic Reals and Certified Efficient Exact Real Computation. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Alasdair Armstrong, Brian Campbell 0001, Ben Simner, Christopher Pulte, Peter Sewell |
Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models. |
CAV (1) |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Vladimir D. Noghin, Oleg V. Baskov |
On Multicriteria Choice Based on Type-2 Fuzzy Preference Relation: an Axiomatic Approach. |
FUZZ-IEEE |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Manoj Changat, Nella Jeena Jacob, Prasanth G. Narasimha-Shenoi |
Axiomatic Characterization of the Median Function of a Block Graph. |
CALDAM |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Kyeongmin Cho, Sung-Hwan Lee 0001, Azalea Raad, Jeehoon Kang |
Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Asta Halkjær From |
Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic. |
ESSLLI Student Sessions |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Ehsan Vaziri Goudarzi, Mahmoud Houshmand, Vahidreza Ghezavati, Shahrooz Bamdad, Omid Fatahi Valilai |
Framework Development for Sustainable Manufacturing Cloud Service Composition System (SMCS) Based on Axiomatic Design. |
IEEM |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Sebastian Pölsterl, Christina Aigner, Christian Wachinger |
Scalable, Axiomatic Explanations of Deep Alzheimer's Diagnosis from Heterogeneous Data. |
MICCAI (3) |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Jackie Baek, Vivek F. Farias |
Fair Exploration via Axiomatic Bargaining. |
NeurIPS |
2021 |
DBLP BibTeX RDF |
|
| 14 | Robin Hesse, Simone Schaub-Meyer, Stefan Roth 0001 |
Fast Axiomatic Attribution for Neural Networks. |
NeurIPS |
2021 |
DBLP BibTeX RDF |
|
| 14 | Cyrus Cousins |
An Axiomatic Theory of Provably-Fair Welfare-Centric Machine Learning. |
NeurIPS |
2021 |
DBLP BibTeX RDF |
|
| 14 | Sandip Ghosal, R. K. Shyamasundar |
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs. |
ICSE (NIER) |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Sujie Guan, Shaobo Deng, Hui Wang 0002, Min Li 0020 |
A New Contingency Axiomatic System for Rough Sets. |
DMBD (2) |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Neel Patel, Martin Strobel 0001, Yair Zick |
High Dimensional Model Explanations: An Axiomatic Approach. |
FAccT |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Michael Völske, Alexander Bondarenko 0001, Maik Fröbe, Benno Stein 0001, Jaspreet Singh, Matthias Hagen, Avishek Anand |
Towards Axiomatic Explanations for Neural Ranking Models. |
ICTIR |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Yifei Liu, Jiayi Guo, Shufan Li, Lidong Wang |
Active Learning Method Based on Axiomatic Fuzzy Sets and Cost-Sensitive Classification. |
NCAA |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Amnon Catav, Boyang Fu, Yazeed Zoabi, Ahuva Weiss-Meilik, Noam Shomron, Jason Ernst, Sriram Sankararaman, Ran Gilad-Bachrach |
Marginal Contribution Feature Importance - an Axiomatic Approach for Explaining Data. |
ICML |
2021 |
DBLP BibTeX RDF |
|
| 14 | Asta Halkjær From, Agnes Moesgård Eschen, Jørgen Villadsen |
Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
| 14 | Walter Bossert, Kotaro Suzumura |
Positionalist voting rules: a general definition and axiomatic characterizations. |
Soc. Choice Welf. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Yuliang Cai, Huaguang Zhang, Shaoxin Sun, Xianchang Wang, Qiang He 0002 |
Axiomatic fuzzy set theory-based fuzzy oblique decision tree with dynamic mining fuzzy rules. |
Neural Comput. Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Yan Ren, Shuting Zhang, Wanquan Liu, Lidong Wang, Wei Guan |
An advisable facial semantic characterization based on Axiomatic Fuzzy Set theory and information granules. |
Inf. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Yao Li, Xia Chen 0007, Yucheng Dong, Francisco Herrera |
Linguistic group decision making: Axiomatic distance and minimum cost consensus. |
Inf. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Haoqi Wang, Hao Li, Cheng-Tong Tang, Xu Zhang, Xiaoyu Wen |
Unified design approach for systems engineering by integrating model-based systems design with axiomatic design. |
Syst. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Tianyu Sun, Wensheng Yu |
A Formal System of Axiomatic Set Theory in Coq. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Zhiming Zhang, Boya Chen, Binbin Lu, Zilong Lai |
Research on linear magnetic reciprocating yarn-guiding system based on axiomatic design. |
Int. J. Wirel. Mob. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Xue-Feng Ding 0003, Ling Zhang, Hu-Chen Liu |
Emergency decision making with extended axiomatic design approach under picture fuzzy environment. |
Expert Syst. J. Knowl. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Margarita Besova, Vasiliy I. Kachalov |
Axiomatic Approach in the Analytic Theory of Singular Perturbations. |
Axioms |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Nic Wilson, Radu Marinescu 0002 |
An axiomatic framework for influence diagram computation with partially ordered preferences. |
Int. J. Approx. Reason. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Sena Aydogan, Elif Elçin Günay, Diyar Akay, Gül E. Okudan Kremer |
Concept design evaluation by using Z-axiomatic design. |
Comput. Ind. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Xingli Wu, Huchang Liao |
Utility-based hybrid fuzzy axiomatic design and its application in supply chain finance decision making with credit risk assessments. |
Comput. Ind. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Fabrizio Sebastiani 0001 |
Evaluation measures for quantification: an axiomatic approach. |
Inf. Retr. J. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Enrique Amigó, Hui Fang 0001, Stefano Mizzaro, Chengxiang Zhai |
Axiomatic thinking for information retrieval: introduction to special issue. |
Inf. Retr. J. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Razieh Rahimi, Ali Montazeralghaem, Azadeh Shakery |
An axiomatic approach to corpus-based cross-language information retrieval. |
Inf. Retr. J. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Sylvain Béal, Florian Navarro |
Necessary versus equal players in axiomatic studies. |
Oper. Res. Lett. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | M. Ryan Haley, M. Kevin McGee |
Jointly valuing journal visibility and author citation count: An axiomatic approach. |
J. Informetrics |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria |
Conditional Entropy and Data Processing: An Axiomatic Approach Based on Core-Concavity. |
IEEE Trans. Inf. Theory |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Jasper De Bock |
Choice functions based on sets of strict partial orders: an axiomatic characterisation. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 14 | Fang Liu, Wei-Guo Zhang |
A modified axiomatic foundation of the analytic hierarchy process. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 14 | Sergey Bereg, Mohammadreza Haghpanah |
Constructing Order Type Graphs using an Axiomatic Approach. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 14 | Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa |
A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 14 | Joseph D. Janizek, Pascal Sturmfels, Su-In Lee |
Explaining Explanations: Axiomatic Feature Interactions for Deep Networks. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 14 | Tom Leinster |
Entropy and Diversity: The Axiomatic Approach. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 14 | Amnon Catav, Boyang Fu, Jason Ernst, Sriram Sankararaman, Ran Gilad-Bachrach |
Marginal Contribution Feature Importance - an Axiomatic Approach for The Natural Case. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 14 | Neel Patel, Martin Strobel 0001, Yair Zick |
High Dimensional Model Explanations: an Axiomatic Approach. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 14 | Yong Kiam Tan, André Platzer |
An Axiomatic Approach to Existence and Liveness for Differential Equations. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 14 | Timo Mennle, Sven Seuken |
An Axiomatic Decomposition of Strategyproofness for Ordinal Mechanism with Indifferences. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 14 | Francisco Salas-Molina, Juan Antonio Rodríguez-Aguilar, Filippo Bistaffa |
Shared value economics: an axiomatic approach. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 14 | Merlin Carl |
Number Theory and Axiomatic Geometry in the Diproche System. |
ThEdu@IJCAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Jasper De Bock |
Archimedean Choice Functions: an Axiomatic Foundation for Imprecise Decision Making. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 14 | Tomasz Was, Oskar Skibski |
Axiomatic Characterization of PageRank. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 14 | Manoj Changat, Lekshmi Kamal K. Sheela, Prasanth G. Narasimha-Shenoi |
The Interval function, Ptolemaic, distance hereditary, bridged graphs and axiomatic characterizations. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 14 | Rakshit Naidu, Ankita Ghosh, Yash Maurya, Shamanth R. Nayak K, Soumya Snigdha Kundu |
IS-CAM: Integrated Score-CAM for axiomatic-based explanations. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 14 | Gleb Beliakov, Jian-Zhang Wu 0001 |
The axiomatic characterisations of non-modularity index. |
Int. J. Gen. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Siqi Wu, Meng Wu, Yucheng Dong, Haiming Liang, Sihai Zhao |
The 2-rank additive model with axiomatic design in multiple attribute decision making. |
Eur. J. Oper. Res. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Manoj Changat, Ferdoos Hossein Nezhad, Narayanan Narayanan |
Axiomatic characterization of the interval function of a bipartite graph. |
Discret. Appl. Math. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Manoj Changat, Ferdoos Hossein Nezhad, N. Narayanan 0001 |
Interval function, induced path function, (claw, paw)-free graphs and axiomatic characterizations. |
Discret. Appl. Math. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Esther Gutiérrez-López |
Axiomatic characterizations of the egalitarian solidarity values. |
Math. Soc. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Inés Couso, Humberto Bustince, Luciano Sánchez |
A Unified View of Different Axiomatic Measures Defined on $L$-Fuzzy Sets. |
IEEE Trans. Fuzzy Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Xiaodong Liu 0001, Wenjuan Jia, Wanquan Liu, Witold Pedrycz |
AFSSE: An Interpretable Classifier With Axiomatic Fuzzy Set and Semantic Entropy. |
IEEE Trans. Fuzzy Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Bin Chen, Jie Hu 0002, Jin Qi, Weixing Chen |
A computer-aided approach improving the Axiomatic Design theory with the distributed design resource environment. |
Artif. Intell. Eng. Des. Anal. Manuf. |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Miguel Pérez-Gaspar, Alejandro Hernández-Tello, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo |
An axiomatic approach to CG′3 logic. |
Log. J. IGPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Hongwei Tao, Yixiang Chen, Hengyang Wu |
Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches. |
QRS Companion |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski |
An Axiomatic Approach to Reversible Computation. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Henry DeYoung, Frank Pfenning, Klaas Pruiksma |
Semi-Axiomatic Sequent Calculus. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | J. Kyle Skolfield, Romena Yasmin, Adolfo R. Escobedo, Lauren M. Huie |
A Comparison of Axiomatic Distance-Based Collective Intelligence Methods for Wireless Sensor Network State Estimation in the Presence of Information Injection. |
WF-IoT |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Jasper De Bock |
Archimedean Choice Functions - An Axiomatic Foundation for Imprecise Decision Making. |
IPMU (2) |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Javier Sanz-Cruzado, Craig Macdonald, Iadh Ounis, Pablo Castells |
Axiomatic Analysis of Contact Recommendation Methods in Social Networks: An IR Perspective. |
ECIR (1) |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Ana B. Ríos-Alvarado, José-Lázaro Martínez-Rodríguez, Tania Yukary Guerrero-Meléndez, Adolfo J. Rodriguez-Rodriguez, David Tomás Vargas-Requena |
Axiomatic Relation Extraction from Text in the Domain of Tourism. |
KGSWC |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Alejandro Gabriel Villanueva Zacarias, Rachaa Ghabri, Peter Reimann 0002 |
AD4ML: Axiomatic Design to Specify Machine Learning Solutions for Manufacturing. |
IRI |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Sergey Bereg, Mohammadreza Haghpanah |
Constructing Order Type Graphs Using an Axiomatic Approach. |
COCOA |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Zitong Cheng, Hui Fang 0001 |
Utilizing Axiomatic Perturbations to Guide Neural Ranking Models. |
ICTIR |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Wanling Xie, Huibiao Zhu, Shengchao Qin |
An Axiomatic Approach to BigrTiMo. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Tomasz Was, Marcin Waniek, Talal Rahwan, Tomasz P. Michalak |
The Manipulability of Centrality Measures-An Axiomatic Approach. (PDF / PS) |
AAMAS |
2020 |
DBLP BibTeX RDF |
|
| 14 | Joseph Singleton, Richard Booth 0001 |
An Axiomatic Approach to Truth Discovery. (PDF / PS) |
AAMAS |
2020 |
DBLP BibTeX RDF |
|
| 14 | Weiren Yu, Sima Iranmanesh, Aparajita Haldar, Maoyin Zhang, Hakan Ferhatosmanoglu |
An Axiomatic Role Similarity Measure Based on Graph Topology. |
SFDI/LSGDA@VLDB |
2020 |
DBLP DOI BibTeX RDF |
|
| 14 | Piotr Skowron 0001, Piotr Faliszewski, Arkadii Slinko |
Axiomatic characterization of committee scoring rules. |
J. Econ. Theory |
2019 |
DBLP DOI BibTeX RDF |
|
| 14 | Roberto Ghiselli Ricci |
An axiomatic characterization of a class of rank mobility measures. |
Soc. Choice Welf. |
2019 |
DBLP DOI BibTeX RDF |
|
| 14 | Florian Brandl, Dominik Peters |
An axiomatic characterization of the Borda mean rule. |
Soc. Choice Welf. |
2019 |
DBLP DOI BibTeX RDF |
|
| 14 | Hongyue Guo, Witold Pedrycz, Xiaodong Liu 0001 |
Fuzzy time series forecasting based on axiomatic fuzzy set theory. |
Neural Comput. Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
| 14 | Ming-Wen Shao, Wei-Zhi Wu 0001, Changzhong Wang |
Axiomatic characterizations of adjoint generalized (dual) concept systems. |
J. Intell. Fuzzy Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license