Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | James Fullwood |
An axiomatic characterization of mutual information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.12647, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | |
Model Explanations via the Axiomatic Causal Lens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.03890, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | |
Axiomatic characterizations of consistent approval-based committee choice rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.10407, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Sarah Hiller, Jonas Israel, Jobst Heitzig |
An Axiomatic Approach to Formalized Responsibility Ascription. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.06711, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.06206, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 25(20), pp. 12649-12666, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 25(2), pp. 1219-1238, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 111, pp. 107858, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Mischa P. Woods |
Autonomous Ticking Clocks from Axiomatic Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum ![In: Quantum 5, pp. 381, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Anal. ![In: Decis. Anal. 18(4), pp. 273-295, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Walter Briec, Audrey Dumas, Ayman Mekki |
Directional distance functions and social welfare: Some axiomatic and dual properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 113, pp. 181-190, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Stéphane Gonzalez, Aymeric Lardon |
Axiomatic foundations of the core for games in effectiveness form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 114, pp. 28-38, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 151, pp. 102233, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 422, pp. 83-105, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Asta Halkjær From |
Soundness and Completeness of an Axiomatic System for First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2021, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Paul H. Edelman, Attila Pór |
A new axiomatic approach to the impartial nomination problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 130, pp. 443-451, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Sanaz Azimipour, Pavel Naumov |
Axiomatic theory of betweenness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 60(1-2), pp. 227-239, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Yong Kiam Tan, André Platzer |
An axiomatic approach to existence and liveness for differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 33(4-5), pp. 461-518, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cybersecur. ![In: Cybersecur. 4(1), pp. 6, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa |
A trustful monad for axiomatic reasoning with probability and nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 31, pp. e17, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Michal Konecný, Sewon Park 0001, Holger Thies |
Axiomatic Reals and Certified Efficient Exact Real Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings, pp. 252-268, 2021, Springer, 978-3-030-88852-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I, pp. 303-316, 2021, Springer, 978-3-030-81684-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: 30th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2021, Luxembourg, July 11-14, 2021, pp. 1-5, 2021, IEEE, 978-1-6654-4407-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALDAM ![In: Algorithms and Discrete Applied Mathematics - 7th International Conference, CALDAM 2021, Rupnagar, India, February 11-13, 2021, Proceedings, pp. 294-308, 2021, Springer, 978-3-030-67898-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021., pp. 16-31, 2021, ACM, 978-1-4503-8391-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Asta Halkjær From |
Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSLLI Student Sessions ![In: Selected Reflections in Language, Logic, and Information - ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers, pp. 80-92, 2021, Springer, 978-3-031-50627-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEM ![In: IEEE International Conference on Industrial Engineering and Engineering Management, IEEM 2021, Singapore, December 13-16, 2021, pp. 906-909, 2021, IEEE, 978-1-6654-3771-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Sebastian Pölsterl, Christina Aigner, Christian Wachinger |
Scalable, Axiomatic Explanations of Deep Alzheimer's Diagnosis from Heterogeneous Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (3) ![In: Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 - 24th International Conference, Strasbourg, France, September 27 - October 1, 2021, Proceedings, Part III, pp. 434-444, 2021, Springer, 978-3-030-87198-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Jackie Baek, Vivek F. Farias |
Fair Exploration via Axiomatic Bargaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual., pp. 22034-22045, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Robin Hesse, Simone Schaub-Meyer, Stefan Roth 0001 |
Fast Axiomatic Attribution for Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual., pp. 19513-19524, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Cyrus Cousins |
An Axiomatic Theory of Provably-Fair Welfare-Centric Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual., pp. 16610-16621, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Sandip Ghosal, R. K. Shyamasundar |
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (NIER) ![In: 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2021, Madrid, Spain, May 25-28, 2021, pp. 31-35, 2021, IEEE, 978-1-6654-0140-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Sujie Guan, Shaobo Deng, Hui Wang 0002, Min Li 0020 |
A New Contingency Axiomatic System for Rough Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMBD (2) ![In: Data Mining and Big Data - 6th International Conference, DMBD 2021, Guangzhou, China, October 20-22, 2021, Proceedings, Part II, pp. 375-386, 2021, Springer, 978-981-16-7501-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Neel Patel, Martin Strobel 0001, Yair Zick |
High Dimensional Model Explanations: An Axiomatic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAccT ![In: FAccT '21: 2021 ACM Conference on Fairness, Accountability, and Transparency, Virtual Event / Toronto, Canada, March 3-10, 2021, pp. 401-411, 2021, ACM, 978-1-4503-8309-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTIR ![In: ICTIR '21: The 2021 ACM SIGIR International Conference on the Theory of Information Retrieval, Virtual Event, Canada, July 11, 2021, pp. 13-22, 2021, ACM, 978-1-4503-8611-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCAA ![In: Neural Computing for Advanced Applications - Second International Conference, NCAA 2021, Guangzhou, China, August 27-30, 2021, Proceedings, pp. 501-515, 2021, Springer, 978-981-16-5187-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 38th International Conference on Machine Learning, ICML 2021, 18-24 July 2021, Virtual Event., pp. 1324-1335, 2021, PMLR. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings, pp. 32-46, 2021, Springer, 978-3-030-81096-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Walter Bossert, Kotaro Suzumura |
Positionalist voting rules: a general definition and axiomatic characterizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 55(1), pp. 85-116, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 32(15), pp. 11621-11636, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 523, pp. 133-151, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 541, pp. 242-258, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Eng. ![In: Syst. Eng. 23(1), pp. 49-64, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Tianyu Sun, Wensheng Yu |
A Formal System of Axiomatic Set Theory in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 21510-21523, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Wirel. Mob. Comput. ![In: Int. J. Wirel. Mob. Comput. 19(2), pp. 195-202, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. J. Knowl. Eng. ![In: Expert Syst. J. Knowl. Eng. 37(2), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Margarita Besova, Vasiliy I. Kachalov |
Axiomatic Approach in the Analytic Theory of Singular Perturbations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 9(1), pp. 9, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Nic Wilson, Radu Marinescu 0002 |
An axiomatic framework for influence diagram computation with partially ordered preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 125, pp. 73-117, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 122, pp. 103278, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 114, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Fabrizio Sebastiani 0001 |
Evaluation measures for quantification: an axiomatic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Retr. J. ![In: Inf. Retr. J. 23(3), pp. 255-288, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Enrique Amigó, Hui Fang 0001, Stefano Mizzaro, Chengxiang Zhai |
Axiomatic thinking for information retrieval: introduction to special issue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Retr. J. ![In: Inf. Retr. J. 23(3), pp. 187-190, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Razieh Rahimi, Ali Montazeralghaem, Azadeh Shakery |
An axiomatic approach to corpus-based cross-language information retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Retr. J. ![In: Inf. Retr. J. 23(3), pp. 191-215, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Sylvain Béal, Florian Navarro |
Necessary versus equal players in axiomatic studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. Lett. ![In: Oper. Res. Lett. 48(3), pp. 385-391, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | M. Ryan Haley, M. Kevin McGee |
Jointly valuing journal visibility and author citation count: An axiomatic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Informetrics ![In: J. Informetrics 14(1), pp. 100988, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 66(9), pp. 5537-5547, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Jasper De Bock |
Choice functions based on sets of strict partial orders: an axiomatic characterisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.11631, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Fang Liu, Wei-Guo Zhang |
A modified axiomatic foundation of the analytic hierarchy process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.02472, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Sergey Bereg, Mohammadreza Haghpanah |
Constructing Order Type Graphs using an Axiomatic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.14282, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa |
A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.09993, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Joseph D. Janizek, Pascal Sturmfels, Su-In Lee |
Explaining Explanations: Axiomatic Feature Interactions for Deep Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.04138, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Tom Leinster |
Entropy and Diversity: The Axiomatic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.02113, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.07910, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Neel Patel, Martin Strobel 0001, Yair Zick |
High Dimensional Model Explanations: an Axiomatic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.08969, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Yong Kiam Tan, André Platzer |
An Axiomatic Approach to Existence and Liveness for Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.14561, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Timo Mennle, Sven Seuken |
An Axiomatic Decomposition of Strategyproofness for Ordinal Mechanism with Indifferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.07104, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Francisco Salas-Molina, Juan Antonio Rodríguez-Aguilar, Filippo Bistaffa |
Shared value economics: an axiomatic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.00581, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Merlin Carl |
Number Theory and Axiomatic Geometry in the Diproche System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@IJCAR ![In: Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June 2020., pp. 56-78, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Jasper De Bock |
Archimedean Choice Functions: an Axiomatic Foundation for Imprecise Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.05196, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Tomasz Was, Oskar Skibski |
Axiomatic Characterization of PageRank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.08487, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.06751, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.03023, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Gleb Beliakov, Jian-Zhang Wu 0001 |
The axiomatic characterisations of non-modularity index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 49(7), pp. 675-688, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 287(2), pp. 536-545, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Manoj Changat, Ferdoos Hossein Nezhad, Narayanan Narayanan |
Axiomatic characterization of the interval function of a bipartite graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 286, pp. 19-28, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 280, pp. 53-62, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Esther Gutiérrez-López |
Axiomatic characterizations of the egalitarian solidarity values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 108, pp. 109-115, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 28(8), pp. 1878-1886, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 28(11), pp. 2825-2840, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Eng. Des. Anal. Manuf. ![In: Artif. Intell. Eng. Des. Anal. Manuf. 34(1), pp. 80-103, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 28(6), pp. 1218-1232, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Hongwei Tao, Yixiang Chen, Hengyang Wu |
Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 20th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2020, Macau, China, December 11-14, 2020, pp. 308-315, 2020, IEEE, 978-1-7281-8915-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski |
An Axiomatic Approach to Reversible Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, pp. 442-461, 2020, Springer, 978-3-030-45230-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Henry DeYoung, Frank Pfenning, Klaas Pruiksma |
Semi-Axiomatic Sequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference)., pp. 29:1-29:22, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-155-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WF-IoT ![In: 6th IEEE World Forum on Internet of Things, WF-IoT 2020, New Orleans, LA, USA, June 2-16, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-5503-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Jasper De Bock |
Archimedean Choice Functions - An Axiomatic Foundation for Imprecise Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU (2) ![In: Information Processing and Management of Uncertainty in Knowledge-Based Systems - 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part II, pp. 195-209, 2020, Springer, 978-3-030-50142-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR (1) ![In: Advances in Information Retrieval - 42nd European Conference on IR Research, ECIR 2020, Lisbon, Portugal, April 14-17, 2020, Proceedings, Part I, pp. 175-190, 2020, Springer, 978-3-030-45438-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KGSWC ![In: Knowledge Graphs and Semantic Web - Second Iberoamerican Conference and First Indo-American Conference, KGSWC 2020, Mérida, Mexico, November 26-27, 2020, Proceedings, pp. 14-28, 2020, Springer, 978-3-030-65383-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: 21st International Conference on Information Reuse and Integration for Data Science, IRI 2020, Las Vegas, NV, USA, August 11-13, 2020, pp. 148-155, 2020, IEEE, 978-1-7281-1054-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Sergey Bereg, Mohammadreza Haghpanah |
Constructing Order Type Graphs Using an Axiomatic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOA ![In: Combinatorial Optimization and Applications - 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11-13, 2020, Proceedings, pp. 802-816, 2020, Springer, 978-3-030-64842-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Zitong Cheng, Hui Fang 0001 |
Utilizing Axiomatic Perturbations to Guide Neural Ranking Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTIR ![In: ICTIR '20: The 2020 ACM SIGIR International Conference on the Theory of Information Retrieval, Virtual Event, Norway, September 14-17, 2020, pp. 153-156, 2020, ACM, 978-1-4503-8067-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Wanling Xie, Huibiao Zhu, Shengchao Qin |
An Axiomatic Approach to BigrTiMo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 41-48, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020, pp. 1467-1475, 2020, International Foundation for Autonomous Agents and Multiagent Systems, 978-1-4503-7518-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Joseph Singleton, Richard Booth 0001 |
An Axiomatic Approach to Truth Discovery. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020, pp. 2011-2013, 2020, International Foundation for Autonomous Agents and Multiagent Systems, 978-1-4503-7518-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Weiren Yu, Sima Iranmanesh, Aparajita Haldar, Maoyin Zhang, Hakan Ferhatosmanoglu |
An Axiomatic Role Similarity Measure Based on Graph Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFDI/LSGDA@VLDB ![In: Software Foundations for Data Interoperability and Large Scale Graph Data Analytics - 4th International Workshop, SFDI 2020, and 2nd International Workshop, LSGDA 2020, held in Conjunction with VLDB 2020, Tokyo, Japan, September 4, 2020, Proceedings, pp. 33-48, 2020, Springer, 978-3-030-61132-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Piotr Skowron 0001, Piotr Faliszewski, Arkadii Slinko |
Axiomatic characterization of committee scoring rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Econ. Theory ![In: J. Econ. Theory 180, pp. 244-273, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Roberto Ghiselli Ricci |
An axiomatic characterization of a class of rank mobility measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 52(4), pp. 753-785, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Florian Brandl, Dominik Peters |
An axiomatic characterization of the Borda mean rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 52(4), pp. 685-707, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Hongyue Guo, Witold Pedrycz, Xiaodong Liu 0001 |
Fuzzy time series forecasting based on axiomatic fuzzy set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 31(8), pp. 3921-3932, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Ming-Wen Shao, Wei-Zhi Wu 0001, Changzhong Wang |
Axiomatic characterizations of adjoint generalized (dual) concept systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 37(3), pp. 3629-3638, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|