Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|