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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 24(7), pp. 5377-5387, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 24(9), pp. 6539-6551, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Math. ![In: Comput. Appl. Math. 39(3), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Chun Yong Wang, Xinguang Zhang, Yonghong Wu |
New results on single axioms for L-fuzzy rough approximation operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 380, pp. 131-149, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Monroe Eskew |
Generic Large Cardinals as Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 13(2), pp. 375-387, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Fuzzy Log. Intell. Syst. ![In: Int. J. Fuzzy Log. Intell. Syst. 20(1), pp. 77-86, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Mach. Learn. Cybern. ![In: Int. J. Mach. Learn. Cybern. 11(5), pp. 1061-1082, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Noemí Navarro, Róbert F. Veszteg |
On the empirical validity of axioms in unstructured bargaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 121, pp. 117-145, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 110, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Durán 0001, José Meseguer 0001, Camilo Rocha |
Ground confluence of order-sorted conditional specifications modulo axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 111, pp. 100513, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Yuxin Ye, Xianji Cui, Dantong Ouyang |
Extracting a justification for OWL ontologies by critical axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. ![In: Frontiers Comput. Sci. 14(4), pp. 144305, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Thu Huong Nguyen, Andrea G. B. Tettamanzi |
Grammatical Evolution to Mine OWL Disjointness Axioms Involving Complex Concept Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC ![In: IEEE Congress on Evolutionary Computation, CEC 2020, Glasgow, United Kingdom, July 19-24, 2020, pp. 1-8, 2020, IEEE, 978-1-7281-6929-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Dario Malchiodi, Célia da Costa Pereira, Andrea G. B. Tettamanzi |
Classifying Candidate Axioms via Dimensionality Reduction Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence - 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2-4, 2020, Proceedings, pp. 179-191, 2020, Springer, 978-3-030-57523-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Ulle Endriss |
Analysis of One-to-One Matching Mechanisms via SAT Solving: Impossibilities for Universal Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020., pp. 1918-1925, 2020, AAAI Press, 978-1-57735-823-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mieczyslaw A. Klopotek, Robert A. Klopotek |
In-The-Limit Clustering Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC (2) ![In: Artificial Intelligence and Soft Computing - 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part II, pp. 199-209, 2020, Springer, 978-3-030-61533-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Ontologies and Concepts in Mind and Machine - 25th International Conference on Conceptual Structures, ICCS 2020, Bolzano, Italy, September 18-20, 2020, Proceedings, pp. 18-32, 2020, Springer, 978-3-030-57854-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Umang Mathur 0001, P. Madhusudan, Mahesh Viswanathan 0001 |
What's Decidable About Program Verification Modulo Axioms? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II, pp. 158-177, 2020, Springer, 978-3-030-45236-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Ritesh Noothigattu, Dominik Peters, Ariel D. Procaccia |
Axioms for Learning from Pairwise Comparisons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual., 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Gabriella Pasi, Rafael Peñaloza |
Query Answering in Fuzzy DL-Lite with Graded Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR ![In: Rules and Reasoning - 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings, pp. 39-53, 2020, Springer, 978-3-030-57976-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Gabriella Pasi, Rafael Peñaloza |
Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Bartosz Bednarczyk, Stéphane Demri, Alessio Mansutti |
A Framework for Reasoning about Dynamic Axioms in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pp. 1681-1687, 2020, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Greg d'Eon, Kate Larson |
Testing Axioms Against Human Reward Divisions in Cooperative Games. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020, pp. 312-320, 2020, International Foundation for Autonomous Agents and Multiagent Systems, 978-1-4503-7518-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Martin Lück |
Team logic: axioms, expressiveness, complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
15 | Maria Gillespie 0001, Jake Levinson |
Axioms for Shifted Tableau Crystals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 26(2), pp. 2, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Xiao-Wu Zhou, Fu-Gui Shi |
Some separation axioms in L-convex spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 37(6), pp. 8053-8062, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Fanghui Li |
A degree approach to separation axioms in M-fuzzifying convex spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 36(3), pp. 2885-2893, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Eunsuk Yang |
Mianorm-based logics with n-contraction and n-mingle axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 37(6), pp. 7895-7907, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Chengyu Liang, Fanghui Li, Jie Zhang |
Separation axioms in (L, M)-fuzzy convex spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 36(4), pp. 3649-3660, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Internet ![In: Future Internet 11(12), pp. 260, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Robert A. Proctor, Lindsey M. Scoppetta |
d-Complete Posets: Local Structural Axioms, Properties, and Equivalent Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 36(3), pp. 399-422, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Roland Coghetto, Adam Grabowski |
Tarski Geometry Axioms. Part IV - Right Angle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 27(1), pp. 75-85, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Syst. J. ![In: IEEE Syst. J. 13(1), pp. 270-278, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | William Taylor |
Learnability Can Be Independent of ZFC Axioms: Explanations and Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.08410, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Umang Mathur 0001, P. Madhusudan, Mahesh Viswanathan 0001 |
What's Decidable About Program Verification Modulo Axioms? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.10889, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Grzegorz Wiaderek, Iwona Skalna |
Generating theorem proving procedures from axioms of Truncated Predicate Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.12636, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Yifeng Ding, Wesley H. Holliday, Cedegao Zhang |
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 121-139, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Bill Stoddart, Frank Zeyda, Steve Dunne |
Bunch theory, applications, axioms and models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.04344, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Marcelo Finger |
Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.10405, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Malgorzata Terepeta |
On separating axioms and similarity of soft topological spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 23(3), pp. 1049-1057, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. Eng. ![In: Comput. Ind. Eng. 127, pp. 788-804, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Aaron J. Cotnoir, Achille C. Varzi |
Natural Axioms for Classical Mereology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 12(1), pp. 201-208, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Mach. Learn. Cybern. ![In: Int. J. Mach. Learn. Cybern. 10(1), pp. 27-42, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 62(1), pp. 1-68, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC (1) ![In: The Semantic Web - ISWC 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I, pp. 128-144, 2019, Springer, 978-3-030-30792-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC (Satellites) ![In: Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, Industry, and Outrageous Ideas) co-located with 18th International Semantic Web Conference (ISWC 2019), Auckland, New Zealand, October 26-30, 2019., pp. 57-60, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria |
Core-concavity, Gain Functions and Axioms for Information Leakage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 261-275, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Pedro Cabalar, Torsten Schaub |
Temporal Logic Programs with Temporal Description Logic Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logic, Theory Combination, and All That ![In: Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, pp. 174-186, 2019, Springer, 978-3-030-22101-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Marcelo Finger |
Extending $$\mathscr {E\!L}^{++}$$ with Linear Constraints on the Probability of Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logic, Theory Combination, and All That ![In: Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, pp. 286-300, 2019, Springer, 978-3-030-22101-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Gordon Krieger, Dirk Schlimm |
How to find axioms for finite domains: A computational exploration of mathematical discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 41th Annual Meeting of the Cognitive Science Society, CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada, July 24-27, 2019, pp. 3299, 2019, cognitivesciencesociety.org, 0-9911967-7-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Justine Reynaud, Yannick Toussaint, Amedeo Napoli |
Redescription Mining for Learning Definitions and Disjointness Axioms in Linked Open Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Graph-Based Representation and Reasoning - 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1-4, 2019, Proceedings, pp. 175-189, 2019, Springer, 978-3-030-23181-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Francesco Kriegel |
Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pp. 399-417, 2019, Springer, 978-3-030-19569-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | David Speck 0001, Florian Geißer, Robert Mattmüller, Álvaro Torralba |
Symbolic Planning with Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2019, Berkeley, CA, USA, July 11-15, 2019., pp. 464-472, 2019, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Thu Huong Nguyen, Andrea G. B. Tettamanzi |
Learning Class Disjointness Axioms Using Grammatical Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroGP ![In: Genetic Programming - 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings, pp. 278-294, 2019, Springer, 978-3-030-16669-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019, pp. 485-493, 2019, International Foundation for Autonomous Agents and Multiagent Systems, 978-1-4503-6309-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Solmaz Kolahi |
Armstrong Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems (2nd ed.) ![In: Encyclopedia of Database Systems, Second Edition, 2018, Springer, 978-1-4614-8266-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Gunter Fuchs |
Hierarchies of (Virtual) Resurrection Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 83(1), pp. 283-325, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Gunter Fuchs |
Hierarchies of forcing Axioms, the continuum Hypothesis and square Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 83(1), pp. 256-282, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Gerhard Jäger, Silvia Steila |
About some fixed Point Axioms and Related Principles in Kripke-Platek Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 83(2), pp. 642-668, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 53254-53264, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Muhammad Fahad 0011 |
Toward analyzing impact of disjoint axioms for merging heterogeneous ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 51(1), pp. 49-70, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.05097, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Federico Aschieri, Agata Ciabattoni, Francesco A. Genco |
Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.00961, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza |
Repairing Description Logic Ontologies by Weakening Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.00248, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.05051, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Ivan Chajda, Miroslav Kolarík |
Reduced axioms for the propositional logics induced by basic algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 22(4), pp. 1203-1207, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 244, pp. 56-69, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ian Orton, Andrew M. Pitts |
Axioms for Modelling Cubical Type Theory in a Topos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 14(4), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | John K. Dagsvik |
Invariance axioms and functional form restrictions in structural models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 91, pp. 85-95, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Martin Stepnicka, Sayantan Mandal |
Fuzzy inference systems preserving Moser-Navara axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 338, pp. 97-116, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Chun Yong Wang |
Single axioms for lower fuzzy rough approximation operators determined by fuzzy implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 336, pp. 116-147, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 111, pp. 41-63, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jesper Cockx, Dominique Devriese |
Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 28, pp. e12, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 27(4), pp. 573-591, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Dario Malchiodi, Andrea G. B. Tettamanzi |
Predicting the possibilistic score of OWL axioms through modified support vector clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, pp. 1984-1991, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Tokio Kawakami, Takeshi Morita 0001, Takahira Yamaguchi |
Building up Ontologies with Property Axioms from Wikipedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JIST (Workshops & Posters) ![In: Workshop and Poster Proceedings of the 8th Joint International Semantic Technology Conference co-located with the 8th Joint International Semantic Technology Conference (JIST 2018), Awaji City, Hyogo, Japan, November 26-28, 2018., pp. 1-12, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management - 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings, pp. 380-386, 2018, Springer, 978-3-030-00460-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Oskar Skibski, Jadwiga Sosnowska |
Axioms for Distance-Based Centralities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018, pp. 1218-1225, 2018, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Kaya Deuser, Pavel Naumov |
Armstrong's Axioms and Navigation Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018, pp. 6343-6350, 2018, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBO ![In: Proceedings of the 9th International Conference on Biological Ontology (ICBO 2018), Corvallis, Oregon, USA, August 7-10, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev |
Frame-Validity Games and Absolute Minimality of Modal Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 12, proceedings of the 12th conference on `Advances in Modal Logic,` held in Bern, Switzerland, August 27-31, 2018, pp. 83-102, 2018, College Publications, 978-1-84890-255-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Vincent Cohen-Addad, Varun Kanade, Frederik Mallmann-Trenn |
Clustering Redemption-Beyond the Impossibility of Kleinberg's Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montréal, Canada., pp. 8526-8535, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Francisco Durán 0001, José Meseguer 0001, Camilo Rocha |
Proving Ground Confluence of Equational Specifications Modulo Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings, pp. 184-204, 2018, Springer, 978-3-319-99839-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Bogumila Hnatkowska, Pawel Woroniecki |
Transformation of OWL2 Property Axioms to Groovy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings, pp. 269-282, 2018, Springer, 978-3-319-73116-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Haris Aziz 0001, Barton E. Lee |
Sub-committee Approval Voting and Generalized Justified Representation Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIES ![In: Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, AIES 2018, New Orleans, LA, USA, February 02-03, 2018, pp. 3-9, 2018, ACM, 978-1-4503-6012-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers, pp. 38-55, 2018, Springer, 978-3-030-13837-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Leila Amgoud, Jonathan Ben-Naim |
Weighted Bipolar Argumentation Graphs: Axioms and Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., pp. 5194-5198, 2018, ijcai.org, 978-0-9992411-2-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Haris Aziz 0001, Barton E. Lee, Nimrod Talmon |
Proportionally Representative Participatory Budgeting: Axioms and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018, pp. 23-31, 2018, International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Yajing Chen |
New axioms for deferred acceptance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 48(2), pp. 393-408, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Miklós Bartha |
On the Completeness of the Traced Monoidal Category Axioms in (Rel, +). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 23(1), pp. 327-347, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Carsten Carstensen, Hella Rabus |
Axioms of Adaptivity with Separate Marking for Data Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 55(6), pp. 2644-2665, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Zoltán Ésik |
Equational axioms associated with finite automata for fixed point operations in cartesian categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 27(1), pp. 54-69, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Roland Coghetto, Adam Grabowski |
Tarski Geometry Axioms. Part III. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 25(4), pp. 289-313, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Matteo Viale |
Useful Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 4(10), pp. 3427-3462, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq |
Directed Homology Theories and Eilenberg-Steenrod Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 25(5), pp. 775-807, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Andrea G. B. Tettamanzi, Catherine Faron-Zucker, Fabien Gandon |
Possibilistic testing of OWL axioms against RDF data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 91, pp. 114-130, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 90, pp. 341-358, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 24(2), pp. 295-339, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Florian Rabe 0001 |
Morphism axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 691, pp. 55-80, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001 |
Strict coherence of conditional rewriting modulo axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 672, pp. 1-35, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2017, pp. 8025616:1-8025616:5, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|