Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | David W. Miller |
Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice. |
Logica Universalis |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev |
A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Jean-Louis Krivine |
A program for the full axiom of choice. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Rafael Peñaloza |
Axiom Pinpointing. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Ruigang Fu, Qingyong Hu, Xiaohu Dong, Yulan Guo, Yinghui Gao, Biao Li |
Axiom-based Grad-CAM: Towards Accurate Visualization and Explanation of CNNs. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Tiago Mota, Mohan Sridharan |
Axiom Learning and Belief Tracing for Transparent Decision Making in Robotics. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Juan P. Aguilera 0001 |
Determinate logic and the Axiom of Choice. |
Ann. Pure Appl. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | John Krueger |
A forcing axiom for a non-special Aronszajn tree. |
Ann. Pure Appl. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Michael Rathjen |
Power Kripke-Platek set theory and the axiom of choice. |
J. Log. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Hajime Ishihara, Takako Nemoto |
On the independence of premiss axiom and rule. |
Arch. Math. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Ivonne Victoria Pallares-Vega |
Why the Axiom of Choice Sometimes Fails. |
Log. J. IGPL |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Rafael Peñaloza |
Axiom Pinpointing. |
Applications and Practices in Ontology Design, Extraction, and Reasoning |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Valérie Lynn Therrien |
A Diagram of Choice: The Curious Case of Wallis's Attempted Proof of the Parallel Postulate and the Axiom of Choice. |
Diagrams |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Dirk Draheim, Tanel Tammet |
From Sensors to Dempster-Shafer Theory and Back: The Axiom of Ambiguous Sensor Correctness and Its Applications - Keynote at DEXA'2020 - The 31st International Conference on Database and Expert Systems Applications. |
DEXA (1) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Qinghua Liu, Zishi Wu, Zihao Wang, Geoff Sutcliffe |
Evaluation of Axiom Selection Techniques. |
PAAR+SC²@IJCAR |
2020 |
DBLP BibTeX RDF |
|
16 | Timm Lampert, Anderson Nakano |
Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates. |
IJCAR (1) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev |
A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Thu Huong Nguyen, Andrea G. B. Tettamanzi |
A Multi-Objective Evolutionary Approach to Class Disjointness Axiom Discovery. |
WI/IAT |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Confalonieri 0001, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard |
Towards Even More Irresistible Axiom Weakening. |
Description Logics |
2020 |
DBLP BibTeX RDF |
|
16 | Ruigang Fu, Qingyong Hu, Xiaohu Dong, Yulan Guo, Yinghui Gao, Biao Li |
Axiom-based Grad-CAM: Towards Accurate Visualization and Explanation of CNNs. |
BMVC |
2020 |
DBLP BibTeX RDF |
|
16 | Florian H. Schneider, Martin Schonger |
An Experimental Test of the Anscombe-Aumann Monotonicity Axiom. |
Manag. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Ahmet Çevik |
Axiom of Neutrosophic Choice. |
Int. J. Unconv. Comput. |
2019 |
DBLP BibTeX RDF |
|
16 | Eleftherios Tachtsis |
Łoś's theorem and the axiom of choice. |
Math. Log. Q. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Sandra Müller |
The axiom of determinacy implies dependent choice in mice. |
Math. Log. Q. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Selçuk Çebi, Cengiz Kahraman |
A new weighted fuzzy information axiom method in production research. |
J. Enterp. Inf. Manag. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Heike Mildenberger, Saharon Shelah |
Specializing Aronszajn Trees with Strong Axiom A and Halving. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams |
Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision. |
J. Artif. Intell. Res. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Tianyu Sun, Wensheng Yu |
Formalization of the Axiom of Choice and its Equivalent Theorems. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Hamidreza Seiti, Ashkan Hafezalkotob, Seyyed Esmaeil Najafi, Mehran Khalaj |
Developing a novel risk-based MCDM approach based on D numbers and fuzzy information axiom and its applications in preventive maintenance planning. |
Appl. Soft Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Jörg Oechssler, Hannes Rau, Alex Roomets |
Hedging, ambiguity, and the reversal of order axiom. |
Games Econ. Behav. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Marc Bezem, Thierry Coquand, Simon Huber |
The Univalence Axiom in Cubical Sets. |
J. Autom. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Samuel G. Da Silva |
On uniformly continuous functions between pseudometric spaces and the Axiom of Countable Choice. |
Arch. Math. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Giorgi, Marco Procaccini, Farnam Khalili |
AXIOM: A Scalable, Efficient and Reconfigurable Embedded Platform. |
DATE |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Rafael Peñaloza |
Explaining Axiom Pinpointing. |
Description Logic, Theory Combination, and All That |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki |
Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. |
AAAI |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Ulrich Furbach, Teresa Krämer, Claudia Schon |
Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection. |
CADE |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Julie A. Rursch, Andy Luse |
The Group Level Contextual Support of IT Self-Efficacy on Individual's Choice to Major in IT: A Multilevel Examination of the Rising Tide Raises All Boats Axiom. |
FIE |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Nils Becker, Peter Müller 0001, Alexander J. Summers |
The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations. |
TACAS (1) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Martin Unold, Christophe Cruz |
Axiom-based Probabilistic Description Logic. |
KEOD |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Magne Haveraaen |
Axiom Based Testing for Fun and Pedagogy. |
FMFun |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Filippo Bonchi, Jens Seeber, Pawel Sobocinski 0001 |
The Axiom of Choice in Cartesian Bicategories. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Thu Huong Nguyen, Andrea G. B. Tettamanzi |
An Evolutionary Approach to Class Disjointness Axiom Discovery. |
WI |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Zoi Terzopoulou, Ulle Endriss |
Rethinking the Neutrality Axiom in Judgment Aggregation. |
AAMAS |
2019 |
DBLP BibTeX RDF |
|
16 | Jindrich Zapletal |
Bounded Namba forcing axiom may fail. |
Math. Log. Q. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Richmond Thomason |
Independence of the Dual Axiom in Modal K with Primitive ◊. |
Notre Dame J. Formal Log. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Yan-An Hwang |
Parametric axiom of associated consistency. |
Oper. Res. Lett. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Ana Ozaki, Rafael Peñaloza |
Consequence-Based Axiom Pinpointing. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki |
Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Taichi Uemura |
Cubical Assemblies and Independence of the Propositional Resizing Axiom. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Hamidreza Seiti, Ashkan Hafezalkotob, Reza Fattahi |
Extending a pessimistic-optimistic fuzzy information axiom based approach considering acceptable risk: Application in the selection of maintenance strategy. |
Appl. Soft Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Léonard Kwuida |
A single axiom for Boolean algebras. |
Discret. Appl. Math. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Cengiz Kahraman, Selçuk Çebi, Sezi Çevik Onar, Basar Öztaysi |
A novel trapezoidal intuitionistic fuzzy information axiom approach: An application to multicriteria landfill site selection. |
Eng. Appl. Artif. Intell. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Yan-Ling Bao, Hai-Long Yang, Yanhong She |
Using one axiom to characterize L-fuzzy rough approximation operators based on residuated lattices. |
Fuzzy Sets Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Christoph Benzmüller, Dana S. Scott |
Axiom Systems for Category Theory in Free Logic. |
Arch. Formal Proofs |
2018 |
DBLP BibTeX RDF |
|
16 | Ori Haimanko |
The axiom of equivalence to individual power and the Banzhaf index. |
Games Econ. Behav. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio, Thomas Streicher |
Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice. |
Arch. Math. Log. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Jan Mycielski, Grzegorz Tomkowicz |
Shadows of the axiom of choice in the universe L(R). |
Arch. Math. Log. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Ana Ozaki, Rafael Peñaloza |
Consequence-Based Axiom Pinpointing. |
SUM |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Nicolas Troquard, Roberto Confalonieri 0001, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz |
Repairing Ontologies via Axiom Weakening. |
AAAI |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Valentin B. Shehtman |
On Kripke Completeness of Some Modal Predicate Logics with the Density Axiom. |
Advances in Modal Logic |
2018 |
DBLP BibTeX RDF |
|
16 | Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri 0001, Pietro Galliani, Oliver Kutz |
Two Approaches to Ontology Aggregation Based on Axiom Weakening. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Simone Cerreia-Vioglio, Fabio Maccheroni, Massimo Marinacci |
Stochastic Dominance Analysis Without the Independence Axiom. |
Manag. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Zhen Ming Ma, Wei Yang 0036, Zhi Qiang Liu |
Several types of filters related to the Stonean axiom in residuated lattices. |
J. Intell. Fuzzy Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Paul B. Larson, Jindrich Zapletal |
Canonical Models for Fragments of the Axiom of Choice. |
J. Symb. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg |
Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom. |
FLAP |
2017 |
DBLP BibTeX RDF |
|
16 | Graham Priest |
A Note on the Axiom of Countability. |
FLAP |
2017 |
DBLP BibTeX RDF |
|
16 | Rafael Peñaloza, Baris Sertkaya |
Understanding the complexity of axiom pinpointing in lightweight description logics. |
Artif. Intell. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Zachiri McKenzie |
On the strength of a weak variant of the axiom of counting. |
Math. Log. Q. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Miha E. Habic |
The grounded Martin's axiom. |
Math. Log. Q. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Paul E. Howard, Eleftherios Tachtsis |
On infinite-dimensional Banach spaces and weak forms of the axiom of choice. |
Math. Log. Q. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Chen Avin, Michael Borokhovich, Zvi Lotker, David Peleg |
Distributed computing on core-periphery networks: Axiom-based design. |
J. Parallel Distributed Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Dimitris Theodoropoulos, 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, Dionisis N. Pnevmatikatos, Antonio Rizzo, Paolo Gai, Stefano Garzarella, Bruno Morelli, Alberto Pomella, Roberto Giorgi |
The AXIOM platform for next-generation cyber physical systems. |
Microprocess. Microsystems |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Soroush Rafiee Rad |
Equivocation Axiom on First Order Languages. |
Stud Logica |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Marco Tiloca, Kirill Nikitin 0001, Shahid Raza |
Axiom: DTLS-Based Secure IoT Group Communication. |
ACM Trans. Embed. Comput. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Marc Bezem, Thierry Coquand, Simon Huber |
The univalence axiom in cubical sets. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Ian Orton, Andrew M. Pitts |
Decomposing the Univalence Axiom. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Nicolas Troquard, Roberto Confalonieri 0001, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz |
Repairing Ontologies via Axiom Weakening. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | G. A. Kavvos |
Intensionality, Intensional Recursion, and the Gödel-Löb axiom. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Mateusz M. Radzki |
On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Cengiz Kahraman, Sezi Çevik Onar, Selçuk Çebi, Basar Öztaysi |
Extension of information axiom from ordinary to intuitionistic fuzzy sets: An application to search algorithm selection. |
Comput. Ind. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Adrian Felix Dominik Fellhauer |
On the relation of three theorems of functional analysis to the axiom of choice. |
J. Log. Anal. |
2017 |
DBLP BibTeX RDF |
|
16 | Joan Bagaria, Victoria Gitman, Ralf Schindler |
Generic Vopěnka's Principle, remarkable cardinals, and the weak Proper Forcing Axiom. |
Arch. Math. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Andreas B. M. Brunner, Hugo Luiz Mariano, Samuel G. Da Silva |
Categorial forms of the Axiom of Choice. |
Log. J. IGPL |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Olga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev |
More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom. |
KESW |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Giuseppe Rizzo 0001, Claudia d'Amato, Nicola Fanizzi, Floriana Esposito |
Terminological Cluster Trees for Disjointness Axiom Discovery. |
ESWC (1) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ian Orton, Andrew M. Pitts |
Decomposing the Univalence Axiom. |
TYPES |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Quesada-Martínez, Jesualdo Tomás Fernández-Breis |
Studying the Reuse of Content in Biomedical Ontologies: An Axiom-Based Approach. |
AIME |
2017 |
DBLP DOI BibTeX RDF |
|
16 | David H. Lorenz, Boaz Rosenan |
Application Embedding: From Fish Tank to Axiom. |
Programming |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Giorgi |
AXIOM: A 64-bit reconfigurable hardware/software platform for scalable embedded computing. |
MECO |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Giorgi |
AXIOM: A 64-bit reconfigurable hardware/software platform for scalable embedded computing. |
MECO |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Daniele Porello, Nicolas Troquard, Roberto Confalonieri 0001, Pietro Galliani, Oliver Kutz, Rafael Peñaloza |
Repairing Socially Aggregated Ontologies Using Axiom Weakening. |
PRIMA |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Davide Catani |
AXIOM project: from applied research towards embedded systems. |
Conf. Computing Frontiers |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Chenghao Cai, Dengfeng Ke, Yanyan Xu 0001, Kaile Su |
Symbolic manipulation based on deep neural networks and its application to axiom discovery. |
IJCNN |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Tsu-Wu Hu, Fanglin Chao, Kuan-Wu Lin, Zhao-Ru Lu |
Research on Improvement of Human Interface Design for AXIOM Digital Micro Machining. |
TE |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Olga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev |
On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom. |
Description Logics |
2017 |
DBLP BibTeX RDF |
|
16 | Edward Kabaale, Lian Wen, Zhe Wang 0001, Terry Rout |
An Axiom Based Metamodel for Software Process Formalisation: An Ontology Approach. |
SPICE |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams |
Epistemic-entrenchment Characterization of Parikh's Axiom. |
IJCAI |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Qiu Jin, Lingqiang Li |
One-axiom characterizations on lattice-valued closure (interior) operators. |
J. Intell. Fuzzy Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Gonçalo Gutierres |
Total Boundedness and the Axiom of Choice. |
Appl. Categorical Struct. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Janusz Pawlikowski |
The diamond covering property axiom. |
Math. Log. Q. |
2016 |
DBLP DOI BibTeX RDF |
|