Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Milena Stefanova, Herman Geuvers |
A Simple Model Construction for the Calculus of Constructions. |
TYPES |
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. |
LPAR |
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. |
ISMIS |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Dietrich Kuske |
Nondeterministic Automata with Concurrency Relations and Domains. |
CAAP |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone |
Extending Horn Clause Theories by Reflection Principles. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Yishai A. Feldman, Haim Schneider |
Simulating Reactive Systems by Deduction. |
ACM Trans. Softw. Eng. Methodol. |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Giuseppe Longo |
Types as Parameters. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Alexandre Boudet, Evelyne Contejean |
On n-Syntactic Equational Theories. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Brian T. Howard, John C. Mitchell |
Operational and Axiomatic Semantics of PCF. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Wiebe van der Hoek |
Systems for Knowledge and Beliefs. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Frank D. Anger |
On Lamport's Interprocessor Communication Model. |
ACM Trans. Program. Lang. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Larry M. Hines |
Hyper-Chaining and Knowledge-Based Theorem Proving. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
20 | Lawrence J. Henschen, Shamim A. Naqvi |
Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. |
CADE |
1982 |
DBLP DOI BibTeX RDF |
|
20 | Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska |
The Deducibility Problem in Propositional Dynamic Logic. |
ICALP |
1981 |
DBLP DOI BibTeX RDF |
|
20 | David Harel |
Arithmetical Completeness in Logics of Programs. |
ICALP |
1978 |
DBLP DOI BibTeX RDF |
|
20 | Hans-Dieter Ehrich |
An Axiomatic Approach to Information Structures. |
MFCS |
1976 |
DBLP DOI BibTeX RDF |
|
20 | Anya Helene Bagge, Valentin David, Magne Haveraaen |
The axioms strike back: testing with concepts and axioms in C++. |
GPCE |
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. |
J. ACM |
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. |
Nat. Comput. |
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. |
CompSysTech |
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. |
J. Autom. Reason. |
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. |
Hypertext |
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. |
ISSAC |
1998 |
DBLP DOI BibTeX RDF |
AXIOM |
20 | Horst Zuse |
Foundations of object-oriented software measures. |
IEEE METRICS |
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). |
ISSAC |
1996 |
DBLP DOI BibTeX RDF |
Mathematica, AXIOM |
20 | Marc Moreno Maza, Renaud Rioboo |
Polynomial Gcd Computations over Towers of Algebraic Extensions. |
AAECC |
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. |
Ann. Oper. Res. |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Teruyuki Yorioka |
Two chain conditions and their Todorčević's fragments of Martin's Axiom. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Joan Bagaria |
The relative strengths of fragments of Martin's axiom. |
Ann. Pure Appl. Log. |
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. |
Soc. Choice Welf. |
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. |
J. Intell. Fuzzy Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Wei Chen 0094 |
Weakest preconditioned goto axiom. |
Inf. Process. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jun Le Goh |
The strength of an Axiom of finite Choice for Branches in Trees. |
J. Symb. Log. |
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. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Charles McCarty, Stewart Shapiro, Ansten Mørch Klev |
The Axiom of Choice Is False Intuitionistically (in Most Contexts). |
Bull. Symb. Log. |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jing Li, Dantong Ouyang, Yuxin Ye |
Consequence-based Axiom Pinpointing for Expressive Description Logic Ontologies. |
Int. J. Softw. Informatics |
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. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Mieczyslaw A. Klopotek, Robert A. Klopotek |
Towards continuous consistency axiom. |
Appl. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Wolfgang Muschik |
Second Law and Its Amendment: The Axiom of No-Reversible Directions Revisited. |
Entropy |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Tolulope Fadina, Peng Liu 0043, Ruodu Wang |
One Axiom to Rule Them All: A Minimalist Axiomatization of Quantiles. |
SIAM J. Financial Math. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Sam Roberts, Stewart Shapiro |
Hume's Principle, Bad Company, and the Axiom of Choice. |
Rev. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Dominik Kirst, Marc Hermes |
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq. |
J. Autom. Reason. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Michal Dybowski, Przemyslaw Górka |
The axiom of choice in metric measure spaces and maximal δ-separated sets. |
Arch. Math. Log. |
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. |
Arch. Math. Log. |
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. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Marcin Stawiski |
The role of the Axiom of Choice in proper and distinguishing colourings. |
Ars Math. Contemp. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod |
An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. |
WoLLIC |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jan Tóth, Ondrej Kuzelka |
Lifted Inference with Linear Order Axiom. |
AAAI |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca |
ASP-based Axiom Pinpointing for Description Logics. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
16 | Roland Bernard, Oliver Kutz, Nicolas Troquard |
Making Axiom Weakening Work in SROIQ. |
Description Logics |
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. |
Simul. |
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. |
Signal Process. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Fabio Strazzeri, Rubén J. Sánchez-García |
Possibility results for graph clustering: A novel consistency axiom. |
Pattern Recognit. |
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. |
J. Supercomput. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Takanori Maehara, So Nakashima |
Rank axiom of modular supermatroids: A connection with directional DR submodular functions. |
Adv. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Peter Szabó, Miroslava Ferencová, Monika Blistanová |
A Spatially Bounded Airspace Axiom. |
Axioms |
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. |
Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Jørgen Harmse |
Algebraic completion without the axiom of choice. |
Math. Log. Q. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel Goldberg |
Strong compactness and the ultrapower axiom I: the least strongly compact cardinal. |
J. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Ruo Ando, Yoshiyasu Takefuji |
An Experiment of Randomized Hints on an Axiom of Infinite-Valued Lukasiewicz Logic. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Tiziano Dalmonte, Marianna Girlando |
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Jan Tóth, Ondrej Kuzelka |
Lifted Inference with Linear Order Axiom. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Leonid A. Levin |
On Power Set Axiom. |
CoRR |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Mieczyslaw A. Klopotek, Robert A. Klopotek |
Towards Continuous Consistency Axiom. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
16 | Mieczyslaw A. Klopotek, Robert A. Klopotek |
How To Overcome Richness Axiom Fallacy. |
CoRR |
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. |
Log. Methods Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Qinghua Liu, Yang Xu 0001 |
Axiom selection over large theory based on new first-order formula metrics. |
Appl. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Dantong Ouyang, Mengting Liao, Yuxin Ye |
Lightweight axiom pinpointing via replicated driver and customized SAT-solving. |
Frontiers Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Tiziano Dalmonte, Marianna Girlando |
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. |
AiML |
2022 |
DBLP BibTeX RDF |
|
16 | Birte Glimm, Yevgeny Kazakov |
SAT-Based Axiom Pinpointing Revisited. |
Description Logics |
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. |
Neural Comput. Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Luís Carvalho 0002 |
Proportional bargaining solutions, strictly comprehensive sets and the axiom of continuity. |
Ann. Oper. Res. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Linsbichler |
Austrian economics without extreme apriorism: construing the fundamental axiom of praxeology as analytic. |
Synth. |
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. |
IEEE Trans. Reliab. |
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. |
Inf. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | G. A. Kavvos |
Intensionality, Intensional Recursion and the Gödel-Löb Axiom. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
16 | Gabriel Goldberg |
The Ultrapower Axiom and the GCH. |
J. Math. Log. |
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. |
Concurr. Eng. Res. Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Lawrence C. Paulson |
The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle/ZF. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | Allan van Hulst |
A Complete Axiom System for 1-Free Kleene Star Expressions under Bisimilarity: An Elementary Proof. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | Tomasz Was, Oskar Skibski |
An Axiom System for Feedback Centralities. |
CoRR |
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. |
Soft Comput. |
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. |
Log. Methods Comput. Sci. |
2021 |
DBLP BibTeX RDF |
|
16 | Jean-Louis Krivine |
A program for the full axiom of choice. |
Log. Methods Comput. Sci. |
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. |
Math. Soc. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Justin Tatch Moore |
Some remarks on the Open Coloring Axiom. |
Ann. Pure Appl. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Karel Hrbacek, Mikhail G. Katz |
Infinitesimal analysis without the Axiom of Choice. |
Ann. Pure Appl. Log. |
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. |
IEEE Des. Test |
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. |
J. Log. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Samuel G. Da Silva |
The Axiom of Choice and the Partition Principle from Dialectica Categories. |
Log. J. IGPL |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Dominik Kirst, Marc Hermes |
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq. |
ITP |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Dominik Kirst, Felix Rech |
The generalised continuum hypothesis implies the axiom of choice in Coq. |
CPP |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Andrew S. Gordon, Timothy S. Wang |
Narrative Text Generation from Abductive Interpretations Using Axiom-Specific Templates. |
ICIDS |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Tomasz Was, Oskar Skibski |
An Axiom System for Feedback Centralities. |
IJCAI |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Neil Barton, Sy-David Friedman |
Maximality and ontology: how axiom content varies across philosophical frameworks. |
Synth. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Buijsman |
Two roads to the successor axiom. |
Synth. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph |
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT. |
Künstliche Intell. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Chun-Hsiao Chu, Chih-Ping Yen, Yi-Fong Lin |
The Fourth Axiom of Similarity Measures. |
Symmetry |
2020 |
DBLP DOI BibTeX RDF |
|