Search results for "axioms"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Tareq M. Al-shami, Mohammed E. El-Shafei	Partial belong relation on soft separation axioms and decision-making problem, two birds with one stone.	Soft Comput.	2020	DBLP DOI BibTeX RDF
15	Chun Yong Wang, Yu Li Gong	Single axioms for (S, T)-fuzzy rough approximation operators with fuzzy product operations.	Soft Comput.	2020	DBLP DOI BibTeX RDF
15	Mohammed E. El-Shafei, Tareq M. Al-shami	Applications of partial belong and total non-belong relations on soft separation axioms and decision-making problem.	Comput. Appl. Math.	2020	DBLP DOI BibTeX RDF
15	Chun Yong Wang, Xinguang Zhang, Yonghong Wu	New results on single axioms for L-fuzzy rough approximation operators.	Fuzzy Sets Syst.	2020	DBLP DOI BibTeX RDF
15	Monroe Eskew	Generic Large Cardinals as Axioms.	Rev. Symb. Log.	2020	DBLP DOI BibTeX RDF
15	Ahmed Abd El-Monsef Allam, Ahmed Mohammed Zahran, Ahmed Khalf Mousa, Hana Mohsen Binshahnah	On Separation Axioms in Fuzzifying Bitopological Spaces.	Int. J. Fuzzy Log. Intell. Syst.	2020	DBLP DOI BibTeX RDF
15	Bin Pang 0004, Ju-Sheng Mi	Using single axioms to characterize L-rough approximate operators with respect to various types of L-relations.	Int. J. Mach. Learn. Cybern.	2020	DBLP DOI BibTeX RDF
15	Noemí Navarro, Róbert F. Veszteg	On the empirical validity of axioms in unstructured bargaining.	Games Econ. Behav.	2020	DBLP DOI BibTeX RDF
15	María Alpuente, Angel Cuenca-Ortega, Santiago Escobar 0001, José Meseguer 0001	A partial evaluation framework for order-sorted equational programs modulo axioms.	J. Log. Algebraic Methods Program.	2020	DBLP DOI BibTeX RDF
15	Francisco Durán 0001, José Meseguer 0001, Camilo Rocha	Ground confluence of order-sorted conditional specifications modulo axioms.	J. Log. Algebraic Methods Program.	2020	DBLP DOI BibTeX RDF
15	Yuxin Ye, Xianji Cui, Dantong Ouyang	Extracting a justification for OWL ontologies by critical axioms.	Frontiers Comput. Sci.	2020	DBLP DOI BibTeX RDF
15	Thu Huong Nguyen, Andrea G. B. Tettamanzi	Grammatical Evolution to Mine OWL Disjointness Axioms Involving Complex Concept Expressions.	CEC	2020	DBLP DOI BibTeX RDF
15	Dario Malchiodi, Célia da Costa Pereira, Andrea G. B. Tettamanzi	Classifying Candidate Axioms via Dimensionality Reduction Techniques.	MDAI	2020	DBLP DOI BibTeX RDF
15	Ulle Endriss	Analysis of One-to-One Matching Mechanisms via SAT Solving: Impossibilities for Universal Axioms.	AAAI	2020	DBLP DOI BibTeX RDF
15	Mieczyslaw A. Klopotek, Robert A. Klopotek	In-The-Limit Clustering Axioms.	ICAISC (2)	2020	DBLP DOI BibTeX RDF
15	Thu Huong Nguyen, Andrea G. B. Tettamanzi	Using Grammar-Based Genetic Programming for Mining Disjointness Axioms Involving Complex Class Expressions.	ICCS	2020	DBLP DOI BibTeX RDF
15	Umang Mathur 0001, P. Madhusudan, Mahesh Viswanathan 0001	What's Decidable About Program Verification Modulo Axioms?	TACAS (2)	2020	DBLP DOI BibTeX RDF
15	Ritesh Noothigattu, Dominik Peters, Ariel D. Procaccia	Axioms for Learning from Pairwise Comparisons.	NeurIPS	2020	DBLP BibTeX RDF
15	Gabriella Pasi, Rafael Peñaloza	Query Answering in Fuzzy DL-Lite with Graded Axioms.	RuleML+RR	2020	DBLP DOI BibTeX RDF
15	Gabriella Pasi, Rafael Peñaloza	Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract).	Description Logics	2020	DBLP BibTeX RDF
15	Bartosz Bednarczyk, Stéphane Demri, Alessio Mansutti	A Framework for Reasoning about Dynamic Axioms in Description Logics.	IJCAI	2020	DBLP DOI BibTeX RDF
15	Greg d'Eon, Kate Larson	Testing Axioms Against Human Reward Divisions in Cooperative Games. (PDF / PS)	AAMAS	2020	DBLP BibTeX RDF
15	Martin Lück	Team logic: axioms, expressiveness, complexity.		2020	RDF
15	Maria Gillespie 0001, Jake Levinson	Axioms for Shifted Tableau Crystals.	Electron. J. Comb.	2019	DBLP DOI BibTeX RDF
15	Xiao-Wu Zhou, Fu-Gui Shi	Some separation axioms in L-convex spaces.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
15	Fanghui Li	A degree approach to separation axioms in M-fuzzifying convex spaces.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
15	Eunsuk Yang	Mianorm-based logics with n-contraction and n-mingle axioms.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
15	Chengyu Liang, Fanghui Li, Jie Zhang	Separation axioms in (L, M)-fuzzy convex spaces.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
15	Floriana Di Pinto, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001	Acquiring Ontology Axioms through Mappings to Data Sources.	Future Internet	2019	DBLP DOI BibTeX RDF
15	Robert A. Proctor, Lindsey M. Scoppetta	d-Complete Posets: Local Structural Axioms, Properties, and Equivalent Definitions.	Order	2019	DBLP DOI BibTeX RDF
15	Roland Coghetto, Adam Grabowski	Tarski Geometry Axioms. Part IV - Right Angle.	Formaliz. Math.	2019	DBLP DOI BibTeX RDF
15	Ghazanfar Ali Safdar, Kapil Kanwal	Euclidean Geometry Axioms Assisted Target Cell Boundary Approximation for Improved Energy Efficacy in LTE Systems.	IEEE Syst. J.	2019	DBLP DOI BibTeX RDF
15	William Taylor	Learnability Can Be Independent of ZFC Axioms: Explanations and Implications.	CoRR	2019	DBLP BibTeX RDF
15	Umang Mathur 0001, P. Madhusudan, Mahesh Viswanathan 0001	What's Decidable About Program Verification Modulo Axioms?	CoRR	2019	DBLP BibTeX RDF
15	Grzegorz Wiaderek, Iwona Skalna	Generating theorem proving procedures from axioms of Truncated Predicate Calculus.	CoRR	2019	DBLP BibTeX RDF
15	Yifeng Ding, Wesley H. Holliday, Cedegao Zhang	When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?	TARK	2019	DBLP DOI BibTeX RDF
15	Bill Stoddart, Frank Zeyda, Steve Dunne	Bunch theory, applications, axioms and models.	CoRR	2019	DBLP BibTeX RDF
15	Marcelo Finger	Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms.	CoRR	2019	DBLP BibTeX RDF
15	Malgorzata Terepeta	On separating axioms and similarity of soft topological spaces.	Soft Comput.	2019	DBLP DOI BibTeX RDF
15	Abteen Ijadi Maghsoodi, Mojan Mosavat, Ashkan Hafezalkotob, Arian Hafezalkotob	Hybrid hierarchical fuzzy group decision-making based on information axioms and BWM: Prototype design selection.	Comput. Ind. Eng.	2019	DBLP DOI BibTeX RDF
15	Aaron J. Cotnoir, Achille C. Varzi	Natural Axioms for Classical Mereology.	Rev. Symb. Log.	2019	DBLP DOI BibTeX RDF
15	Wei-Zhi Wu 0001, Ming-Wen Shao, Xia Wang	Using single axioms to characterize (S, T)-intuitionistic fuzzy rough approximation operators.	Int. J. Mach. Learn. Cybern.	2019	DBLP DOI BibTeX RDF
15	Pierre Boutry, Charly Gries, Julien Narboux, Pascal Schreck	Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq.	J. Autom. Reason.	2019	DBLP DOI BibTeX RDF
15	Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks 0001	Bag Semantics of DL-Lite with Functionality Axioms.	ISWC (1)	2019	DBLP DOI BibTeX RDF
15	Leyuan Zhao, Xiaowang Zhang, Kewen Wang 0001, Zhiyong Feng 0002, Zhe Wang 0001	Learning Ontology Axioms over Knowledge Graphs via Representation Learning.	ISWC (Satellites)	2019	DBLP BibTeX RDF
15	Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria	Core-concavity, Gain Functions and Axioms for Information Leakage.	The Art of Modelling Computational Systems	2019	DBLP DOI BibTeX RDF
15	Pedro Cabalar, Torsten Schaub	Temporal Logic Programs with Temporal Description Logic Axioms.	Description Logic, Theory Combination, and All That	2019	DBLP DOI BibTeX RDF
15	Marcelo Finger	Extending $$\mathscr {E\!L}^{++}$$ with Linear Constraints on the Probability of Axioms.	Description Logic, Theory Combination, and All That	2019	DBLP DOI BibTeX RDF
15	Gordon Krieger, Dirk Schlimm	How to find axioms for finite domains: A computational exploration of mathematical discovery.	CogSci	2019	DBLP BibTeX RDF
15	Justine Reynaud, Yannick Toussaint, Amedeo Napoli	Redescription Mining for Learning Definitions and Disjointness Axioms in Linked Open Data.	ICCS	2019	DBLP DOI BibTeX RDF
15	Francesco Kriegel	Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs.	JELIA	2019	DBLP DOI BibTeX RDF
15	David Speck 0001, Florian Geißer, Robert Mattmüller, Álvaro Torralba	Symbolic Planning with Axioms.	ICAPS	2019	DBLP BibTeX RDF
15	Thu Huong Nguyen, Andrea G. B. Tettamanzi	Learning Class Disjointness Axioms Using Grammatical Evolution.	EuroGP	2019	DBLP DOI BibTeX RDF
15	Luis Sánchez Fernández 0001, Jesús A. Fisteus	Monotonicity Axioms in Approval-based Multi-winner Voting Rules.	AAMAS	2019	DBLP BibTeX RDF
15	Solmaz Kolahi	Armstrong Axioms.	Encyclopedia of Database Systems (2nd ed.)	2018	DBLP DOI BibTeX RDF
15	Gunter Fuchs	Hierarchies of (Virtual) Resurrection Axioms.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
15	Gunter Fuchs	Hierarchies of forcing Axioms, the continuum Hypothesis and square Principles.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
15	Gerhard Jäger, Silvia Steila	About some fixed Point Axioms and Related Principles in Kripke-Platek Environments.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
15	Ying Dong, Xiaojun Zhao, Yifei Tong, Dong-Bo Li	Service Optimization of Internet of Manufacturing Things Based on Mixed Information Axioms.	IEEE Access	2018	DBLP DOI BibTeX RDF
15	Muhammad Fahad 0011	Toward analyzing impact of disjoint axioms for merging heterogeneous ontologies.	J. Intell. Inf. Syst.	2018	DBLP DOI BibTeX RDF
15	María Alpuente, Angel Cuenca-Ortega, Santiago Escobar 0001, José Meseguer 0001	Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms.	CoRR	2018	DBLP BibTeX RDF
15	Federico Aschieri, Agata Ciabattoni, Francesco A. Genco	Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach.	CoRR	2018	DBLP BibTeX RDF
15	Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza	Repairing Description Logic Ontologies by Weakening Axioms.	CoRR	2018	DBLP 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.	CoRR	2018	DBLP BibTeX RDF
15	Ivan Chajda, Miroslav Kolarík	Reduced axioms for the propositional logics induced by basic algebras.	Soft Comput.	2018	DBLP DOI BibTeX RDF
15	Manoj Changat, Shilpa Mohandas, Henry Martyn Mulder, Prasanth G. Narasimha-Shenoi, Robert C. Powers, D. Jacob Wildstrom	Axiomatic characterization of the center function. The case of non-universal axioms.	Discret. Appl. Math.	2018	DBLP DOI BibTeX RDF
15	Ian Orton, Andrew M. Pitts	Axioms for Modelling Cubical Type Theory in a Topos.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
15	John K. Dagsvik	Invariance axioms and functional form restrictions in structural models.	Math. Soc. Sci.	2018	DBLP DOI BibTeX RDF
15	Martin Stepnicka, Sayantan Mandal	Fuzzy inference systems preserving Moser-Navara axioms.	Fuzzy Sets Syst.	2018	DBLP DOI BibTeX RDF
15	Chun Yong Wang	Single axioms for lower fuzzy rough approximation operators determined by fuzzy implications.	Fuzzy Sets Syst.	2018	DBLP DOI BibTeX RDF
15	Victor H. Aguiar, Roland Pongou, Jean-Baptiste Tondji	A non-parametric approach to testing the axioms of the Shapley value with limited data.	Games Econ. Behav.	2018	DBLP DOI BibTeX RDF
15	Jesper Cockx, Dominique Devriese	Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory.	J. Funct. Program.	2018	DBLP DOI BibTeX RDF
15	Jaroslaw Szlichta, Parke Godfrey, Lukasz Golab, Mehdi Kargar, Divesh Srivastava	Effective and complete discovery of bidirectional order dependencies via set-based axioms.	VLDB J.	2018	DBLP DOI BibTeX RDF
15	Dario Malchiodi, Andrea G. B. Tettamanzi	Predicting the possibilistic score of OWL axioms through modified support vector clustering.	SAC	2018	DBLP DOI BibTeX RDF
15	Tokio Kawakami, Takeshi Morita 0001, Takahira Yamaguchi	Building up Ontologies with Property Axioms from Wikipedia.	JIST (Workshops & Posters)	2018	DBLP BibTeX RDF
15	Dario Malchiodi, Célia da Costa Pereira, Andrea G. B. Tettamanzi	Predicting the Possibilistic Score of OWL Axioms Through Support Vector Regression.	SUM	2018	DBLP DOI BibTeX RDF
15	Oskar Skibski, Jadwiga Sosnowska	Axioms for Distance-Based Centralities.	AAAI	2018	DBLP DOI BibTeX RDF
15	Kaya Deuser, Pavel Naumov	Armstrong's Axioms and Navigation Strategies.	AAAI	2018	DBLP DOI BibTeX RDF
15	Susan M. Bello, Terry F. Hayamizu, Cynthia L. Smith, Martin Ringwald	Using Equivalence Axioms from the Mammalian Phenotype Ontology to Facilitate Phenotype and Expression Comparisons.	ICBO	2018	DBLP BibTeX RDF
15	Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev	Frame-Validity Games and Absolute Minimality of Modal Axioms.	Advances in Modal Logic	2018	DBLP BibTeX RDF
15	Vincent Cohen-Addad, Varun Kanade, Frederik Mallmann-Trenn	Clustering Redemption-Beyond the Impossibility of Kleinberg's Axioms.	NeurIPS	2018	DBLP BibTeX RDF
15	Francisco Durán 0001, José Meseguer 0001, Camilo Rocha	Proving Ground Confluence of Equational Specifications Modulo Axioms.	WRLA@ETAPS	2018	DBLP DOI BibTeX RDF
15	Bogumila Hnatkowska, Pawel Woroniecki	Transformation of OWL2 Property Axioms to Groovy.	SOFSEM	2018	DBLP DOI BibTeX RDF
15	Haris Aziz 0001, Barton E. Lee	Sub-committee Approval Voting and Generalized Justified Representation Axioms.	AIES	2018	DBLP DOI BibTeX RDF
15	María Alpuente, Angel Cuenca-Ortega, Santiago Escobar 0001, José Meseguer 0001	Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms.	LOPSTR	2018	DBLP DOI BibTeX RDF
15	Leila Amgoud, Jonathan Ben-Naim	Weighted Bipolar Argumentation Graphs: Axioms and Semantics.	IJCAI	2018	DBLP DOI BibTeX RDF
15	Haris Aziz 0001, Barton E. Lee, Nimrod Talmon	Proportionally Representative Participatory Budgeting: Axioms and Algorithms.	AAMAS	2018	DBLP BibTeX RDF
15	Yajing Chen	New axioms for deferred acceptance.	Soc. Choice Welf.	2017	DBLP DOI BibTeX RDF
15	Miklós Bartha	On the Completeness of the Traced Monoidal Category Axioms in (Rel, +).	Acta Cybern.	2017	DBLP DOI BibTeX RDF
15	Carsten Carstensen, Hella Rabus	Axioms of Adaptivity with Separate Marking for Data Resolution.	SIAM J. Numer. Anal.	2017	DBLP DOI BibTeX RDF
15	Zoltán Ésik	Equational axioms associated with finite automata for fixed point operations in cartesian categories.	Math. Struct. Comput. Sci.	2017	DBLP DOI BibTeX RDF
15	Roland Coghetto, Adam Grabowski	Tarski Geometry Axioms. Part III.	Formaliz. Math.	2017	DBLP DOI BibTeX RDF
15	Matteo Viale	Useful Axioms.	FLAP	2017	DBLP BibTeX RDF
15	Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq	Directed Homology Theories and Eilenberg-Steenrod Axioms.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
15	Andrea G. B. Tettamanzi, Catherine Faron-Zucker, Fabien Gandon	Possibilistic testing of OWL axioms against RDF data.	Int. J. Approx. Reason.	2017	DBLP DOI BibTeX RDF
15	Bénédicte Legastelois, Marie-Jeanne Lesot, Adrien Revault d'Allonnes	Typology of axioms for a weighted modal logic.	Int. J. Approx. Reason.	2017	DBLP DOI BibTeX RDF
15	Chunlei Fu, Dan Yang 0001, Xiaohong Zhang 0002, Haibo Hu	An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistency.	Autom. Softw. Eng.	2017	DBLP DOI BibTeX RDF
15	Florian Rabe 0001	Morphism axioms.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
15	José Meseguer 0001	Strict coherence of conditional rewriting modulo axioms.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
15	C. García-Martínez, Fred R. McMorris, Oscar Ortega, Robert C. Powers	Axioms for Consensus Functions on the n-Cube.	J. Appl. Math.	2017	DBLP DOI BibTeX RDF