Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Milena Stefanova, Herman Geuvers |
A Simple Model Construction for the Calculus of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers, pp. 249-264, 1995, Springer, 3-540-61780-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Sergei Tupailo |
On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings, pp. 44-53, 1994, Springer, 3-540-58216-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Tsau Young Lin, Qing Liu 0011, Y. Y. Yao |
Logics Systems for Approximate Reasoning: Approximation via Rough Sets and Topological Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings, pp. 65-74, 1994, Springer, 3-540-58495-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Dietrich Kuske |
Nondeterministic Automata with Concurrency Relations and Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: Trees in Algebra and Programming - CAAP'94, 19th International Colloquium, Edinburgh, UK, April 11-13, 1994, Proceedings, pp. 202-217, 1994, Springer, 3-540-57879-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone |
Extending Horn Clause Theories by Reflection Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 400-413, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Yishai A. Feldman, Haim Schneider |
Simulating Reactive Systems by Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 2(2), pp. 128-175, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Giuseppe Longo |
Types as Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings, pp. 658-670, 1993, Springer, 3-540-56610-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Alexandre Boudet, Evelyne Contejean |
On n-Syntactic Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings, pp. 446-457, 1992, Springer, 3-540-55873-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Brian T. Howard, John C. Mitchell |
Operational and Axiomatic Semantics of PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, Nice, France, 27-29 June 1990., pp. 298-306, 1990, ACM, 0-89791-368-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Wiebe van der Hoek |
Systems for Knowledge and Beliefs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings, pp. 267-281, 1990, Springer, 3-540-53686-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Frank D. Anger |
On Lamport's Interprocessor Communication Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 11(3), pp. 404-417, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Larry M. Hines |
Hyper-Chaining and Knowledge-Based Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 469-486, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
20 | Lawrence J. Henschen, Shamim A. Naqvi |
Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982, Proceedings, pp. 342-359, 1982, Springer, 3-540-11558-7. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
20 | Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska |
The Deducibility Problem in Propositional Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings, pp. 238-248, 1981, Springer, 3-540-10843-2. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
20 | David Harel |
Arithmetical Completeness in Logics of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings, pp. 268-288, 1978, Springer, 3-540-08860-1. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
20 | Hans-Dieter Ehrich |
An Axiomatic Approach to Information Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings, pp. 277-283, 1976, Springer, 0-387-07854-1. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
20 | Anya Helene Bagge, Valentin David, Magne Haveraaen |
The axioms strike back: testing with concepts and axioms in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings, pp. 15-24, 2009, ACM, 978-1-60558-494-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
axiom-based testing, C++, program transformation, test generation, generative programming, unit testing, algebraic specification, concepts, axioms, mouldable programming, C++0x |
20 | Sibsankar Haldar, K. Vidyasankar |
On specification of Read/Write shared variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(6), pp. 31, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
defining condition, defining relation, illegality, nonatomic operation execution, system execution, framework, multiprocessor, consistency, Atomicity, causality, partial order, linearization, axiom, shared variable, linear extension |
20 | Wilfried Sieg |
On mind & Turing's machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 6(2), pp. 187-205, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
absolutely unsolvable (undecidable), axiom of infinity, Church’s Thesis, Diophantine problem, finite machine, general recursive function, mechanical computability, objective mathematics, subjective mathematics, Turing machine |
20 | Olegas Vasilecas, Diana Bugaite |
An algorithm for the automatic transformation of ontology axioms into a rule model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 2007 International Conference on Computer Systems and Technologies, CompSysTech 2007, Rousse, Bulgaria, June 14-15, 2007, pp. 9, 2007, ACM, 978-954-9641-50-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ontology, conceptual model, rule, axiom, automatic transformation |
20 | Nick C. Fiala, Keith M. Agre |
Searching for Shortest Single Axioms for Groups of Exponent 6. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 36(3), pp. 241-257, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
exponent, single axiom, group, automated theorem-proving |
20 | Licia Calvi |
"Lector in Rebus": The Role of the Reader and the Characteristics of Hyperreading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT '99, Proceedings of the 10th ACM Conference on Hypertext and Hypermedia: Returning to Our Diverse Roots, February 21-25, 1999, Darmstadt, Germany, pp. 101-109, 1999, ACM. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
hyperreading, the “garbage axiom”, the reading agreement, the role of the reader, thr “labyrinth challenge” |
20 | Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin |
Lightweight Formal Methods for Computer Algebra Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC '98, Rostock, Germany, August 13-15, 1998, pp. 80-87, 1998, ACM, 1-58113-002-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
AXIOM |
20 | Horst Zuse |
Foundations of object-oriented software measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 3rd IEEE International Software Metrics Symposium (METRICS 1996), From Measurement to Empirical Results, March 25-26, 1996, Berlin, Germany, pp. 75-, 1996, IEEE Computer Society, 0-8186-7364-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
object-oriented software measures, binary operations, extensive structure, qualitative criteria, Dempster-Shafer belief function, Kolmogoroff axioms, DeFinetti axioms, software measurement theory, concatenation operations, dominance axiom, object-oriented programming, software metrics, methods, inference mechanisms, object-oriented methods, programming theory, classes, uncertainty handling, weak order, belief maintenance, numbers |
20 | Richard J. Fateman |
Symbolic Mathematics System Evaluators (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ISSAC '96, Zurich, Switzerland, July 24-26, 1996, pp. 86-94, 1996, ACM, 0-89791-796-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Mathematica, AXIOM |
20 | Marc Moreno Maza, Renaud Rioboo |
Polynomial Gcd Computations over Towers of Algebraic Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 11th International Symposium, AAECC-11, Paris, France, July 17-22, 1995, Proceedings, pp. 365-382, 1995, Springer, 3-540-60114-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Polynomial gcd, zero dimensional systems, AXIOM, triangular sets, algebraic numbers, subresultants |
16 | Luís Carvaho |
Correction to: Proportional bargaining solutions, strictly comprehensive sets and the axiom of continuity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 332(1), pp. 1237, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Teruyuki Yorioka |
Two chain conditions and their Todorčević's fragments of Martin's Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 175(Issue 1, Part B), pp. 103320, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Joan Bagaria |
The relative strengths of fragments of Martin's axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 175(Issue 1, Part B), pp. 103330, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Simone Pellegrino, Achille Vernizzi |
On measuring axiom violations due to each tax instrument applied in a real-world personal income tax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 61(4), pp. 853-882, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Xiuli Geng, Yiqun Li, Hongliu Zhang, Jianjia He |
Configuration optimization of product-service system design requirements based on hesitant information axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 45(5), pp. 9007-9028, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Wei Chen 0094 |
Weakest preconditioned goto axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 180, pp. 106329, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jun Le Goh |
The strength of an Axiom of finite Choice for Branches in Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 88(4), pp. 1367-1386, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Olga Gerasimova, Nikita Severin, Ilya Makarov |
Comparative Analysis of Logic Reasoning and Graph Neural Networks for Ontology-Mediated Query Answering With a Covering Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 88074-88086, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Charles McCarty, Stewart Shapiro, Ansten Mørch Klev |
The Axiom of Choice Is False Intuitionistically (in Most Contexts). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 29(1), pp. 71-96, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Tamás Kátay, László Márton Tóth, Zoltán Vidnyánszky |
The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.00514, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jing Li, Dantong Ouyang, Yuxin Ye |
Consequence-based Axiom Pinpointing for Expressive Description Logic Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Informatics ![In: Int. J. Softw. Informatics 13(3), pp. 359-374, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis, Eleftherios Tachtsis, Eliza Wajch |
Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 174(7), pp. 103283, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Mieczyslaw A. Klopotek, Robert A. Klopotek |
Towards continuous consistency axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 53(5), pp. 5635-5663, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Wolfgang Muschik |
Second Law and Its Amendment: The Axiom of No-Reversible Directions Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 25(8), pp. 1226, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Tolulope Fadina, Peng Liu 0043, Ruodu Wang |
One Axiom to Rule Them All: A Minimalist Axiomatization of Quantiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Financial Math. ![In: SIAM J. Financial Math. 14(2), pp. 644-662, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Sam Roberts, Stewart Shapiro |
Hume's Principle, Bad Company, and the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 16(4), pp. 1158-1176, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Dominik Kirst, Marc Hermes |
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 67(1), pp. 13, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Michal Dybowski, Przemyslaw Górka |
The axiom of choice in metric measure spaces and maximal δ-separated sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 62(5-6), pp. 735-749, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Rodrigo A. Freire, Peter Holy |
An ordinal-connection axiom as a weak form of global choice under the GCH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 62(3-4), pp. 321-332, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Palagorn Phansamdaeng, Pimpen Vejjajiva |
The cardinality of the partitions of a set in the absence of the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 31(6), pp. 1225-1231, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Marcin Stawiski |
The role of the Axiom of Choice in proper and distinguishing colourings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Math. Contemp. ![In: Ars Math. Contemp. 23(3), January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod |
An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings, pp. 118-134, 2023, Springer, 978-3-031-39783-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jan Tóth, Ondrej Kuzelka |
Lifted Inference with Linear Order Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 12295-12304, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca |
ASP-based Axiom Pinpointing for Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
16 | Roland Bernard, Oliver Kutz, Nicolas Troquard |
Making Axiom Weakening Work in SROIQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
16 | Ali Mollajan, Hossein Iranmanesh, Amirhossein Khezri, Amin Abazari |
Effect of applying independence axiom of Axiomatic Design theory on performance of an Integrated Manufacturing Information System: a computer simulation modeling approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 98(7), pp. 535-561, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Mingzhe Zhu, Zhenpeng Feng, Ljubisa Stankovic, Linlin Ding, Jingyuan Fan, Xianda Zhou |
A probe-feature for specific emitter identification using axiom-based grad-CAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. ![In: Signal Process. 201, pp. 108685, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Fabio Strazzeri, Rubén J. Sánchez-García |
Possibility results for graph clustering: A novel consistency axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 128, pp. 108687, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Qinghua Liu, Jiadui Chen, Yongming Wu, Kai Yang |
Linguistic Z-numbers and cloud model weighted ranking technology and its application in concept evaluation of information axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 78(5), pp. 6061-6089, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Takanori Maehara, So Nakashima |
Rank axiom of modular supermatroids: A connection with directional DR submodular functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 134, pp. 102304, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Peter Szabó, Miroslava Ferencová, Monika Blistanová |
A Spatially Bounded Airspace Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(6), pp. 244, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev |
A tetrachotomy of ontology-mediated queries with a covering axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 309, pp. 103738, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Jørgen Harmse |
Algebraic completion without the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 68(4), pp. 394-397, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel Goldberg |
Strong compactness and the ultrapower axiom I: the least strongly compact cardinal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 22(2), pp. 2250005:1-2250005:41, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Ruo Ando, Yoshiyasu Takefuji |
An Experiment of Randomized Hints on an Axiom of Infinite-Valued Lukasiewicz Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.08512, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Tiziano Dalmonte, Marianna Girlando |
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.10480, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Jan Tóth, Ondrej Kuzelka |
Lifted Inference with Linear Order Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.01164, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Leonid A. Levin |
On Power Set Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.07497, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Dmitry I. Ignatov |
On the Cryptomorphism between Davis' Subset Lattices, Atomic Lattices, and Closure Systems under T1 Separation Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.12256, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Mieczyslaw A. Klopotek, Robert A. Klopotek |
Towards Continuous Consistency Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.06015, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
16 | Mieczyslaw A. Klopotek, Robert A. Klopotek |
How To Overcome Richness Axiom Fallacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.15507, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Maria Emilia Maietti, Samuele Maschio, Michael Rathjen |
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(4), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Qinghua Liu, Yang Xu 0001 |
Axiom selection over large theory based on new first-order formula metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 52(2), pp. 1793-1807, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Dantong Ouyang, Mengting Liao, Yuxin Ye |
Lightweight axiom pinpointing via replicated driver and customized SAT-solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. ![In: Frontiers Comput. Sci. 17(2), pp. 172315, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Tiziano Dalmonte, Marianna Girlando |
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 305-327, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
16 | Birte Glimm, Yevgeny Kazakov |
SAT-Based Axiom Pinpointing Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
16 | Boris Yatsalo, Alexander Korobov, Luis Martínez 0001 |
From MCDA to Fuzzy MCDA: violation of basic axiom and how to fix it. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 33(5), pp. 1711-1732, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Luís Carvalho 0002 |
Proportional bargaining solutions, strictly comprehensive sets and the axiom of continuity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 301(1), pp. 41-53, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Linsbichler |
Austrian economics without extreme apriorism: construing the fundamental axiom of praxeology as analytic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 198(14), pp. 3359-3390, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Wencheng Huang 0001, Yue Zhang |
Railway Dangerous Goods Transportation System Risk Assessment: An Approach Combining FMEA With Pessimistic-Optimistic Fuzzy Information Axiom Considering Acceptable Risk Coefficient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 70(1), pp. 371-388, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Xiaowei Wei, Bin Pang 0004, Ju-Sheng Mi |
Axiomatic characterizations of L-valued rough sets using a single axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 580, pp. 283-310, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | G. A. Kavvos |
Intensionality, Intensional Recursion and the Gödel-Löb Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(8), pp. 2287-2312, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Gabriel Goldberg |
The Ultrapower Axiom and the GCH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 21(3), pp. 2150017:1-2150017:22, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Zhenhua Liu, Xuening Chu, Hongzhan Ma, Mengting Zhang |
Prioritizing failure risks of components based on information axiom for product redesign considering fuzzy and random uncertainties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Eng. Res. Appl. ![In: Concurr. Eng. Res. Appl. 29(4), pp. 356-369, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Lawrence C. Paulson |
The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle/ZF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.12674, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Allan van Hulst |
A Complete Axiom System for 1-Free Kleene Star Expressions under Bisimilarity: An Elementary Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.11144, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Tomasz Was, Oskar Skibski |
An Axiom System for Feedback Centralities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.03146, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Rana Muhammad Zulqarnain, Xiao Long Xin 0001, Young Bae Jun |
Fuzzy axiom of choice, fuzzy Zorn's lemma and fuzzy Hausdorff maximal principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 25(17), pp. 11421-11428, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Maria Emilia Maietti, Samuele Maschio, Michael Rathjen |
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(2), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Jean-Louis Krivine |
A program for the full axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(3), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Fred R. McMorris, Henry Martyn Mulder, Beth Novick, Robert C. Powers |
Majority rule for profiles of arbitrary length, with an emphasis on the consistency axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 109, pp. 164-174, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Justin Tatch Moore |
Some remarks on the Open Coloring Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 172(5), pp. 102912, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Karel Hrbacek, Mikhail G. Katz |
Infinitesimal analysis without the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 172(6), pp. 102959, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Filgueras, Miquel Vidal, Marc Mateu, Daniel Jiménez-González, Carlos Álvarez 0001, Xavier Martorell, Eduard Ayguadé, Dimitrios Theodoropoulos, Dionisios N. Pnevmatikatos, Paolo Gai, Stefano Garzarella, David Oro, Javier Hernando, Nicola Bettin, Alberto Pomella, Marco Procaccini, Roberto Giorgi |
The AXIOM Project: IoT on Heterogeneous Embedded Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test ![In: IEEE Des. Test 38(5), pp. 74-81, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Dag Normann, Sam Sanders |
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 31(1), pp. 297-325, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Samuel G. Da Silva |
The Axiom of Choice and the Partition Principle from Dialectica Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 29(5), pp. 783-797, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Dominik Kirst, Marc Hermes |
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)., pp. 23:1-23:20, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-188-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Dominik Kirst, Felix Rech |
The generalised continuum hypothesis implies the axiom of choice in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021, pp. 313-326, 2021, ACM, 978-1-4503-8299-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Andrew S. Gordon, Timothy S. Wang |
Narrative Text Generation from Abductive Interpretations Using Axiom-Specific Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIDS ![In: Interactive Storytelling - 14th International Conference on Interactive Digital Storytelling, ICIDS 2021, Tallinn, Estonia, December 7-10, 2021, Proceedings, pp. 71-79, 2021, Springer, 978-3-030-92299-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Tomasz Was, Oskar Skibski |
An Axiom System for Feedback Centralities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021., pp. 443-449, 2021, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Neil Barton, Sy-David Friedman |
Maximality and ontology: how axiom content varies across philosophical frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 197(2), pp. 623-649, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Buijsman |
Two roads to the successor axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 197(3), pp. 1241-1261, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph |
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 34(3), pp. 389-394, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Chun-Hsiao Chu, Chih-Ping Yen, Yi-Fong Lin |
The Fourth Axiom of Similarity Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 12(10), pp. 1735, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|