Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | David W. Miller |
Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 14(2), pp. 279, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.04167, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
16 | Jean-Louis Krivine |
A program for the full axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.05433, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
16 | Rafael Peñaloza |
Axiom Pinpointing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.08298, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.02312, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
16 | Tiago Mota, Mohan Sridharan |
Axiom Learning and Belief Tracing for Transparent Decision Making in Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.10645, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
16 | Juan P. Aguilera 0001 |
Determinate logic and the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 171(2), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | John Krueger |
A forcing axiom for a non-special Aronszajn tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 171(8), pp. 102820, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Michael Rathjen |
Power Kripke-Platek set theory and the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 30(1), pp. 447-457, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Hajime Ishihara, Takako Nemoto |
On the independence of premiss axiom and rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 59(7-8), pp. 793-815, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Ivonne Victoria Pallares-Vega |
Why the Axiom of Choice Sometimes Fails. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 28(6), pp. 1207-1217, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Rafael Peñaloza |
Axiom Pinpointing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Practices in Ontology Design, Extraction, and Reasoning ![In: Applications and Practices in Ontology Design, Extraction, and Reasoning., pp. 162-177, 2020, IOS Press, 978-1-64368-142-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 74-90, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA (1) ![In: Database and Expert Systems Applications - 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings, Part I, pp. 3-19, 2020, Springer, 978-3-030-59002-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Qinghua Liu, Zishi Wu, Zihao Wang, Geoff Sutcliffe |
Evaluation of Axiom Selection Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAR+SC²@IJCAR ![In: Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June-July, 2020 (Virtual)., pp. 63-75, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
16 | Timm Lampert, Anderson Nakano |
Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR (1) ![In: Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I, pp. 201-217, 2020, Springer, 978-3-030-51073-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 403-413, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Thu Huong Nguyen, Andrea G. B. Tettamanzi |
A Multi-Objective Evolutionary Approach to Class Disjointness Axiom Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WI/IAT ![In: IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, WI/IAT 2020, Melbourne, Australia, December 14-17, 2020, pp. 275-282, 2020, IEEE, 978-1-6654-1924-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMVC ![In: 31st British Machine Vision Conference 2020, BMVC 2020, Virtual Event, UK, September 7-10, 2020, 2020, BMVA Press. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
16 | Florian H. Schneider, Martin Schonger |
An Experimental Test of the Anscombe-Aumann Monotonicity Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manag. Sci. ![In: Manag. Sci. 65(4), pp. 1667-1677, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Ahmet Çevik |
Axiom of Neutrosophic Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Unconv. Comput. ![In: Int. J. Unconv. Comput. 14(5-6), pp. 467-478, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
16 | Eleftherios Tachtsis |
Łoś's theorem and the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 65(3), pp. 280-292, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Sandra Müller |
The axiom of determinacy implies dependent choice in mice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 65(3), pp. 370-375, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Selçuk Çebi, Cengiz Kahraman |
A new weighted fuzzy information axiom method in production research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Enterp. Inf. Manag. ![In: J. Enterp. Inf. Manag. 32(1), pp. 170-190, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Heike Mildenberger, Saharon Shelah |
Specializing Aronszajn Trees with Strong Axiom A and Halving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 60(4), pp. 587-616, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 66, pp. 765-792, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Tianyu Sun, Wensheng Yu |
Formalization of the Axiom of Choice and its Equivalent Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.03930, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 82, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Jörg Oechssler, Hannes Rau, Alex Roomets |
Hedging, ambiguity, and the reversal of order axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 117, pp. 380-387, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Marc Bezem, Thierry Coquand, Simon Huber |
The Univalence Axiom in Cubical Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 63(2), pp. 159-171, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Samuel G. Da Silva |
On uniformly continuous functions between pseudometric spaces and the Axiom of Countable Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 58(3-4), pp. 353-358, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Giorgi, Marco Procaccini, Farnam Khalili |
AXIOM: A Scalable, Efficient and Reconfigurable Embedded Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019, pp. 480-485, 2019, IEEE, 978-3-9819263-2-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Rafael Peñaloza |
Explaining Axiom Pinpointing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logic, Theory Combination, and All That ![In: Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, pp. 475-496, 2019, Springer, 978-3-030-22101-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019., pp. 7410-7417, 2019, AAAI Press, 978-1-57735-809-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 250-268, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIE ![In: IEEE Frontiers in Education Conference, FIE 2019, Cincinnati, OH, USA, October 16-19, 2019, pp. 1-5, 2019, IEEE, 978-1-7281-1746-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Nils Becker, Peter Müller 0001, Alexander J. Summers |
The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I, pp. 99-116, 2019, Springer, 978-3-030-17461-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Martin Unold, Christophe Cruz |
Axiom-based Probabilistic Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KEOD ![In: Proceedings of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2019, Volume 2: KEOD, Vienna, Austria, September 17-19, 2019., pp. 383-389, 2019, ScitePress, 978-989-758-382-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Magne Haveraaen |
Axiom Based Testing for Fun and Pedagogy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMFun ![In: Formal Methods - Fun for Everybody - First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers, pp. 27-57, 2019, Springer, 978-3-030-71373-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Filippo Bonchi, Jens Seeber, Pawel Sobocinski 0001 |
The Axiom of Choice in Cartesian Bicategories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 15:1-15:17, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Thu Huong Nguyen, Andrea G. B. Tettamanzi |
An Evolutionary Approach to Class Disjointness Axiom Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WI ![In: 2019 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2019, Thessaloniki, Greece, October 14-17, 2019, pp. 68-75, 2019, ACM, 978-1-4503-6934-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Zoi Terzopoulou, Ulle Endriss |
Rethinking the Neutrality Axiom in Judgment Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019, pp. 2212-2214, 2019, International Foundation for Autonomous Agents and Multiagent Systems, 978-1-4503-6309-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
16 | Jindrich Zapletal |
Bounded Namba forcing axiom may fail. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 64(3), pp. 170-172, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Richmond Thomason |
Independence of the Dual Axiom in Modal K with Primitive ◊. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 59(3), pp. 381-385, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Yan-An Hwang |
Parametric axiom of associated consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. Lett. ![In: Oper. Res. Lett. 46(6), pp. 588-591, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Ana Ozaki, Rafael Peñaloza |
Consequence-Based Axiom Pinpointing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.10250, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.06203, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Taichi Uemura |
Cubical Assemblies and Independence of the Propositional Resizing Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.06649, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 67, pp. 895-909, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Léonard Kwuida |
A single axiom for Boolean algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 249, pp. 85-90, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 67, pp. 157-172, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 336, pp. 87-115, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Christoph Benzmüller, Dana S. Scott |
Axiom Systems for Category Theory in Free Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2018, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Ori Haimanko |
The axiom of equivalence to individual power and the Banzhaf index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 108, pp. 391-400, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 57(7-8), pp. 873-888, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Jan Mycielski, Grzegorz Tomkowicz |
Shadows of the axiom of choice in the universe L(R). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 57(5-6), pp. 607-616, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Ana Ozaki, Rafael Peñaloza |
Consequence-Based Axiom Pinpointing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management - 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings, pp. 181-195, 2018, Springer, 978-3-030-00460-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018, pp. 1981-1988, 2018, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Valentin B. Shehtman |
On Kripke Completeness of Some Modal Predicate Logics with the Density Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 12, proceedings of the 12th conference on `Advances in Modal Logic,` held in Bern, Switzerland, August 27-31, 2018, pp. 559-575, 2018, College Publications, 978-1-84890-255-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., pp. 1942-1948, 2018, ijcai.org, 978-0-9992411-2-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Simone Cerreia-Vioglio, Fabio Maccheroni, Massimo Marinacci |
Stochastic Dominance Analysis Without the Independence Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manag. Sci. ![In: Manag. Sci. 63(4), pp. 1097-1109, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 32(1), pp. 681-690, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Paul B. Larson, Jindrich Zapletal |
Canonical Models for Fragments of the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 82(2), pp. 489-509, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 4(10), pp. 3127-3170, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Graham Priest |
A Note on the Axiom of Countability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 4(4), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Rafael Peñaloza, Baris Sertkaya |
Understanding the complexity of axiom pinpointing in lightweight description logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 250, pp. 80-104, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Zachiri McKenzie |
On the strength of a weak variant of the axiom of counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 63(1-2), pp. 94-103, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Miha E. Habic |
The grounded Martin's axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 63(5), pp. 437-453, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Paul E. Howard, Eleftherios Tachtsis |
On infinite-dimensional Banach spaces and weak forms of the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 63(6), pp. 509-535, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
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) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 99, pp. 51-67, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 52, pp. 540-555, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Soroush Rafiee Rad |
Equivocation Axiom on First Order Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 105(1), pp. 121-152, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Marco Tiloca, Kirill Nikitin 0001, Shahid Raza |
Axiom: DTLS-Based Secure IoT Group Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 16(3), pp. 66:1-66:29, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Marc Bezem, Thierry Coquand, Simon Huber |
The univalence axiom in cubical sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.10941, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Ian Orton, Andrew M. Pitts |
Decomposing the Univalence Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.04890, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Nicolas Troquard, Roberto Confalonieri 0001, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz |
Repairing Ontologies via Axiom Weakening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.03430, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | G. A. Kavvos |
Intensionality, Intensional Recursion, and the Gödel-Löb axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.01288, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 27(1-2), pp. 27-32, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. Eng. ![In: Comput. Ind. Eng. 105, pp. 348-361, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Adrian Felix Dominik Fellhauer |
On the relation of three theorems of functional analysis to the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Anal. ![In: J. Log. Anal. 9, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Joan Bagaria, Victoria Gitman, Ralf Schindler |
Generic Vopěnka's Principle, remarkable cardinals, and the weak Proper Forcing Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 56(1-2), pp. 1-20, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Andreas B. M. Brunner, Hugo Luiz Mariano, Samuel G. Da Silva |
Categorial forms of the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 25(4), pp. 408-430, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KESW ![In: Knowledge Engineering and Semantic Web - 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings, pp. 143-158, 2017, Springer, 978-3-319-69547-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Giuseppe Rizzo 0001, Claudia d'Amato, Nicola Fanizzi, Floriana Esposito |
Terminological Cluster Trees for Disjointness Axiom Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC (1) ![In: The Semantic Web - 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I, pp. 184-201, 2017, 978-3-319-58067-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ian Orton, Andrew M. Pitts |
Decomposing the Univalence Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 23rd International Conference on Types for Proofs and Programs, TYPES 2017, May 29-June 1, 2017, Budapest, Hungary, pp. 6:1-6:19, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-071-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine - 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings, pp. 3-13, 2017, Springer, 978-3-319-59757-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | David H. Lorenz, Boaz Rosenan |
Application Embedding: From Fish Tank to Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Companion to the first International Conference on the Art, Science and Engineering of Programming, Programming 2017, Brussels, Belgium, April 3-6, 2017, pp. 4:1, 2017, ACM, 978-1-4503-4836-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Giorgi |
AXIOM: A 64-bit reconfigurable hardware/software platform for scalable embedded computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MECO ![In: 6th Mediterranean Conference on Embedded Computing, MECO 2017, Bar, Montenegro, June 11-15, 2017, pp. 1, 2017, IEEE, 978-1-5090-6742-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Giorgi |
AXIOM: A 64-bit reconfigurable hardware/software platform for scalable embedded computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MECO ![In: 6th Mediterranean Conference on Embedded Computing, MECO 2017, Bar, Montenegro, June 11-15, 2017, pp. 1-4, 2017, IEEE, 978-1-5090-6742-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings, pp. 441-449, 2017, Springer, 978-3-319-69130-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Davide Catani |
AXIOM project: from applied research towards embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the Computing Frontiers Conference, CF'17, Siena, Italy, May 15-17, 2017, pp. 336, 2017, ACM, 978-1-4503-4487-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: 2017 International Joint Conference on Neural Networks, IJCNN 2017, Anchorage, AK, USA, May 14-19, 2017, pp. 2136-2143, 2017, IEEE, 978-1-5090-6182-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TE ![In: Transdisciplinary Engineering: A Paradigm Shift - Proceedings of the 24th ISPE Inc. International Conference on Transdisciplinary Engineering, TE 2017, Singapore, July 10-14, 2017, pp. 287-294, 2017, IOS Press, 978-1-61499-778-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPICE ![In: Software Process Improvement and Capability Determination - 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings, pp. 226-240, 2017, Springer, 978-3-319-67382-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams |
Epistemic-entrenchment Characterization of Parikh's Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 772-778, 2017, ijcai.org, 978-0-9992411-0-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Qiu Jin, Lingqiang Li |
One-axiom characterizations on lattice-valued closure (interior) operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 31(3), pp. 1679-1688, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Gonçalo Gutierres |
Total Boundedness and the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 24(5), pp. 457-469, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Janusz Pawlikowski |
The diamond covering property axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 62(4-5), pp. 407-411, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|