Search results for "CL–Axiom"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Eleftherios Tachtsis	On Martin's Axiom and Forms of Choice.	Math. Log. Q.	2016	DBLP DOI BibTeX RDF
16	Nan Zhang 0001, Zhenhua Duan, Cong Tian	A complete axiom system for propositional projection temporal logic with cylinder computation model.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
16	Carlos Álvarez 0001, Eduard Ayguadé, Jaume Bosch, Javier Bueno, Artem Cherkashin, Antonio Filgueras, Daniel Jiménez-González, Xavier Martorell, Nacho Navarro, Miquel Vidal, Dimitris Theodoropoulos, Dionisios N. Pnevmatikatos, Davide Catani, David Oro, Carles Fernández, Carlos Segura, Javier Rodríguez Saeta, Javier Hernando, Claudio Scordino, Paolo Gai, Pierluigi Passera	The AXIOM software layers.	Microprocess. Microsystems	2016	DBLP DOI BibTeX RDF
16	Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg	Cubical Type Theory: a constructive interpretation of the univalence axiom.	CoRR	2016	DBLP BibTeX RDF
16	W. Hugh Woodin	The Weak Ultrafilter Axiom.	Arch. Math. Log.	2016	DBLP DOI BibTeX RDF
16	Nan Zhang 0001, Mengfei Yang, Bin Gu 0006, Zhenhua Duan, Cong Tian	Verifying safety critical task scheduling systems in PPTL axiom system.	J. Comb. Optim.	2016	DBLP DOI BibTeX RDF
16	Somnath Mazumdar, Eduard Ayguadé, Nicola Bettin, Javier Bueno, Sara Ermini, Antonio Filgueras, Daniel Jiménez-González, Carlos Álvarez-Martínez, Xavier Martorell, Francesco Montefoschi, David Oro, Dionisios N. Pnevmatikatos, Antonio Rizzo, Dimitris Theodoropoulos, Roberto Giorgi	AXIOM: A Hardware-Software Platform for Cyber Physical Systems.	DSD	2016	DBLP DOI BibTeX RDF
16	Eugen Kuksa, Till Mossakowski	Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub.	PAAR@IJCAR	2016	DBLP BibTeX RDF
16	Gene Kim 0001, Lenhart K. Schubert	High-Fidelity Lexical Axiom Construction from Verb Glosses.	*SEM@ACL	2016	DBLP DOI BibTeX RDF
16	Christopher Jones 0002, Xiaoping Jia	An Empirical Evaluation of AXIOM as an Approach to Cross-platform Mobile Application Development.	ICSOFT-EA	2016	DBLP DOI BibTeX RDF
16	Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph	Efficient Axiom Pinpointing in EL using SAT Technology.	Description Logics	2016	DBLP BibTeX RDF
16	Geoffroy de Clippel	On the redundancy of the implicit welfarist axiom in bargaining theory.	J. Econ. Theory	2015	DBLP DOI BibTeX RDF
16	Wei-Zhi Wu 0001, Tong-Jun Li, Shen-Ming Gu	Using One Axiom to Characterize Fuzzy Rough Approximation Operators Determined by a Fuzzy Implication Operator.	Fundam. Informaticae	2015	DBLP DOI BibTeX RDF
16	Ahmet Aktas, Selçuk Çebi, Izzettin Temiz	A new evaluation model for service quality of health care systems based on AHP and information axiom.	J. Intell. Fuzzy Syst.	2015	DBLP DOI BibTeX RDF
16	Xianghui Shi	Axiom I 0 and Higher degree Theory.	J. Symb. Log.	2015	DBLP DOI BibTeX RDF
16	Dongping Chen, Xuening Chu, Xiwu Sun, Yupeng Li, Yuliang Su	An Information Axiom based decision making approach under hybrid uncertain environments.	Inf. Sci.	2015	DBLP DOI BibTeX RDF
16	Zhou-Ming Ma, Jinjin Li 0001, Ju-Sheng Mi	Some minimal axiom sets of rough sets.	Inf. Sci.	2015	DBLP DOI BibTeX RDF
16	Kathrin Dentler, Ronald Cornet	Intra-axiom redundancies in SNOMED CT.	Artif. Intell. Medicine	2015	DBLP DOI BibTeX RDF
16	Dongping Chen, Xuening Chu, Xiwu Sun, Yupeng Li	A new product service system concept evaluation approach based on Information Axiom in a fuzzy-stochastic environment.	Int. J. Comput. Integr. Manuf.	2015	DBLP DOI BibTeX RDF
16	Philipp Kleppmann	Nielsen-Schreier and the Axiom of Choice.	Math. Log. Q.	2015	DBLP DOI BibTeX RDF
16	Albert J. J. Anglberger, Jonathan Lukic	Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ - and RMQ *.	Stud Logica	2015	DBLP DOI BibTeX RDF
16	William Zeng, Philipp Zahn	Contextuality and the Weak Axiom in the Theory of Choice.	CoRR	2015	DBLP BibTeX RDF
16	M. Fareed Arif, João Marques-Silva 0001	Towards Efficient Axiom Pinpointing of EL+ Ontologies.	CoRR	2015	DBLP BibTeX RDF
16	M. Fareed Arif, Carlos Mencía, João Marques-Silva 0001	Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing.	CoRR	2015	DBLP BibTeX RDF
16	Hossein Hosseini Giv	The Axiom of Choice, Well-Ordering, and Well-Classification.	Am. Math. Mon.	2015	DBLP DOI BibTeX RDF
16	Lingqiang Li, Qiu Jin, Kai Hu 0007	On stratified L-convergence spaces: Fischer's diagonal axiom.	Fuzzy Sets Syst.	2015	DBLP DOI BibTeX RDF
16	Misha Gavrilovich, Assaf Hasson, Itay Kaplan	The Univalence Axiom in posetal model categories.	J. Log. Comput.	2015	DBLP DOI BibTeX RDF
16	Mohsen Afsharian, Heinz Ahn, Mohammadreza Alirezaee	Developing selective proportionality on the FDH models: new insight on the proportionality axiom.	Int. J. Inf. Decis. Sci.	2015	DBLP DOI BibTeX RDF
16	Dimitris Theodoropoulos, Dionisios N. Pnevmatikatos, Carlos Álvarez 0001, Eduard Ayguadé, Javier Bueno, Antonio Filgueras, Daniel Jiménez-González, Xavier Martorell, Nacho Navarro, Carlos Segura, Carles Fernández, David Oro, Javier Rodríguez Saeta, Paolo Gai, Antonio Rizzo, Roberto Giorgi	The AXIOM project (Agile, eXtensible, fast I/O Module).	SAMOS	2015	DBLP DOI BibTeX RDF
16	Carlos Álvarez 0001, Eduard Ayguadé, Javier Bueno, Antonio Filgueras, Daniel Jiménez-González, Xavier Martorell, Nacho Navarro, Dimitris Theodoropoulos, Dionisios N. Pnevmatikatos, Davide Catani, Claudio Scordino, Paolo Gai, Carlos Segura, Carles Fernández, David Oro, Javier Rodríguez Saeta, Pierluigi Passera, Alberto Pomella, Antonio Rizzo, Roberto Giorgi	The AXIOM Software Layers.	DSD	2015	DBLP DOI BibTeX RDF
16	M. Fareed Arif, Carlos Mencía, João Marques-Silva 0001	Efficient Axiom Pinpointing with EL2MCS.	KI	2015	DBLP DOI BibTeX RDF
16	Ulrich Höhle	Many-Valued Preorders II: The Symmetry Axiom and Probabilistic Geometry.	A Passion for Fuzzy Sets	2015	DBLP DOI BibTeX RDF
16	Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg	Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom.	TYPES	2015	DBLP DOI BibTeX RDF
16	William Zeng, Philipp Zahn	Contextuality and the Weak Axiom in the Theory of Choice.	QI	2015	DBLP DOI BibTeX RDF
16	M. Fareed Arif, Carlos Mencía, João Marques-Silva 0001	Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing.	SAT	2015	DBLP DOI BibTeX RDF
16	Yuxin Ye, Dantong Ouyang, Jing Su	Entailment-based Axiom Pinpointing in Debugging Incoherent Terminologies.	IWOST-1	2015	DBLP BibTeX RDF
16	Sébastien Courtin, Boniface Mbih, Issofa Moyouwou	Are Condorcet procedures so bad according to the reinforcement axiom?	Soc. Choice Welf.	2014	DBLP DOI BibTeX RDF
16	Jeffrey Kane, Pavel Naumov	The Ryōan-ji axiom for common knowledge on hypergraphs.	Synth.	2014	DBLP DOI BibTeX RDF
16	Ruijun Zhang, Jiwei Qiu, Qingxuan Jia, Xiaowei Wang, Mingxiao Dong	An improved fuzzy evaluation method for design schemes based on the information axiom.	Int. J. Comput. Integr. Manuf.	2014	DBLP DOI BibTeX RDF
16	Philipp Kleppmann	Generating sets of free groups and the axiom of choice.	Math. Log. Q.	2014	DBLP DOI BibTeX RDF
16	Zuhair Al-Johar, M. Randall Holmes, Nathan J. Bowler	The Axiom Scheme of Acyclic Comprehension.	Notre Dame J. Formal Log.	2014	DBLP DOI BibTeX RDF
16	Benno van den Berg, Ieke Moerdijk	The axiom of multiple choice and models for constructive set theory.	J. Math. Log.	2014	DBLP DOI BibTeX RDF
16	Gregory Schmidt	The Axiom General Purpose Game Playing System.	IEEE Trans. Comput. Intell. AI Games	2014	DBLP DOI BibTeX RDF
16	Jesse Alama	The Simplest Axiom System for Hyperbolic Geometry Revisited, Again.	Stud Logica	2014	DBLP DOI BibTeX RDF
16	Gemma Robles, José M. Méndez	Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance.	Stud Logica	2014	DBLP DOI BibTeX RDF
16	Ezequiel L. Nicolazzi, Daniela Iamartino, John L. Williams	AffyPipe: an open-source pipeline for Affymetrix Axiom genotyping workflow.	Bioinform.	2014	DBLP DOI BibTeX RDF
16	Ernst-Erich Doberkat	Sets, the Axiom of Choice, And All That: A Tutorial.	CoRR	2014	DBLP BibTeX RDF
16	Chen Avin, Michael Borokhovich, Zvi Lotker, David Peleg	Distributed Computing on Core-Periphery Networks: Axiom-based Design.	CoRR	2014	DBLP BibTeX RDF
16	Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín	On axiom schemes for T-provably Δ1 formulas.	Arch. Math. Log.	2014	DBLP DOI BibTeX RDF
16	Wim Veldman	Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's alternative.	Arch. Math. Log.	2014	DBLP DOI BibTeX RDF
16	Dan E. Willard	On the Broader Epistemological Significance of Self-Justifying Axiom Systems.	WoLLIC	2014	DBLP DOI BibTeX RDF
16	Francisco Martín-Recuerda, Dirk Walther 0002	Fast Modularisation and Atomic Decomposition of Ontologies Using Axiom Dependency Hypergraphs.	ISWC (2)	2014	DBLP DOI BibTeX RDF
16	Christopher Jones 0002, Xiaoping Jia	The AXIOM Model Framework - Transforming Requirements to Native Code for Cross-platform Mobile Applications.	ENASE	2014	DBLP DOI BibTeX RDF
16	Jieyu Zhan, Xudong Luo, Cong Feng, Wenjun Ma	A fuzzy logic based bargaining model in discrete domains: Axiom, elicitation and property.	FUZZ-IEEE	2014	DBLP DOI BibTeX RDF
16	Chen Avin, Michael Borokhovich, Zvi Lotker, David Peleg	Distributed Computing on Core-Periphery Networks: Axiom-Based Design.	ICALP (2)	2014	DBLP DOI BibTeX RDF
16	Meiying Sun, Shaobo Deng, Yuefei Sui	The Correspondence between Propositional Modal Logic with Axiom $\Box\varphi \leftrightarrow \Diamond \varphi $ and the Propositional Logic.	Intelligent Information Processing	2014	DBLP DOI BibTeX RDF
16	Fangzhen Lin	A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom on Situations.	AAAI Spring Symposia	2014	DBLP BibTeX RDF
16	Christof Spanring	Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games.	ICCSW	2014	DBLP DOI BibTeX RDF
16	Fangzhen Lin	A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations.	KR	2014	DBLP BibTeX RDF
16	Jian Zhou, Xin Wang 0030, Zhiyong Feng 0002	AxiomVis: An Axiom-Oriented Ontology Visualization Tool.	CSWS	2014	DBLP DOI BibTeX RDF
16	Francisco Martín-Recuerda, Dirk Walther 0002	Axiom Dependency Hypergraphs for Fast Atomic Decomposition of Ontologies.	Description Logics	2014	DBLP BibTeX RDF
16	Wei Wang 0150	Rainbow Ramsey Theorem for triples is strictly weaker than the Arithmetical Comprehension Axiom.	J. Symb. Log.	2013	DBLP DOI BibTeX RDF
16	Emre Cevikcan	Evaluation of CAM Systems by Using Fuzzy Information Axiom Approach.	J. Multiple Valued Log. Soft Comput.	2013	DBLP BibTeX RDF
16	Guilong Liu	Using one axiom to characterize rough set and fuzzy rough set approximations.	Inf. Sci.	2013	DBLP DOI BibTeX RDF
16	Kentaro Kojima	A new axiom and interrelationships among coalition values for games in characteristic function form.	Appl. Math. Comput.	2013	DBLP DOI BibTeX RDF
16	Dan E. Willard	On the Significance of Self-Justifying Axiom Systems from the Perspective of Analytic Tableaux.	CoRR	2013	DBLP BibTeX RDF
16	Jesse Alama	Complete independence of an axiom system for central translations.	CoRR	2013	DBLP BibTeX RDF
16	Yasuo Yoshinobu	Operations, climbability and the proper forcing axiom.	Ann. Pure Appl. Log.	2013	DBLP DOI BibTeX RDF
16	San-Min Wang	Involutive uninorm logic with the n-potency axiom.	Fuzzy Sets Syst.	2013	DBLP DOI BibTeX RDF
16	Xiaoping Yang, Yu Yang	Independence of axiom sets on intuitionistic fuzzy rough approximation operators.	Int. J. Mach. Learn. Cybern.	2013	DBLP DOI BibTeX RDF
16	Xiaoxue Song, Xia Wang, Wen-Xiu Zhang	Independence of axiom sets characterizing formal concepts.	Int. J. Mach. Learn. Cybern.	2013	DBLP DOI BibTeX RDF
16	Huiling Zhu	Distributive proper forcing axiom and cardinal invariants.	Arch. Math. Log.	2013	DBLP DOI BibTeX RDF
16	Laura Crosilla, Erik Palmgren, Peter Schuster 0001	A generalized cut characterization of the fullness axiom in CZF.	Log. J. IGPL	2013	DBLP DOI BibTeX RDF
16	Senem Kursun Bahadir, Selçuk Çebi, Cengiz Kahraman, Fatma Kalaoglu	Developing a Smart Clothing System for Blinds Based on Information Axiom.	Int. J. Comput. Intell. Syst.	2013	DBLP DOI BibTeX RDF
16	Francisco Martín-Recuerda, Dirk Walther 0002	Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs.	WoMO	2013	DBLP BibTeX RDF
16	Abhishek B. Sharma, Kenneth D. Forbus	Automatic Extraction of Efficient Axiom Sets from Large Knowledge Bases.	AAAI	2013	DBLP DOI BibTeX RDF
16	Jianfeng Du, Rongfeng Jiang, Yong Hu 0002	Multi-criteria Axiom Ranking Based on Analytic Hierarchy Process.	CSWS	2013	DBLP DOI BibTeX RDF
16	Conrad Mueller	Axiom based architecture.	SIGARCH Comput. Archit. News	2012	DBLP DOI BibTeX RDF
16	Benjamin Claverie, Ralf Schindler	Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁.	J. Symb. Log.	2012	DBLP DOI BibTeX RDF
16	Vladimir Kanovei, Vassily A. Lyubetsky	An infinity which depends on the axiom of choice.	Appl. Math. Comput.	2012	DBLP DOI BibTeX RDF
16	Olivier Esser	Forcing with the Anti-Foundation axiom.	Math. Log. Q.	2012	DBLP DOI BibTeX RDF
16	Kyriakos Keremedis	Compact and Loeb Hausdorff spaces in &equation image; and the axiom of choice for families of finite sets.	Math. Log. Q.	2012	DBLP DOI BibTeX RDF
16	Changsung Kang, Jin Tian 0001	Local Markov Property for Models Satisfying Composition Axiom	CoRR	2012	DBLP BibTeX RDF
16		Inconsistency of the Zermelo-Fraenkel set theory with the axiom of choice and its effects on the computational complexity	CoRR	2012	DBLP BibTeX RDF
16	Ben C. Moszkowski	A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time	Log. Methods Comput. Sci.	2012	DBLP DOI BibTeX RDF
16	Cong-Hua Yan	Weak Hausdorff separation axiom in I-fuzzy topological spaces and its application.	Fuzzy Sets Syst.	2012	DBLP DOI BibTeX RDF
16	San-Min Wang	Uninorm logic with the n-potency axiom.	Fuzzy Sets Syst.	2012	DBLP DOI BibTeX RDF
16	T. J. M. Makarios	The independence of Tarski's Euclidean axiom.	Arch. Formal Proofs	2012	DBLP BibTeX RDF
16	Karel Hrbacek	Axiom of Choice in nonstandard set theory.	J. Log. Anal.	2012	DBLP BibTeX RDF
16	Daisuke Ikegami, David de Kloet, Benedikt Löwe	The axiom of real Blackwell determinacy.	Arch. Math. Log.	2012	DBLP DOI BibTeX RDF
16	José M. Méndez, Gemma Robles, Francisco Salto	Ticket Entailment plus the mingle axiom has the variable-sharing property.	Log. J. IGPL	2012	DBLP DOI BibTeX RDF
16	Irit Askira Gelman	An Empirical Study of the GIGO Axiom in Satisficing Decisions.	AMCIS	2012	DBLP BibTeX RDF
16	Xiaoping Jia, Christopher Jones 0002	AXIOM: A Model-driven Approach to Cross-platform Application Development.	ICSOFT	2012	DBLP DOI BibTeX RDF
16	Lorenz Bühmann, Jens Lehmann 0001	Universal OWL Axiom Enrichment for Large Knowledge Bases.	EKAW	2012	DBLP DOI BibTeX RDF
16	Takanori Hida	A Computational Interpretation of the Axiom of Determinacy in Arithmetic.	CSL	2012	DBLP DOI BibTeX RDF
16	Jia-Liang Xie, Shui-Li Chen, Gengda Li	The ω-Regular seperation Axiom in lω-Spaces.	QLSC	2012	DBLP DOI BibTeX RDF
16	Hai H. Nguyen, Natasha Alechina, Brian Logan 0001	Axiom Pinpointing Using an Assumption-Based Truth Maintenance System.	Description Logics	2012	DBLP BibTeX RDF
16	Tomás Skopal, Tomás Bartos	Algorithmic Exploration of Axiom Spaces for Efficient Similarity Search at Large Scale.	SISAP	2012	DBLP DOI BibTeX RDF
16	Yan-Lan Zhang, Mao-Kang Luo	On minimization of axiom sets characterizing covering-based approximation operators.	Inf. Sci.	2011	DBLP DOI BibTeX RDF
16	Diyar Akay, Osman Kulak, Brian Henson	Conceptual design evaluation using interval type-2 fuzzy information axiom.	Comput. Ind.	2011	DBLP DOI BibTeX RDF