Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Shai Ben-David, Pavel Hrubes, Shay Moran, Amir Shpilka, Amir Yehudayoff |
A learning problem that is independent of the set theory ZFC axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.05195, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Ian Orton, Andrew M. Pitts |
Axioms for Modelling Cubical Type Theory in a Topos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.04864, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Haris Aziz 0001, Barton Lee, Nimrod Talmon |
Proportionally Representative Participatory Budgeting: Axioms and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.08226, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Jan A. Bergstra, Cornelis A. Middelburg |
Axioms for behavioural congruence of single-pass instruction sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.03511, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Omer Lev, Moshe Tennenholtz |
Group Recommendations: Axioms, Impossibilities, and Random Walks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 382-397, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Robert A. Klopotek, Mieczyslaw A. Klopotek |
On the Discrepancy Between Kleinberg's Clustering Axioms and k-Means Clustering Algorithm Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.04577, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Kaya Deuser, Pavel Naumov |
Armstrong's Axioms and Navigation Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.04106, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Shuwa Miura, Alex S. Fukunaga |
Axioms in Model-based Planners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.03916, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Haris Aziz 0001, Barton E. Lee |
Sub-committee Approval Voting and Generalised Justified Representation Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.06030, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP 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) |
CoRR ![In: CoRR abs/1710.04246, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Jirí Mazurek |
On Inconsistency Indices and Inconsistency Axioms in Pairwise Comparisons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.05204, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP 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 universal axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 227, pp. 44-57, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Lee Altenberg |
Probing the axioms of evolutionary algorithm design: Commentary on "On the mapping of genotype to phenotype in evolutionary algorithms" by Peter A. Whigham, Grant Dick, and James Maclaurin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Genet. Program. Evolvable Mach. ![In: Genet. Program. Evolvable Mach. 18(3), pp. 363-367, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Jan A. Bergstra, Cornelis A. Middelburg |
Axioms for Behavioural Congruence of Single-Pass Instruction Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Comput. Sci. ![In: Sci. Ann. Comput. Sci. 27(2), pp. 111-135, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Yasuo Yoshinobu |
The ⁎-variation of the Banach-Mazur game and forcing axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 168(6), pp. 1335-1359, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Joel David Hamkins, Thomas A. Johnstone |
Strongly uplifting cardinals and the boldface resurrection axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 56(7-8), pp. 1115-1133, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Pasquale Minervini, Luca Costabello, Emir Muñoz, Vít Novácek, Pierre-Yves Vandenbussche |
Regularizing Knowledge Graph Embeddings via Equivalence and Inversion Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (1) ![In: Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18-22, 2017, Proceedings, Part I, pp. 668-683, 2017, Springer, 978-3-319-71248-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Marcel Heinz, Ralf Lämmel, Andrei Varanovich |
Axioms of Linguistic Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017., pp. 478-486, 2017, SciTePress, 978-989-758-210-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Antoine Zimmermann, José M. Giménez-García |
Contextualizing DL Axioms: Formalization, a New Approach, and Its Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSP/WOMoCoE@ISWC ![In: Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017., pp. 74-85, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie, Anestis Touloumis |
The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC (1) ![In: The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I, pp. 20-36, 2017, Springer, 978-3-319-68287-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Iaakov Exman, Phillip Katz |
Conceptual Software Design: Algebraic Axioms for Conceptual Integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 29th International Conference on Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 5-7, 2017., pp. 155-160, 2017, KSI Research Inc. and Knowledge Systems Institute Graduate School, 1-891706-41-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Rajeev Irny, P. Sreenivasa Kumar 0001 |
Mining Inverse and Symmetric Axioms in Linked Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JIST ![In: Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings, pp. 215-231, 2017, Springer, 978-3-319-70681-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Rolf Schwitter |
Learning Effect Axioms via Probabilistic Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP (Technical Communications) ![In: Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia, pp. 8:1-8:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-058-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Kieren Davies, C. Maria Keet, Agnieszka Lawrynowicz |
TDDonto2: A Test-Driven Development Plugin for Arbitrary TBox and ABox Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC (Satellite Events) ![In: The Semantic Web: ESWC 2017 Satellite Events - ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 - June 1, 2017, Revised Selected Papers, pp. 120-125, 2017, Springer, 978-3-319-70406-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Satoshi Masuya |
The Shapley Value and Consistency Axioms of Cooperative Games Under Incomplete Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-IDT (1) ![In: Intelligent Decision Technologies 2017 - Proceedings of the 9th KES International Conference on Intelligent Decision Technologies (KES-IDT 2017) - Part I, Algarve, Portugal, June 21-23, 2017., pp. 3-12, 2017, Springer, 978-3-319-59420-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Shuwa Miura, Alex Fukunaga |
Automatically Extracting Axioms in Classical Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA., pp. 4973-4974, 2017, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Steven Alter |
Service System Axioms that Accept Positive and Negative Outcomes and Impacts of Service Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the International Conference on Information Systems - Transforming Society with Digital Innovation, ICIS 2017, Seoul, South Korea, December 10-13, 2017, 2017, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Shahad Kudama, Rafael Berlanga Llavori, Ernesto Jiménez-Ruiz |
Enriching the Human Phenotype Ontology with Inferred Axioms from Textual Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT4LS ![In: Proceedings of the 10th International Conference on Semantic Web Applications and Tools for Health Care and Life Sciences (SWAT4LS 2017), Rome, Italy, December 4-7, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita |
Conditional narrowing modulo SMT and axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 17-28, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Fatiha Saïs, Cédric Pruski, Marcos Da Silveira |
Inferring the evolution of ontology axioms from RDF data dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K-CAP ![In: Proceedings of the Knowledge Capture Conference, K-CAP 2017, Austin, TX, USA, December 4-6, 2017, pp. 43:1-43:4, 2017, ACM, 978-1-4503-5553-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Shuwa Miura, Alex Fukunaga |
Automatic Extraction of Axioms for Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017., pp. 218-227, 2017, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Edith Elkind |
Justified Representation in Multiwinner Voting: Axioms and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 1:1-1:10, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Özgür Lütfü Özçep |
Belief Revision with Bridging Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017., pp. 104-109, 2017, AAAI Press, 978-1-57735-787-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Mitri Kitti |
Axioms for centrality scoring with principal eigenvectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 46(3), pp. 639-653, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Memet Kule, Senol Dost |
A textural view of semi-separation axioms in soft fuzzy topological spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 30(4), pp. 2037-2053, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Roland Coghetto, Adam Grabowski |
Tarski Geometry Axioms - Part II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 24(2), pp. 157-166, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Maria Nogin, Bing Xu |
Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2016, pp. 9163014:1-9163014:3, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Patrick Suppes |
Qualitative Axioms of Uncertainty as a Foundation for Probability and Decision-Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 26(1-2), pp. 185-202, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Thomas L. Saaty, Konrad Kulakowski |
Axioms of the Analytic Hierarchy Process (AHP) and its Generalization to Dependence and Feedback: The Analytic Network Process (ANP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.05777, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Weihao Gao, Sreeram Kannan, Sewoong Oh, Pramod Viswanath |
Causal Strength via Shannon Capacity: Axioms, Estimators and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1602.03476, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Florian Lonsing, Uwe Egly, Martina Seidl |
Q-Resolution with Generalized Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.05994, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | María Alpuente, Angel Cuenca-Ortega, Santiago Escobar 0001, José Meseguer 0001 |
Partial Evaluation of Order-sorted Equational Programs modulo Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.03424, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Li Fu, Zhen Liu |
Topological separation axioms of soft rough formal context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. Sci. Eng. ![In: Comput. Syst. Sci. Eng. 31(2), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Ram Sewak Dubey |
On construction of social welfare orders satisfying Hammond equity and Weak Pareto axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 84, pp. 119-124, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | David Asperó, Miguel Angel Mota |
Separating club-guessing principles in the presence of fat forcing axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 167(3), pp. 284-308, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich |
Adding Decision Procedures to SMT Solvers Using Axioms with Triggers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 56(4), pp. 387-457, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Mengqiao Huang, Xiangnan Zhou, Qingguo Li |
Re-visiting axioms of information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 247, pp. 130-140, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Gang Zeng, Yuyi Wang 0001, Juhua Pu, Xingwu Liu, Xiaoming Sun 0001, Jialin Zhang 0001 |
Communities in Preference Networks: Refined Axioms and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: IEEE 16th International Conference on Data Mining, ICDM 2016, December 12-15, 2016, Barcelona, Spain, pp. 599-608, 2016, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Mohan Sridharan, Ben Meadows |
Should I do that? using relational reinforcement learning and declarative programming to discover domain axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDL-EPIROB ![In: 2016 Joint IEEE International Conference on Development and Learning and Epigenetic Robotics, ICDL-EpiRob 2016, Cergy-Pontoise, France, September 19-22, 2016, pp. 252-259, 2016, IEEE, 978-1-5090-5069-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Martin Stepnicka |
On the satisfaction of Moser-Navara axioms for fuzzy inference systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: 2016 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2016, Vancouver, BC, Canada, July 24-29, 2016, pp. 308-315, 2016, IEEE, 978-1-5090-0626-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith 0001 |
Axioms for Information Leakage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016, pp. 77-92, 2016, IEEE Computer Society, 978-1-5090-2607-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Sambaran Bandyopadhyay, M. Narasimha Murty |
Axioms to characterize efficient incremental clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 23rd International Conference on Pattern Recognition, ICPR 2016, Cancún, Mexico, December 4-8, 2016, pp. 450-455, 2016, IEEE, 978-1-5090-4847-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Lara Haidar-Ahmad, Amal Zouaq, Michel Gagnon |
Automatic Extraction of Axioms from Wikipedia Using SPARQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC (Satellite Events) ![In: The Semantic Web - ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29 - June 2, 2016, Revised Selected Papers, pp. 60-64, 2016, 978-3-319-47601-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Revantha Ramanayake |
From Axioms to Proof Rules, then add Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., Coimbra, Portugal, July 1, 2016., pp. 1-8, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Yuanyuan Li, Huiying Li, Jing Shi |
Mining RDF Data for OWL2 RL Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCKS ![In: Knowledge Graph and Semantic Computing: Semantic, Knowledge, and Linked Big Data - First China Conference, CCKS 2016, Beijing, China, September 19-22, 2016, Revised Selected Papers, pp. 117-123, 2016, Springer, 978-981-10-3167-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Florian Lonsing, Uwe Egly, Martina Seidl |
Q-Resolution with Generalized Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings, pp. 435-452, 2016, Springer, 978-3-319-40969-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Yutaka Miyazaki |
The structure of the lattice of normal extensions of modal logics with cyclic axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 11, proceedings of the 11th conference on `Advances in Modal Logic,` held in Budapest, Hungary, August 30 - September 2, 2016, pp. 489-502, 2016, College Publications, 978-1-84890-201-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Ian Orton, Andrew M. Pitts |
Axioms for Modelling Cubical Type Theory in a Topos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 24:1-24:19, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | María Alpuente, Angel Cuenca-Ortega, Santiago Escobar 0001, José Meseguer 0001 |
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers, pp. 3-20, 2016, Springer, 978-3-319-63138-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Weihao Gao, Sreeram Kannan, Sewoong Oh, Pramod Viswanath |
Conditional Dependence via Shannon Capacity: Axioms, Estimators and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 33nd International Conference on Machine Learning, ICML 2016, New York City, NY, USA, June 19-24, 2016, pp. 2780-2789, 2016, JMLR.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Leila Amgoud, Jonathan Ben-Naim |
Evaluation of Arguments from Support Relations: Axioms and Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pp. 900-906, 2016, IJCAI/AAAI Press, 978-1-57735-770-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Ilona Semradova |
Axioms of communication in virtual learning environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDIM ![In: Eleventh International Conference on Digital Information Management, ICDIM 2016, Porto, Portugal, September 19-21, 2016, pp. 117-120, 2016, IEEE, 978-1-5090-2641-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Mohan Sridharan, Prashanth Devarakonda, Rashmica Gupta |
Can I Do That? Discovering Domain Axioms Using Declarative Programming and Relational Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS Workshops (Visionary Papers) ![In: Autonomous Agents and Multiagent Systems - AAMAS 2016 Workshops, - Visionary Papers - , Singapore, Singapore, May 9-10, 2016, Revised Selected Papers, pp. 34-49, 2016, 978-3-319-46839-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Xiaonan Li, Huangjian Yi |
Axioms for fuzzy bases of Hsueh fuzzy matroids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 29(5), pp. 1995-2001, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Osama A. E. Tantawy, Sobhy A. El-Sheikh, Rasha Naser Majeed |
A note on "separation axioms in fuzzy bitopological spaces". ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 28(5), pp. 2243-2244, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Hitoshi Furusawa, Yasuo Kawahara |
Point axioms and related conditions in Dedekind categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 84(3), pp. 359-376, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Zuoshuang Xiang, Jie Zheng 0001, Yu Lin, Yongqun He |
Ontorat: automatic generation of new ontology terms, annotations, and axioms based on ontology design patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Semant. ![In: J. Biomed. Semant. 6, pp. 4, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | LeSheng Jin, Martin Kalina, Gang Qian |
Fuzzy orness measure and new orness axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 51(4), pp. 712-723, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Konstantinos Tsaprounis |
On Resurrection Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 80(2), pp. 587-608, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Christophe Gravier, Julien Subercaze, Antoine Zimmermann |
Conflict resolution when axioms are materialized in semantic-based smart environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Ambient Intell. Smart Environ. ![In: J. Ambient Intell. Smart Environ. 7(2), pp. 187-199, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Eike Best, Raymond R. Devillers |
State space axioms for T-systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 52(2-3), pp. 133-152, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Steffen Lewitzka |
Denotational Semantics for Modal Systems S3-S5 Extended by Axioms for Propositional Quantifiers and Identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 103(3), pp. 507-544, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | |
Mathematics of Sparsity and Entropy: Axioms, Core Functions and Sparse Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1501.05126, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Jian Yu |
Generalized Categorization Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.09082, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Zoltán Ésik |
Equational Axioms for Fixed Point Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1501.02190, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Matteo Brunelli |
Extending the axioms of inconsistency indices for pairwise comparisons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1507.08826, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Giulio Chiribella, Carlo Maria Scandolo |
Operational axioms for diagonalizing states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 12th International Workshop on Quantum Physics and Logic, QPL 2015, Oxford, UK, July 15-17, 2015., pp. 96-115, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Fred R. McMorris, Henry Martyn Mulder, Beth Novick, Robert C. Powers |
Five axioms for location functions on median graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Algorithms Appl. ![In: Discret. Math. Algorithms Appl. 7(2), pp. 1550013:1-1550013:30, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Constantino Tsallis |
Conceptual Inadequacy of the Shore and Johnson Axioms for Wide Classes of Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 17(5), pp. 2853-2861, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Steve Pressé, Kingshuk Ghosh, Julian Lee, Ken A. Dill |
Reply to C. Tsallis' "Conceptual Inadequacy of the Shore and Johnson Axioms for Wide Classes of Complex Systems". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 17(7), pp. 5043-5046, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Fabrice Talla Nobibon, Bart Smeulders, Frits C. R. Spieksma |
A Note on Testing Axioms of Revealed Preference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 166(3), pp. 1063-1070, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Andrew Tedder |
Axioms for Finite collapse Models of Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 8(3), pp. 529-539, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Xiaolong Tang, Jaakko Järvi |
Axioms as generic rewrite rules in C++ with concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 97, pp. 320-330, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Andrew Cholewa, Santiago Escobar 0001, José Meseguer 0001 |
Constrained narrowing for conditional equational theories modulo axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 112, pp. 24-57, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Raúl Gutiérrez, José Meseguer 0001, Camilo Rocha |
Order-sorted equality enrichments modulo axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 99, pp. 235-261, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Sylvain Béal, Eric Rémila, Philippe Solal |
Axioms of invariance for TU-games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Game Theory ![In: Int. J. Game Theory 44(4), pp. 891-902, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Nora A. Angelova, Krassimir T. Atanassov |
Intuitionistic Fuzzy Implications and Klir-Yuan's Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIFSGN@FQAS ![In: Novel Developments in Uncertainty Representation and Processing - Advances in Intuitionistic Fuzzy Sets and Generalized Nets - Proceedings of 14th International Conference on Intuitionistic Fuzzy Sets and Generalized Nets, IWIFSGN@FQAS 2015, Cracow, Poland, October 26-28, 2015, pp. 97-110, 2015, Springer, 978-3-319-26210-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Andrea G. B. Tettamanzi, Catherine Faron-Zucker, Fabien Gandon |
Dynamically Time-Capped Possibilistic Testing of SubClassOf Axioms Against RDF Data to Enrich Schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K-CAP ![In: Proceedings of the 8th International Conference on Knowledge Capture, K-CAP 2015, Palisades, NY, USA, October 7-10, 2015, pp. 7:1-7:8, 2015, ACM, 978-1-4503-3849-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Nora A. Angelova, Krassimir T. Atanassov |
Intuitionistic Fuzzy Implications and the Axioms of Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA-EUSFLAT ![In: 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT-15), Gijón, Spain., June 30, 2015., 2015, Atlantis Press, 978-94-62520-77-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Franc Ivankovic, Patrik Haslum |
Optimal Planning with Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pp. 1580-1586, 2015, AAAI Press, 978-1-57735-738-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Ricardo Mora, Claudio Gutierrez 0001 |
Random-Walk Closeness Centrality Satisfies Boldi-Vigna Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMW ![In: Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015., 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Paolo Boldi, Sebastiano Vigna |
Axioms for Centrality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Math. ![In: Internet Math. 10(3-4), pp. 222-262, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Izumi Ojima, Kazuya Okamura, Hayato Saigo |
Derivation of Born Rule from Algebraic and Statistical Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open Syst. Inf. Dyn. ![In: Open Syst. Inf. Dyn. 21(3), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Ismail Ibedou |
Separation axioms in fuzzy bitopological spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 27(2), pp. 943-951, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Twan van Laarhoven, Elena Marchiori |
Axioms for graph clustering quality functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Mach. Learn. Res. ![In: J. Mach. Learn. Res. 15(1), pp. 193-215, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Marc Gyssens, Mathias Niepert, Dirk Van Gucht |
On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 114(11), pp. 628-633, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Will Boney |
Tameness from Large Cardinal Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 79(4), pp. 1092-1119, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Duygu Çelik, Atilla Elçi |
Semantic composition of business processes using Armstrong's Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Eng. Rev. ![In: Knowl. Eng. Rev. 29(2), pp. 248-264, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | William Richter, Adam Grabowski, Jesse Alama |
Tarski Geometry Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 22(2), pp. 167-176, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Simon Kramer 0001 |
Computer-Aided Discovery and Categorisation of Personality Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 1(2), pp. 107-133, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|