Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Eleftherios Tachtsis |
On Martin's Axiom and Forms of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 62(3), pp. 190-203, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 609, pp. 639-657, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 47, pp. 262-277, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.02108, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | W. Hugh Woodin |
The Weak Ultrafilter Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 55(1-2), pp. 319-351, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 31(2), pp. 577-603, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2016 Euromicro Conference on Digital System Design, DSD 2016, Limassol, Cyprus, August 31 - September 2, 2016, pp. 539-546, 2016, IEEE Computer Society, 978-1-5090-2817-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Eugen Kuksa, Till Mossakowski |
Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAR@IJCAR ![In: Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016., pp. 56-68, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Gene Kim 0001, Lenhart K. Schubert |
High-Fidelity Lexical Axiom Construction from Verb Glosses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
*SEM@ACL ![In: Proceedings of the Fifth Joint Conference on Lexical and Computational Semantics, *SEM@ACL 2016, Berlin, Germany, 11-12 August 2016, 2016, The *SEM 2016 Organizing Committee. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT-EA ![In: Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24 - 26, 2016., pp. 264-271, 2016, SciTePress, 978-989-758-194-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph |
Efficient Axiom Pinpointing in EL using SAT Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Geoffroy de Clippel |
On the redundancy of the implicit welfarist axiom in bargaining theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Econ. Theory ![In: J. Econ. Theory 157, pp. 624-647, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 142(1-4), pp. 87-104, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 28(3), pp. 1009-1021, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Xianghui Shi |
Axiom I 0 and Higher degree Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 80(3), pp. 970-1021, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 312, pp. 25-39, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Zhou-Ming Ma, Jinjin Li 0001, Ju-Sheng Mi |
Some minimal axiom sets of rough sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 312, pp. 40-54, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Kathrin Dentler, Ronald Cornet |
Intra-axiom redundancies in SNOMED CT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Medicine ![In: Artif. Intell. Medicine 65(1), pp. 29-34, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Integr. Manuf. ![In: Int. J. Comput. Integr. Manuf. 28(11), pp. 1123-1141, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Philipp Kleppmann |
Nielsen-Schreier and the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 61(6), pp. 458-465, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Albert J. J. Anglberger, Jonathan Lukic |
Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ - and RMQ *. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 103(5), pp. 985-1003, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | William Zeng, Philipp Zahn |
Contextuality and the Weak Axiom in the Theory of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1512.02668, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | M. Fareed Arif, João Marques-Silva 0001 |
Towards Efficient Axiom Pinpointing of EL+ Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.08454, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.04365, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Hossein Hosseini Giv |
The Axiom of Choice, Well-Ordering, and Well-Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 122(1), pp. 56-59, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Lingqiang Li, Qiu Jin, Kai Hu 0007 |
On stratified L-convergence spaces: Fischer's diagonal axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 267, pp. 31-40, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Misha Gavrilovich, Assaf Hasson, Itay Kaplan |
The Univalence Axiom in posetal model categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 25(3), pp. 669-682, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Decis. Sci. ![In: Int. J. Inf. Decis. Sci. 7(2), pp. 99-114, 2015. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2015, Samos, Greece, July 19-23, 2015, pp. 262-269, 2015, IEEE, 978-1-4673-7311-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2015 Euromicro Conference on Digital System Design, DSD 2015, Madeira, Portugal, August 26-28, 2015, pp. 117-124, 2015, IEEE Computer Society, 978-1-4673-8035-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | M. Fareed Arif, Carlos Mencía, João Marques-Silva 0001 |
Efficient Axiom Pinpointing with EL2MCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2015: Advances in Artificial Intelligence - 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings, pp. 225-233, 2015, Springer, 978-3-319-24488-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Ulrich Höhle |
Many-Valued Preorders II: The Symmetry Axiom and Probabilistic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Passion for Fuzzy Sets ![In: Enric Trillas: A Passion for Fuzzy Sets - A Collection of Recent Works on Fuzzy Logic, pp. 151-165, 2015, Springer, 978-3-319-16234-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 21st International Conference on Types for Proofs and Programs, TYPES 2015, May 18-21, 2015, Tallinn, Estonia, pp. 5:1-5:34, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-030-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | William Zeng, Philipp Zahn |
Contextuality and the Weak Axiom in the Theory of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QI ![In: Quantum Interaction - 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers, pp. 24-35, 2015, Springer, 978-3-319-28674-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, pp. 324-342, 2015, Springer, 978-3-319-24317-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Yuxin Ye, Dantong Ouyang, Jing Su |
Entailment-based Axiom Pinpointing in Debugging Incoherent Terminologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOST-1 ![In: Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), Changchun, China, March 9-12, 2015., pp. 105-115, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Sébastien Courtin, Boniface Mbih, Issofa Moyouwou |
Are Condorcet procedures so bad according to the reinforcement axiom? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 42(4), pp. 927-940, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Jeffrey Kane, Pavel Naumov |
The Ryōan-ji axiom for common knowledge on hypergraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 191(14), pp. 3407-3426, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Integr. Manuf. ![In: Int. J. Comput. Integr. Manuf. 27(11), pp. 1067-1078, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Philipp Kleppmann |
Generating sets of free groups and the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 60(3), pp. 239-241, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Zuhair Al-Johar, M. Randall Holmes, Nathan J. Bowler |
The Axiom Scheme of Acyclic Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 55(1), pp. 11-24, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Benno van den Berg, Ieke Moerdijk |
The axiom of multiple choice and models for constructive set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 14(1), pp. 1450005, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Gregory Schmidt |
The Axiom General Purpose Game Playing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Intell. AI Games ![In: IEEE Trans. Comput. Intell. AI Games 6(4), pp. 332-342, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Jesse Alama |
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 102(3), pp. 609-615, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Gemma Robles, José M. Méndez |
Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 102(1), pp. 185-217, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ezequiel L. Nicolazzi, Daniela Iamartino, John L. Williams |
AffyPipe: an open-source pipeline for Affymetrix Axiom genotyping workflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 30(21), pp. 3118-3119, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ernst-Erich Doberkat |
Sets, the Axiom of Choice, And All That: A Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1408.6475, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Chen Avin, Michael Borokhovich, Zvi Lotker, David Peleg |
Distributed Computing on Core-Periphery Networks: Axiom-based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.6561, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 53(3-4), pp. 327-349, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Wim Veldman |
Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's alternative. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 53(5-6), pp. 621-693, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Dan E. Willard |
On the Broader Epistemological Significance of Self-Justifying Axiom Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings, pp. 221-236, 2014, Springer, 978-3-662-44144-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Francisco Martín-Recuerda, Dirk Walther 0002 |
Fast Modularisation and Atomic Decomposition of Ontologies Using Axiom Dependency Hypergraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC (2) ![In: The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II, pp. 49-64, 2014, Springer, 978-3-319-11914-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE ![In: ENASE 2014 - Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering, Lisbon, Portugal, 28-30 April, 2014, pp. 26-37, 2014, SciTePress, 978-989-758-030-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2014, Beijing, China, July 6-11, 2014, pp. 424-431, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Chen Avin, Michael Borokhovich, Zvi Lotker, David Peleg |
Distributed Computing on Core-Periphery Networks: Axiom-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II, pp. 399-410, 2014, Springer, 978-3-662-43950-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing VII - 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings, pp. 141-151, 2014, Springer, 978-3-662-44979-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Fangzhen Lin |
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom on Situations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposia ![In: 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, 2014, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Christof Spanring |
Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSW ![In: 2014 Imperial College Computing Student Workshop, ICCSW 2014, September 25-26, 2014, London, United Kingdom, pp. 91-98, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-76-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Fangzhen Lin |
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, 2014, AAAI Press, 978-1-57735-657-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Jian Zhou, Xin Wang 0030, Zhiyong Feng 0002 |
AxiomVis: An Axiom-Oriented Ontology Visualization Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSWS ![In: The Semantic Web and Web Science - 8th Chinese Conference, CSWS 2014, Wuhan, China, August 8-12, 2014, Revised Selected Papers, pp. 156-166, 2014, Springer, 978-3-662-45494-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Francisco Martín-Recuerda, Dirk Walther 0002 |
Axiom Dependency Hypergraphs for Fast Atomic Decomposition of Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., pp. 299-310, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Wei Wang 0150 |
Rainbow Ramsey Theorem for triples is strictly weaker than the Arithmetical Comprehension Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 78(3), pp. 824-836, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Emre Cevikcan |
Evaluation of CAM Systems by Using Fuzzy Information Axiom Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 21(3-4), pp. 215-245, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Guilong Liu |
Using one axiom to characterize rough set and fuzzy rough set approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 223, pp. 285-296, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Kentaro Kojima |
A new axiom and interrelationships among coalition values for games in characteristic function form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 224, pp. 705-713, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Dan E. Willard |
On the Significance of Self-Justifying Axiom Systems from the Perspective of Analytic Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1307.0150, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Jesse Alama |
Complete independence of an axiom system for central translations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1311.1912, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Yasuo Yoshinobu |
Operations, climbability and the proper forcing axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 164(7-8), pp. 749-762, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | San-Min Wang |
Involutive uninorm logic with the n-potency axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 218, pp. 1-23, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Xiaoping Yang, Yu Yang |
Independence of axiom sets on intuitionistic fuzzy rough approximation operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Mach. Learn. Cybern. ![In: Int. J. Mach. Learn. Cybern. 4(5), pp. 505-513, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Xiaoxue Song, Xia Wang, Wen-Xiu Zhang |
Independence of axiom sets characterizing formal concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Mach. Learn. Cybern. ![In: Int. J. Mach. Learn. Cybern. 4(5), pp. 459-468, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Huiling Zhu |
Distributive proper forcing axiom and cardinal invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 52(5-6), pp. 497-506, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Laura Crosilla, Erik Palmgren, Peter Schuster 0001 |
A generalized cut characterization of the fullness axiom in CZF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 21(1), pp. 63-76, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Intell. Syst. ![In: Int. J. Comput. Intell. Syst. 6(2), pp. 279-292, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Francisco Martín-Recuerda, Dirk Walther 0002 |
Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoMO ![In: Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), Corunna, Spain, September 15, 2013., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Abhishek B. Sharma, Kenneth D. Forbus |
Automatic Extraction of Efficient Axiom Sets from Large Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA., pp. 1248-1254, 2013, AAAI Press, 978-1-57735-615-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Jianfeng Du, Rongfeng Jiang, Yong Hu 0002 |
Multi-criteria Axiom Ranking Based on Analytic Hierarchy Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSWS ![In: Linked Data and Knowledge Graph - 7th Chinese Semantic Web Symposium and 2nd Chinese Web Science Conference, CSWS 2013, Shanghai, China, August 12-16, 2013. Revised Selected Papers, pp. 118-131, 2013, Springer, 978-3-642-54024-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Conrad Mueller |
Axiom based architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGARCH Comput. Archit. News ![In: SIGARCH Comput. Archit. News 40(2), pp. 10-17, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin Claverie, Ralf Schindler |
Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 77(2), pp. 475-498, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Vladimir Kanovei, Vassily A. Lyubetsky |
An infinity which depends on the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 218(16), pp. 8196-8202, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Olivier Esser |
Forcing with the Anti-Foundation axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 58(1-2), pp. 55-62, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 58(3), pp. 130-138, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Changsung Kang, Jin Tian 0001 |
Local Markov Property for Models Satisfying Composition Axiom ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1207.1378, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | |
Inconsistency of the Zermelo-Fraenkel set theory with the axiom of choice and its effects on the computational complexity ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1203.0494, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Ben C. Moszkowski |
A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 8(3), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Cong-Hua Yan |
Weak Hausdorff separation axiom in I-fuzzy topological spaces and its application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 190, pp. 118-128, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | San-Min Wang |
Uninorm logic with the n-potency axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 205, pp. 116-126, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | T. J. M. Makarios |
The independence of Tarski's Euclidean axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2012, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Karel Hrbacek |
Axiom of Choice in nonstandard set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Anal. ![In: J. Log. Anal. 4, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Daisuke Ikegami, David de Kloet, Benedikt Löwe |
The axiom of real Blackwell determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 51(7-8), pp. 671-685, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 20(1), pp. 355-364, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Irit Askira Gelman |
An Empirical Study of the GIGO Axiom in Satisficing Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: 18th Americas Conference on Information Systems, AMCIS 2012, Seattle, Washington, USA, August 9-11, 2012, 2012, Association for Information Systems, 978-0-615-66346-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Xiaoping Jia, Christopher Jones 0002 |
AXIOM: A Model-driven Approach to Cross-platform Application Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012, pp. 24-33, 2012, SciTePress, 978-989-8565-19-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Lorenz Bühmann, Jens Lehmann 0001 |
Universal OWL Axiom Enrichment for Large Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Knowledge Engineering and Knowledge Management - 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012. Proceedings, pp. 57-71, 2012, Springer, 978-3-642-33875-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Takanori Hida |
A Computational Interpretation of the Axiom of Determinacy in Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France, pp. 335-349, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-42-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jia-Liang Xie, Shui-Li Chen, Gengda Li |
The ω-Regular seperation Axiom in lω-Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QLSC ![In: Quantitative Logic and Soft Computing, Proceedings of the QLSC 2012, Xi'an, China, 12-15 May 2012, 2012, World Scientific, 978-981-4401-52-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Hai H. Nguyen, Natasha Alechina, Brian Logan 0001 |
Axiom Pinpointing Using an Assumption-Based Truth Maintenance System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Tomás Skopal, Tomás Bartos |
Algorithmic Exploration of Axiom Spaces for Efficient Similarity Search at Large Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SISAP ![In: Similarity Search and Applications - 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012. Proceedings, pp. 40-53, 2012, Springer, 978-3-642-32152-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Yan-Lan Zhang, Mao-Kang Luo |
On minimization of axiom sets characterizing covering-based approximation operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 181(14), pp. 3032-3042, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Diyar Akay, Osman Kulak, Brian Henson |
Conceptual design evaluation using interval type-2 fuzzy information axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 62(2), pp. 138-146, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|