Search results for "CL–Axiom"

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