Search results for "axiomatic"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Hadi Kandjani, Peter Bernus, Lian Wen	Reducing the structural complexity and transaction cost of collaborative networks using extended axiomatic design theory and virtual brokerage.	Concurr. Eng. Res. Appl.	2014	DBLP DOI BibTeX RDF
14	Ilya V. Maryasov, Valery A. Nepomnyaschy, Alexey V. Promsky, Dmitry A. Kondratyev	Automatic C program verification based on mixed axiomatic semantics.	Autom. Control. Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Farzad Farnoud Hassanzadeh, Olgica Milenkovic	An Axiomatic Approach to Constructing Distances for Rank Comparison and Aggregation.	IEEE Trans. Inf. Theory	2014	DBLP DOI BibTeX RDF
14	Timo Mennle, Sven Seuken	An Axiomatic Approach to Characterizing and Relaxing Strategyproofness of One-sided Matching Mechanisms.	CoRR	2014	DBLP BibTeX RDF
14	Chen Avin, Zvi Lotker, David Peleg, Yvonne-Anne Pignolet, Itzik Turkel	Core-Periphery in Networks: An Axiomatic Approach.	CoRR	2014	DBLP BibTeX RDF
14	Yakov Babichenko	Axiomatic Approach to Solutions of Games.	CoRR	2014	DBLP BibTeX RDF
14	Benjamin Selfridge	An ACL2 Mechanization of an Axiomatic Framework for Weak Memory.	ACL2	2014	DBLP DOI BibTeX RDF
14	Christian Borgs, Jennifer T. Chayes, Adrian Marple, Shang-Hua Teng	Fixed-Points of Social Choice: An Axiomatic Approach to Network Communities.	CoRR	2014	DBLP BibTeX RDF
14	Xibei Yang, Xiaoning Song, Yunsong Qi, Jingyu Yang	Constructive and axiomatic approaches to hesitant fuzzy rough set.	Soft Comput.	2014	DBLP DOI BibTeX RDF
14	Emilio Calvo, Esther Gutiérrez-López	Axiomatic characterizations of the weighted solidarity values.	Math. Soc. Sci.	2014	DBLP DOI BibTeX RDF
14	Laurent Bienvenu, Andrei E. Romashchenko, Alexander Shen, Antoine Taveneaux, Stijn Vermeeren	The axiomatic power of Kolmogorov complexity.	Ann. Pure Appl. Log.	2014	DBLP DOI BibTeX RDF
14	Johannes Stern	Modality and Axiomatic Theories of Truth I: Friedman-Sheard.	Rev. Symb. Log.	2014	DBLP DOI BibTeX RDF
14	Johannes Stern	Modality and Axiomatic Theories of Truth II: Kripke-Feferman.	Rev. Symb. Log.	2014	DBLP DOI BibTeX RDF
14	Lina García-Cabrera, Nuria Medina-Medina, Pedro J. Sánchez, Luis Martínez-López 0001	An axiomatic approach to maintaining the consistency of a hypermedia information system based on the SEM-HP model.	Log. J. IGPL	2014	DBLP DOI BibTeX RDF
14	Didem Çinar, Gül Tekin Temur, Y. Ilker Topcu	An Axiomatic Design Approach to the Classification of Reverse Logistics Network Design Studies Under Fuzziness.	Supply Chain Management Under Fuzziness	2014	DBLP DOI BibTeX RDF
14	Razieh Rahimi, Azadeh Shakery, Irwin King	Axiomatic Analysis of Cross-Language Information Retrieval.	CIKM	2014	DBLP DOI BibTeX RDF
14	Robbert Krebbers	An operational and axiomatic semantics for non-determinism and sequence points in C.	POPL	2014	DBLP DOI BibTeX RDF
14	Shaobo Deng, Meiying Sun, Cungen Cao, Yuefei Sui	A Sound and Complete Axiomatic System for Modality $\Box\phi\equiv\Box_1\phi\land\Box_2\phi$.	Intelligent Information Processing	2014	DBLP DOI BibTeX RDF
14	Jari Palomäki	An Axiomatic Approach to the Relational Concepts.	EJC	2014	DBLP DOI BibTeX RDF
14	Rupert Freeman, Markus Brill, Vincent Conitzer	On the Axiomatic Characterization of Runoff Voting Rules.	AAAI	2014	DBLP DOI BibTeX RDF
14	Phan Minh Dung	An Axiomatic Analysis of Structured Argumentation for Prioritized Default Reasoning.	ECAI	2014	DBLP DOI BibTeX RDF
14	Timo Mennle, Sven Seuken	An axiomatic approach to characterizing and relaxing strategyproofness of one-sided matching mechanisms.	EC	2014	DBLP DOI BibTeX RDF
14	Renate A. Schmidt, John G. Stell, David E. Rydeheard	Axiomatic and Tableau-Based Reasoning for Kt(H, R).	Advances in Modal Logic	2014	DBLP BibTeX RDF
14	Hui Fang 0001, ChengXiang Zhai	Axiomatic analysis and optimization of information retrieval models.	SIGIR	2014	DBLP DOI BibTeX RDF
14	Na Slam, Wenjun Wang, Pei Wang	An Improvisational Decision-Making Agent Based on Non-axiomatic Reasoning System.	WI-IAT (3)	2014	DBLP DOI BibTeX RDF
14	Justin Kruger, Ulle Endriss, Raquel Fernández, Ciyang Qing	Axiomatic analysis of aggregation methods for collective annotation.	AAMAS	2014	DBLP BibTeX RDF
14	Claire Dross	Generic decision procedures for axiomatic first-order theories. (Procédures de décision génériques pour des théories axiomatiques du premier ordre).		2014	RDF
14	Chen Chen 0026, Garud Iyengar, Ciamac C. Moallemi	An Axiomatic Approach to Systemic Risk.	Manag. Sci.	2013	DBLP DOI BibTeX RDF
14	Jorge Alcalde-Unzu, Marc Vorsatz	Measuring the cohesiveness of preferences: an axiomatic analysis.	Soc. Choice Welf.	2013	DBLP DOI BibTeX RDF
14	Fuad Aleskerov, Alexander Karpov	A new single transferable vote method and its axiomatic justification.	Soc. Choice Welf.	2013	DBLP DOI BibTeX RDF
14	Fred R. McMorris, Henry Martyn Mulder, Beth Novick, Robert C. Powers	An axiomatic approach to location functions on finite metric spaces.	Electron. Notes Discret. Math.	2013	DBLP DOI BibTeX RDF
14	Samuel Alexander	An axiomatic version of Fitch's paradox.	Synth.	2013	DBLP DOI BibTeX RDF
14	Basar Öztaysi, Mine Isik, Secil Ercan	Multi-Criteria Decision Aid for Sustainable Energy Prioritization Using Fuzzy Axiomatic Design.	Int. J. Energy Optim. Eng.	2013	DBLP DOI BibTeX RDF
14	Trong Hieu Tran, Ngoc Thanh Nguyen 0001, Quoc Bao Vo	Axiomatic characterization of belief merging by negotiation.	Multim. Tools Appl.	2013	DBLP DOI BibTeX RDF
14	Sebastià Massanet, Gaspar Mayor, Radko Mesiar, Joan Torrens	On fuzzy implications: An axiomatic approach.	Int. J. Approx. Reason.	2013	DBLP DOI BibTeX RDF
14	Jianmin Ma, Wen-Xiu Zhang	Axiomatic characterizations of dual concept lattices.	Int. J. Approx. Reason.	2013	DBLP DOI BibTeX RDF
14	Mohammad Reza Hooshmandasl, A. Karimi, M. Almbardar, Bijan Davvaz	Axiomatic systems for rough set-valued homomorphisms of associative rings.	Int. J. Approx. Reason.	2013	DBLP DOI BibTeX RDF
14	Sébastien Destercke, Thomas Burger	Toward an Axiomatic Definition of Conflict Between Belief Functions.	IEEE Trans. Cybern.	2013	DBLP DOI BibTeX RDF
14	Laurent Bienvenu, Andrei E. Romashchenko, Alexander Shen, Antoine Taveneaux, Stijn Vermeeren	The axiomatic power of Kolmogorov complexity	CoRR	2013	DBLP BibTeX RDF
14	Velimir M. Ilic, Miomir S. Stankovic	An axiomatic characterization of generalized entropies under analyticity condition.	CoRR	2013	DBLP BibTeX RDF
14	Gunnar E. Carlsson, Facundo Mémoli, Alejandro Ribeiro, Santiago Segarra	Axiomatic Construction of Hierarchical Clustering in Asymmetric Networks	CoRR	2013	DBLP BibTeX RDF
14	David Heckerman	An Axiomatic Framework for Belief Updates	CoRR	2013	DBLP BibTeX RDF
14	Phan Hong Giang, Prakash P. Shenoy	A Comparison of Axiomatic Approaches to Qualitative Decision Making Using Possibility Theory	CoRR	2013	DBLP BibTeX RDF
14	Matteo Brunelli, Michele Fedrizzi	Axiomatic properties of inconsistency indices for pairwise comparisons.	CoRR	2013	DBLP BibTeX RDF
14	Kun Tang, Qiwei Jin, Xin Zou, Jiansheng Yang, Michael W. Vannier, Ge Wang 0001	Academic Ranking with Web Mining and Axiomatic Analysis	CoRR	2013	DBLP BibTeX RDF
14	Twan van Laarhoven, Elena Marchiori	An axiomatic study of objective functions for graph clustering.	CoRR	2013	DBLP BibTeX RDF
14	Xinyang Deng, Yong Deng 0001	A short note on the axiomatic requirements of uncertainty measure.	CoRR	2013	DBLP BibTeX RDF
14	Prakash P. Shenoy, Glenn Shafer	An Axiomatic Framework for Bayesian and Belief-function Propagation	CoRR	2013	DBLP BibTeX RDF
14	Darrell Hoy, Kamal Jain, Christopher A. Wilkens	A Dynamic Axiomatic Approach to First-Price Auctions	CoRR	2013	DBLP BibTeX RDF
14	Cristian Ferent, Alex Doboli, Simona Doboli	An axiomatic model for concept structure description and its application to circuit design.	Knowl. Based Syst.	2013	DBLP DOI BibTeX RDF
14	Xiaodong Liu 0001, Xinghua Feng, Witold Pedrycz	Extraction of fuzzy rules from fuzzy decision trees: An axiomatic fuzzy sets (AFS) approach.	Data Knowl. Eng.	2013	DBLP DOI BibTeX RDF
14	Christine Rizkallah	An Axiomatic Characterization of the Single-Source Shortest Path Problem.	Arch. Formal Proofs	2013	DBLP BibTeX RDF
14	Graham E. Leigh, Carlo Nicolai	Axiomatic Truth, Syntax and Metatheoretic Reasoning.	Rev. Symb. Log.	2013	DBLP DOI BibTeX RDF
14	Elaine Landry	The Genetic versus the Axiomatic method: Responding to Feferman 1977.	Rev. Symb. Log.	2013	DBLP DOI BibTeX RDF
14	Florent Domenach, Ali Tayari	Implications of Axiomatic Consensus Properties.	Algorithms from and for Nature and Life	2013	DBLP DOI BibTeX RDF
14	Anna Cena, Marek Gagolewski	OM3: Ordered Maxitive, Minitive, and Modular Aggregation Operators: Axiomatic Analysis under Arity-Dependence (I).	AGOP	2013	DBLP DOI BibTeX RDF
14	Salvatore Greco, Radko Mesiar, Fabio Rindone	Axiomatic Foundations of the Universal Integral in Terms of Aggregation Functions and Preference Relations.	AGOP	2013	DBLP DOI BibTeX RDF
14	Yinni Guo, Yu Zhu, Gavriel Salvendy, Robert W. Proctor	Value Added by the Axiomatic Usability Method for Evaluating Consumer Electronics.	HCI (15)	2013	DBLP DOI BibTeX RDF
14	Hacer Güner Gören, Osman Kulak	A New Fuzzy Multi-criteria Decision Making Approach: Extended Hierarchical Fuzzy Axiomatic Design Approach with Risk Factors.	EWG-DSS	2013	DBLP DOI BibTeX RDF
14	Gunnar E. Carlsson, Facundo Mémoli, Alejandro Ribeiro, Santiago Segarra	Axiomatic construction of hierarchical clustering in asymmetric networks.	ICASSP	2013	DBLP DOI BibTeX RDF
14	Branden Fitelson	Gibbard's Collapse Theorem for the Indicative Conditional: An Axiomatic Approach.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
14	Gerald Berger, Hans Tompits	On Axiomatic Rejection for the Description Logic ALC.	KDPD	2013	DBLP DOI BibTeX RDF
14	Peilin Yang, Hui Fang 0001	Evaluating the Effectiveness of Axiomatic Approaches in Web Track.	TREC	2013	DBLP BibTeX RDF
14	Paul Weng	Axiomatic Foundations of Generalized Qualitative Utility.	MIWAI	2013	DBLP DOI BibTeX RDF
14	Gunnar E. Carlsson, Facundo Mémoli, Alejandro Ribeiro, Santiago Segarra	Alternative axiomatic constructions for hierarchical clustering of asymmetric networks.	GlobalSIP	2013	DBLP DOI BibTeX RDF
14	Amro M. Farid	An Axiomatic Design Approach to Production Path Enumeration in Reconfigurable Manufacturing Systems.	SMC	2013	DBLP DOI BibTeX RDF
14	Darrell Hoy, Kamal Jain, Christopher A. Wilkens	A dynamic axiomatic approach to first-price auctions.	EC	2013	DBLP DOI BibTeX RDF
14	Xiaolong Li, Jennifer Wortman Vaughan	An axiomatic characterization of adaptive-liquidity market makers.	EC	2013	DBLP DOI BibTeX RDF
14	Amjad Gawanmeh	An axiomatic model for formal specification requirements of ubiquitous healthcare systems.	CCNC	2013	DBLP DOI BibTeX RDF
14	Leila Amgoud, Florence Dupin de Saint-Cyr	An Axiomatic Approach for Persuasion Dialogs.	ICTAI	2013	DBLP DOI BibTeX RDF
14	Michele Dassisti, Mariagrazia Dotoli, David Chen 0001	Interoperability analysis: General concepts for an axiomatic approach.	ETFA	2013	DBLP DOI BibTeX RDF
14	Luca Busin, Stefano Mizzaro	Axiometrics: An Axiomatic Approach to Information Retrieval Effectiveness Metrics.	ICTIR	2013	DBLP DOI BibTeX RDF
14	ChengXiang Zhai, Hui Fang 0001	Axiomatic Analysis and Optimization of Information Retrieval Models.	ICTIR	2013	DBLP DOI BibTeX RDF
14	Guillaume Burel, Simon Cruanes	Detection of First Order Axiomatic Theories.	FroCos	2013	DBLP DOI BibTeX RDF
14	Jaroslaw Szlichta, Parke Godfrey, Jarek Gryz, Calisto Zuzarte	Axiomatic System for Order Dependencies.	AMW	2013	DBLP BibTeX RDF
14	Lidong Wang, Yan Ren, Xiaodong Liu 0001	Development of Near Sets Within the Framework of Axiomatic Fuzzy Sets.	Fundam. Informaticae	2012	DBLP DOI BibTeX RDF
14	Ping Zhu 0001	An Improved Axiomatic Definition of Information Granulation.	Fundam. Informaticae	2012	DBLP DOI BibTeX RDF
14	Sébastien Dubois, Derrick Tate, Céline Conrardy, Thanh An Nguyen, Roland De Guio, Aditya Gaik-wad	Comparing the strategies and outputs of designers using Algorithm of Inventive Problem Solving, Axiomatic Design, or Environment-Based Design.	J. Integr. Des. Process. Sci.	2012	DBLP DOI BibTeX RDF
14	Daniel Kifer, Bing-Rong Lin	An Axiomatic View of Statistical Privacy and Utility.	J. Priv. Confidentiality	2012	DBLP DOI BibTeX RDF
14	Nilsen Kundakci	A Comparative Study of Fuzzy Axiomatic Design and Fuzzy TOPSIS Methods for Training Firm Selection.	J. Multiple Valued Log. Soft Comput.	2012	DBLP BibTeX RDF
14	Selçuk Çebi, Metin Celik, Cengiz Kahraman	An Axiomatic Decision Aid for Marine Equipment Selection in Ship Machinery Design and Installation Projects.	J. Multiple Valued Log. Soft Comput.	2012	DBLP BibTeX RDF
14	Angel Garrido	Axiomatic of Fuzzy Complex Numbers.	Axioms	2012	DBLP DOI BibTeX RDF
14	Lidong Wang, Xiaodong Liu 0001, Wangren Qiu	Nearness approximation space based on axiomatic fuzzy sets.	Int. J. Approx. Reason.	2012	DBLP DOI BibTeX RDF
14	Deborah Talmi, Lluís Fuentemilla, Vladimir Litvak, Emrah Düzel, Raymond J. Dolan	An MEG signature corresponding to an axiomatic model of reward prediction error.	NeuroImage	2012	DBLP DOI BibTeX RDF
14	Vakhtang Lomadze	Axiomatic characterization of linear differential systems (and operators).	Autom.	2012	DBLP DOI BibTeX RDF
14	Yanhong She, Xiaoli He	Uncertainty measures for rough formulae in rough logic: An axiomatic approach.	Comput. Math. Appl.	2012	DBLP DOI BibTeX RDF
14	Razvan Diaconescu	An axiomatic approach to structuring specifications.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
14	Xianfu Cheng	Functional Requirements Analysis-Based Method for Product Platform Design in Axiomatic Design.	J. Digit. Inf. Manag.	2012	DBLP BibTeX RDF
14	Qiang Cheng, Guojun Zhang, Peihua Gu, Xinyu Shao	A product module identification approach based on axiomatic design and design structure matrix.	Concurr. Eng. Res. Appl.	2012	DBLP DOI BibTeX RDF
14	Paul Weng	Axiomatic Foundations for a Class of Generalized Expected Utility: Algebraic Expected Utility.	CoRR	2012	DBLP BibTeX RDF
14	Moshe Tennenholtz	Reputation Systems: An Axiomatic Approach	CoRR	2012	DBLP BibTeX RDF
14	Patrice Perny, Olivier Spanjaard	An Axiomatic Approach to Robustness in Search Problems with Multiple Scenarios	CoRR	2012	DBLP BibTeX RDF
14	Ales Antonin Kubena, Peter Franek	Shapley's Game Value Axiomatic with restricted symmetry	CoRR	2012	DBLP BibTeX RDF
14	Gordana Dodig-Crnkovic, Mark Burgin	Axiomatic Tools versus Constructive approach to Unconventional Algorithms	CoRR	2012	DBLP BibTeX RDF
14	Xin Wang 0074, Xiaodong Liu 0001, Witold Pedrycz, Xiaolei Zhu, Guangfei Hu	Mining axiomatic fuzzy set association rules for classification problems.	Eur. J. Oper. Res.	2012	DBLP DOI BibTeX RDF
14	Kannan Balakrishnan, Manoj Changat, Henry Martyn Mulder, Ajitha R. Subhamathi	Axiomatic Characterization of the antimedian Function on Paths and Hypercubes.	Discret. Math. Algorithms Appl.	2012	DBLP DOI BibTeX RDF
14	Kehao Wang 0001, Lin Chen 0002	On Optimality of Myopic Policy for Restless Multi-Armed Bandit Problem: An Axiomatic Approach.	IEEE Trans. Signal Process.	2012	DBLP DOI BibTeX RDF
14	Anne van den Nouweland, Marco Slikker	An axiomatic characterization of the position value for network situations.	Math. Soc. Sci.	2012	DBLP DOI BibTeX RDF
14	Mark Burgin	Decidability and Universality in the Axiomatic Theory of Computability and Algorithms.	Int. J. Found. Comput. Sci.	2012	DBLP DOI BibTeX RDF
14	Franz Dietrich	Modelling change in individual characteristics: An axiomatic framework.	Games Econ. Behav.	2012	DBLP DOI BibTeX RDF