Search results for "axioms"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Maysoon Qousini, Omar Ghanam	A Brief Review For Separation Axioms In Bitopological Spaces.	ICIT	2023	DBLP DOI BibTeX RDF
15	Xiaoxuan Fu, Zhiguang Zhao	Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail.	CLAR	2023	DBLP DOI BibTeX RDF
15	Ali Ballout, Célia da Costa Pereira, Andrea G. B. Tettamanzi	Predicting the Acceptability of Atomic Candidate OWL Class Axioms.	WI/IAT	2023	DBLP DOI BibTeX RDF
15	Chase Norman, Adwait Godbole, Yatin A. Manerkar	PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency.	ASPLOS (3)	2023	DBLP DOI BibTeX RDF
15	Cyrus Cousins	Revisiting Fair-PAC Learning and the Axioms of Cardinal Welfare.	AISTATS	2023	DBLP BibTeX RDF
15	Marie Christin Schmidtlein, Ulle Endriss	Voting by Axioms.	AAMAS	2023	DBLP BibTeX RDF
15	Bas J. Dietzenbacher, Hans Peters	Characterizing NTU-bankruptcy rules using bargaining axioms.	Ann. Oper. Res.	2022	DBLP DOI BibTeX RDF
15	Linu Pinto, Sasi Gopalan, P. Balasubramaniam	Quantification on the Generalization Performance of Deep Neural Network with Tychonoff Separation Axioms.	Inf. Sci.	2022	DBLP DOI BibTeX RDF
15	Luca Buoncompagni, Syed Yusha Kareem, Fulvio Mastrogiovanni	OWLOOP: A modular API to describe OWL axioms in OOP objects hierarchies.	SoftwareX	2022	DBLP DOI BibTeX RDF
15	Hugo Rafael de Oliveira Ribeiro, Hugo Luiz Mariano	Horn-geometric axioms for faithfully quadratic rings.	FLAP	2022	DBLP BibTeX RDF
15	Saharon Shelah	Forcing axioms for λ-complete μ + $\mu ^+$ -c.c.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
15	David Asperó, Matteo Viale	Incompatible bounded category forcing axioms.	J. Math. Log.	2022	DBLP DOI BibTeX RDF
15	Lucas Böltz, Hannes Frey	Automatically Testing Containedness between Geometric Graph Classes defined by Inclusion, Exclusion, and Transfer Axioms under Simple Transformations.	Inf.	2022	DBLP DOI BibTeX RDF
15	Tobias Fritz, Tomás Gonda, Nicholas Gauguin Houghton-Larsen, Paolo Perrone, Dario Stein	Dilations and information flow axioms in categorical probability.	CoRR	2022	DBLP DOI BibTeX RDF
15	Jan Christoph Schlegel, Akaki Mamageishvili	Axioms for Constant Function AMMs.	CoRR	2022	DBLP DOI BibTeX RDF
15	Fernando Giner	On the Metric Properties of IR Evaluation Measures Based on Ranking Axioms.	CoRR	2022	DBLP DOI BibTeX RDF
15	Mieczyslaw A. Klopotek	High-Dimensional Wide Gap k-Means Versus Clustering Axioms.	CoRR	2022	DBLP DOI BibTeX RDF
15	Geoffrey Ramseyer, Mohak Goyal, Ashish Goel, David Mazières	Batch Exchanges with Constant Function Market Makers: Axioms, Equilibria, and Computation.	CoRR	2022	DBLP DOI BibTeX RDF
15	Fernando Giner	On the Effect of Ranking Axioms on IR Evaluation Metrics.	CoRR	2022	DBLP DOI BibTeX RDF
15	Daniil Khaitovich	Neighbourhood semantics and axioms for strategic fragment of classical stit logic.	CoRR	2022	DBLP DOI BibTeX RDF
15	Ali Ballout, Andrea G. B. Tettamanzi, Célia da Costa Pereira	Predicting the Score of Atomic Candidate OWL Class Axioms.	CoRR	2022	DBLP DOI BibTeX RDF
15	Sonia Marin, Dale Miller 0001, Elaine Pimentel, Marco Volpe 0001	From axioms to synthetic inference rules via focusing.	Ann. Pure Appl. Log.	2022	DBLP DOI BibTeX RDF
15	Juan P. Aguilera 0001, Matthias Baaz, Jan Bydzovsky	The number of axioms.	Ann. Pure Appl. Log.	2022	DBLP DOI BibTeX RDF
15	Tareq M. Al-shami	Soft somewhat open sets: soft separation axioms and medical application to nutrition.	Comput. Appl. Math.	2022	DBLP DOI BibTeX RDF
15	Andrey G. Bronevich, Alexander E. Lepskiy	Measures of conflict, basic axioms and their application to the clusterization of a body of evidence.	Fuzzy Sets Syst.	2022	DBLP DOI BibTeX RDF
15	Karl Svozil	Extending Kolmogorov's Axioms for a Generalized Probability Theory on Collections of Contexts.	Entropy	2022	DBLP DOI BibTeX RDF
15	Kjell Hausken	A Review of Axioms for Group Contest Success Functions.	Int. J. Strateg. Decis. Sci.	2022	DBLP DOI BibTeX RDF
15	Gerard Domènech, Marina Núñez	Axioms for the optimal stable rules and fair-division rules in a multiple-partners job market.	Games Econ. Behav.	2022	DBLP DOI BibTeX RDF
15	Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot	Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
15	João Paixão, Lucas Rufino, Pawel Sobocinski 0001	High-level axioms for graphical linear algebra.	Sci. Comput. Program.	2022	DBLP DOI BibTeX RDF
15	Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev	Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms.	Log. J. IGPL	2022	DBLP DOI BibTeX RDF
15	Robin Hirsch, Szabolcs Mikulás, Timothy Stokes 0001	The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms.	Log. J. IGPL	2022	DBLP DOI BibTeX RDF
15	Shimon Garti, Yair Hayut, Haim Horowitz, Menachem Magidor	Forcing axioms and the Galvin number.	Period. Math. Hung.	2022	DBLP DOI BibTeX RDF
15	Martin Durand, Fanny Pascual	Collective Schedules: Axioms and Algorithms.	SAGT	2022	DBLP DOI BibTeX RDF
15	Bernd Krieg-Brückner, Marc Robin Nolte, Mihai Pomarlan, Michaela Kümpel	The Downgrading Axioms Challenge for Qualitative Composition of Food Ingredients (full paper).	SemREC/SMART@ISWC	2022	DBLP BibTeX RDF
15	Rafael Peñaloza, Francesco Ricca	Pinpointing Axioms in Ontologies via ASP.	LPNMR	2022	DBLP DOI BibTeX RDF
15	Kristinn R. Thórisson, Henry Minsky	The Future of AI Research: Ten Defeasible ‘Axioms of Intelligence’.	IWSSL	2022	DBLP BibTeX RDF
15	Ali Ballout, Andrea G. B. Tettamanzi, Célia da Costa Pereira	Predicting the Score of Atomic Candidate OWL Class Axioms.	WI/IAT	2022	DBLP DOI BibTeX RDF
15	Rémi Felin, Olivier Corby, Catherine Faron, Andrea G. B. Tettamanzi	Optimizing the Computation of a Possibilistic Heuristic to Test OWL SubClassOf Axioms Against RDF Data.	WI/IAT	2022	DBLP DOI BibTeX RDF
15	Fernando Giner	On the Effect of Ranking Axioms on IR Evaluation Metrics.	ICTIR	2022	DBLP DOI BibTeX RDF
15	Daniele Meli, Giulio Mazzi, Alberto Castellini, Alessandro Farinelli	From POMDP Executions to Probabilistic Axioms.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
15	Mohammed Suleiman Mohammed Rudwan, Jean Vincent Fonou Dombeu	Machine Learning Selection of Candidate Ontologies for Automatic Extraction of Context Words and Axioms from Ontology Corpus.	iiWAS	2022	DBLP DOI BibTeX RDF
15	Alan Bundy, Kwabena Nuamah	Unified Decomposition-Aggregation (UDA) Rules: Dynamic, Schematic, Novel Axioms.	CICM	2022	DBLP DOI BibTeX RDF
15	Deyin Wu, Yonghong Li	The induced basis axioms for a closed G-V fuzzy matroid.	J. Intell. Fuzzy Syst.	2021	DBLP DOI BibTeX RDF
15	Hu Zhao, Osama Rashed Sayed, E. El-Sanousy, Y. H. Ragheb Sayed, Gui-Xiu Chen	On separation axioms in (L, M)-fuzzy convex structures.	J. Intell. Fuzzy Syst.	2021	DBLP DOI BibTeX RDF
15	Hui Yang	Separation axioms in fuzzy convex spaces.	J. Intell. Fuzzy Syst.	2021	DBLP DOI BibTeX RDF
15	Sean D. Cox	Forcing Axioms, Approachability, and stationary Set Reflection.	J. Symb. Log.	2021	DBLP DOI BibTeX RDF
15	Gunter Fuchs	Aronszajn Tree Preservation and Bounded forcing Axioms.	J. Symb. Log.	2021	DBLP DOI BibTeX RDF
15	Daniel Vidali Fryer, Inga Strümke, Hien D. Nguyen 0001	Shapley Values for Feature Selection: The Good, the Bad, and the Axioms.	IEEE Access	2021	DBLP DOI BibTeX RDF
15	Nissim Francez	On the Role of Aristotle's Connexive Axioms in Non-connexive Logics.	FLAP	2021	DBLP BibTeX RDF
15	Federico Fioravanti, Fernando Tohmé	Alternative Axioms in Group Identification Problems.	J. Classif.	2021	DBLP DOI BibTeX RDF
15	Somdeb Lahiri	Pattanaik's axioms and existence of preferred with probability at least half winners.	Oper. Res. Decis.	2021	DBLP DOI BibTeX RDF
15	Ari J. Herman, John S. Caughman IV	Probability Axioms and Set Theory Paradoxes.	Symmetry	2021	DBLP DOI BibTeX RDF
15	Paul McKenney, Alessandro Vignati	Forcing axioms and coronas of C∗-algebras.	J. Math. Log.	2021	DBLP DOI BibTeX RDF
15	Lorenzo Cocco, Joshua Babic	A System of Axioms for Minkowski Spacetime.	J. Philos. Log.	2021	DBLP DOI BibTeX RDF
15	Ritesh Noothigattu, Nihar B. Shah, Ariel D. Procaccia	Loss Functions, Axioms, and Peer Review.	J. Artif. Intell. Res.	2021	DBLP DOI BibTeX RDF
15	Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy	Erratum to "B2-crystals: Axioms, structure, models" [J. Comb. Theory, Ser. A 116 (2009) 265-289].	J. Comb. Theory, Ser. A	2021	DBLP DOI BibTeX RDF
15	Peiliang Lou, Yuxin Dong, Antonio Jimeno-Yepes, Chen Li 0011	A representation model for biological entities by fusing structured axioms with unstructured texts.	Bioinform.	2021	DBLP DOI BibTeX RDF
15	Daniel Vidali Fryer, Inga Strümke, Hien D. Nguyen 0001	Shapley values for feature selection: The good, the bad, and the axioms.	CoRR	2021	DBLP BibTeX RDF
15	Luis Olsina	ThingFO v1.2's Terms, Properties, Relationships and Axioms - Foundational Ontology for Things.	CoRR	2021	DBLP BibTeX RDF
15	Pablo Becker, Luis Olsina	ProcessCO v1.3's Terms, Properties, Relationships and Axioms - A Core Ontology for Processes.	CoRR	2021	DBLP BibTeX RDF
15	Haris Aziz 0001, Aditya Ganguly	Participatory Funding Coordination: Model, Axioms and Rules.	CoRR	2021	DBLP BibTeX RDF
15	Luca Buoncompagni, Syed Yusha Kareem, Fulvio Mastrogiovanni	OWLOOP: A Modular API to Describe OWL Axioms in OOP Objects Hierarchies.	CoRR	2021	DBLP BibTeX RDF
15	Guido Tebes, Denis Peppino, Pablo Becker, Luis Olsina	TestTDO's v1.2 Terms, Properties, Relationships and Axioms - A Top-Domain Software Testing Ontology.	CoRR	2021	DBLP BibTeX RDF
15	Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot	Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL.	CoRR	2021	DBLP BibTeX RDF
15	Luis Olsina, Guido Tebes, Pablo Becker	SituationCO v1.2's Terms, Properties, Relationships and Axioms - A Core Ontology for Particular and Generic Situations.	CoRR	2021	DBLP BibTeX RDF
15	Frédéric Blanqui, Gilles Dowek, Émilie Grienenberger, Gabriel Hondet, François Thiré	Some axioms for mathematics.	CoRR	2021	DBLP BibTeX RDF
15	Lirong Xia	The Smoothed Satisfaction of Voting Axioms.	CoRR	2021	DBLP BibTeX RDF
15	Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot	Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems.	ADG	2021	DBLP DOI BibTeX RDF
15	Tongseok Lim	A Hodge theoretic extension of Shapley axioms.	CoRR	2021	DBLP BibTeX RDF
15	Alexander S. Estes, Michael O. Ball, David J. Lovell	Data Exploration by Representative Region Selection: Axioms and Convergence.	Math. Oper. Res.	2021	DBLP DOI BibTeX RDF
15	Vera Fischer, David Schrittesser, Thilo Weinert	Definable MAD families and forcing axioms.	Ann. Pure Appl. Log.	2021	DBLP DOI BibTeX RDF
15	Wen-Ran Zhang	Ground-0 Axioms vs. First Principles and Second Law: From the Geometry of Light and Logic of Photon to Mind-Light-Matter Unity-AI&QI.	IEEE CAA J. Autom. Sinica	2021	DBLP DOI BibTeX RDF
15	Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot	Schutz' Independent Axioms for Minkowski Spacetime.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Fumiya Iwama	Foundation of geometry in planes, and some complements: Excluding the parallel axioms.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
15	Gautam Chandra Ray, Hari Prasad Chetri	Separation Axioms in Mixed Fuzzy Topological Spaces.	Int. J. Fuzzy Log. Intell. Syst.	2021	DBLP DOI BibTeX RDF
15	Frédéric Blanqui, Gilles Dowek, Émilie Grienenberger, Gabriel Hondet, François Thiré	Some Axioms for Mathematics.	FSCD	2021	DBLP DOI BibTeX RDF
15	Nikhil Sachdeva, Monika Jain, Raghava Mutharaju	Extraction of Union and Intersection Axioms from Biomedical Text.	ESWC (Satellite Events)	2021	DBLP DOI BibTeX RDF
15	Aaron Eberhart, Cogan Shimizu, Sulogna Chowdhury, Md. Kamruzzaman Sarker, Pascal Hitzler	Expressibility of OWL Axioms with Patterns.	ESWC	2021	DBLP DOI BibTeX RDF
15	Vinu Ellampallil Venugopal, P. Sreenivasa Kumar 0001	Verbalizing but Not Just Verbatim Translations of Ontology Axioms.	BNAIC/BENELEARN	2021	DBLP DOI BibTeX RDF
15	Hannes Frey, Lucas Böltz	Automatically Testing Containedness between Geometric Graph Classes defined by Inclusion, Exclusion and Transfer Axioms.	CCCG	2021	DBLP BibTeX RDF
15	Pei Zhou, Rahul Khanna, Seyeon Lee, Bill Yuchen Lin, Daniel Ho, Jay Pujara, Xiang Ren 0001	RICA: Evaluating Robust Inference Capabilities Based on Commonsense Axioms.	EMNLP (1)	2021	DBLP DOI BibTeX RDF
15	Lirong Xia	The Semi-Random Satisfaction of Voting Axioms.	NeurIPS	2021	DBLP BibTeX RDF
15	Timothy van Bremen, Ondrej Kuzelka	Lifted Inference with Tree Axioms.	KR	2021	DBLP DOI BibTeX RDF
15	Rémi Felin, Andrea G. B. Tettamanzi	Using Grammar-Based Genetic Programming for Mining Subsumption Axioms Involving Complex Class Expressions.	WI/IAT	2021	DBLP DOI BibTeX RDF
15	Yannick Forster 0002	Church's Thesis and Related Axioms in Coq's Type Theory.	CSL	2021	DBLP DOI BibTeX RDF
15	Haris Aziz 0001, Aditya Ganguly	Participatory Funding Coordination: Model, Axioms and Rules.	ADT	2021	DBLP DOI BibTeX RDF
15	Ben Abramowitz, Ehud Shapiro, Nimrod Talmon	How to Amend a Constitution? Model, Axioms, and Supermajority Rules. (PDF / PS)	AAMAS	2021	DBLP BibTeX RDF
15	Thu Huong Nguyen	Mining the semantic Web for OWL axioms. (Fouille du Web sémantique à la recherche d'axiomes OWL).		2021	RDF
15	María Alpuente, Angel Cuenca-Ortega, Santiago Escobar 0001, José Meseguer 0001	Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms.	Fundam. Informaticae	2020	DBLP DOI BibTeX RDF
15	Daniele Mundici	What the łukasiewicz Axioms mean.	J. Symb. Log.	2020	DBLP DOI BibTeX RDF
15	Marianne Morillon	Multiple Choices Imply the Ingleton and Krein-Milman Axioms.	J. Symb. Log.	2020	DBLP DOI BibTeX RDF
15	Samer Al Ghour, Enas Moghrabi	Co-Compact Separation Axioms and Slight Co-Continuity.	Symmetry	2020	DBLP DOI BibTeX RDF
15	Tareq M. Al-shami	Soft Separation Axioms and Fixed Soft Points Using Soft Semiopen Sets.	J. Appl. Math.	2020	DBLP DOI BibTeX RDF
15	Fatima Zohra Smaili, Xin Gao 0001, Robert Hoehndorf	Formal axioms in biomedical ontologies improve analysis and interpretation of associated data.	Bioinform.	2020	DBLP DOI BibTeX RDF
15	Martin Lackner, Piotr Skowron 0001	Approval-Based Committee Voting: Axioms, Algorithms, and Applications.	CoRR	2020	DBLP BibTeX RDF
15	Ben Abramowitz, Ehud Shapiro, Nimrod Talmon	How to Amend a Constitution? Model, Axioms, and Supermajority Rules.	CoRR	2020	DBLP BibTeX RDF
15	Robin Hirsch, Szabolcs Mikulás, Tim Stokes 0001	The algebra of non-deterministic programs: demonic operators, orders and axioms.	CoRR	2020	DBLP BibTeX RDF
15	Yannick Forster 0002	Church's thesis and related axioms in Coq's type theory.	CoRR	2020	DBLP BibTeX RDF
15	Wesley H. Holliday, Eric Pacuit	Axioms for Defeat in Democratic Elections.	CoRR	2020	DBLP BibTeX RDF