Search results for "CL–Axiom"

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