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. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Ian Orton, Andrew M. Pitts |
Axioms for Modelling Cubical Type Theory in a Topos. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Haris Aziz 0001, Barton Lee, Nimrod Talmon |
Proportionally Representative Participatory Budgeting: Axioms and Algorithms. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Jan A. Bergstra, Cornelis A. Middelburg |
Axioms for behavioural congruence of single-pass instruction sequences. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Omer Lev, Moshe Tennenholtz |
Group Recommendations: Axioms, Impossibilities, and Random Walks. |
TARK |
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. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Kaya Deuser, Pavel Naumov |
Armstrong's Axioms and Navigation Strategies. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Shuwa Miura, Alex S. Fukunaga |
Axioms in Model-based Planners. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Haris Aziz 0001, Barton E. Lee |
Sub-committee Approval Voting and Generalised Justified Representation Axioms. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Luis Sánchez Fernández 0001, Jesús A. Fisteus |
Monotonicity axioms in approval-based multi-winner voting rules. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Jirí Mazurek |
On Inconsistency Indices and Inconsistency Axioms in Pairwise Comparisons. |
CoRR |
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. |
Discret. Appl. Math. |
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. |
Genet. Program. Evolvable Mach. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Jan A. Bergstra, Cornelis A. Middelburg |
Axioms for Behavioural Congruence of Single-Pass Instruction Sequences. |
Sci. Ann. Comput. Sci. |
2017 |
DBLP BibTeX RDF |
|
15 | Yasuo Yoshinobu |
The ⁎-variation of the Banach-Mazur game and forcing axioms. |
Ann. Pure Appl. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Joel David Hamkins, Thomas A. Johnstone |
Strongly uplifting cardinals and the boldface resurrection axioms. |
Arch. Math. Log. |
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. |
ECML/PKDD (1) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Marcel Heinz, Ralf Lämmel, Andrei Varanovich |
Axioms of Linguistic Architecture. |
MODELSWARD |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Antoine Zimmermann, José M. Giménez-García |
Contextualizing DL Axioms: Formalization, a New Approach, and Its Properties. |
WSP/WOMoCoE@ISWC |
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. |
ISWC (1) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Iaakov Exman, Phillip Katz |
Conceptual Software Design: Algebraic Axioms for Conceptual Integrity. |
SEKE |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Rajeev Irny, P. Sreenivasa Kumar 0001 |
Mining Inverse and Symmetric Axioms in Linked Data. |
JIST |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Rolf Schwitter |
Learning Effect Axioms via Probabilistic Logic Programming. |
ICLP (Technical Communications) |
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. |
ESWC (Satellite Events) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Satoshi Masuya |
The Shapley Value and Consistency Axioms of Cooperative Games Under Incomplete Information. |
KES-IDT (1) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Shuwa Miura, Alex Fukunaga |
Automatically Extracting Axioms in Classical Planning. |
AAAI |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Steven Alter |
Service System Axioms that Accept Positive and Negative Outcomes and Impacts of Service Systems. |
ICIS |
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. |
SWAT4LS |
2017 |
DBLP BibTeX RDF |
|
15 | Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita |
Conditional narrowing modulo SMT and axioms. |
PPDP |
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. |
K-CAP |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Shuwa Miura, Alex Fukunaga |
Automatic Extraction of Axioms for Planning. |
ICAPS |
2017 |
DBLP BibTeX RDF |
|
15 | Edith Elkind |
Justified Representation in Multiwinner Voting: Axioms and Algorithms. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Özgür Lütfü Özçep |
Belief Revision with Bridging Axioms. |
FLAIRS |
2017 |
DBLP BibTeX RDF |
|
15 | Mitri Kitti |
Axioms for centrality scoring with principal eigenvectors. |
Soc. Choice Welf. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Memet Kule, Senol Dost |
A textural view of semi-separation axioms in soft fuzzy topological spaces. |
J. Intell. Fuzzy Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Roland Coghetto, Adam Grabowski |
Tarski Geometry Axioms - Part II. |
Formaliz. Math. |
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. |
Int. J. Math. Math. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Patrick Suppes |
Qualitative Axioms of Uncertainty as a Foundation for Probability and Decision-Making. |
Minds Mach. |
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). |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Weihao Gao, Sreeram Kannan, Sewoong Oh, Pramod Viswanath |
Causal Strength via Shannon Capacity: Axioms, Estimators and Applications. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Florian Lonsing, Uwe Egly, Martina Seidl |
Q-Resolution with Generalized Axioms. |
CoRR |
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. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Li Fu, Zhen Liu |
Topological separation axioms of soft rough formal context. |
Comput. Syst. Sci. Eng. |
2016 |
DBLP BibTeX RDF |
|
15 | Ram Sewak Dubey |
On construction of social welfare orders satisfying Hammond equity and Weak Pareto axioms. |
Math. Soc. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | David Asperó, Miguel Angel Mota |
Separating club-guessing principles in the presence of fat forcing axioms. |
Ann. Pure Appl. Log. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich |
Adding Decision Procedures to SMT Solvers Using Axioms with Triggers. |
J. Autom. Reason. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Mengqiao Huang, Xiangnan Zhou, Qingguo Li |
Re-visiting axioms of information systems. |
Inf. Comput. |
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. |
ICDM |
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. |
ICDL-EPIROB |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Martin Stepnicka |
On the satisfaction of Moser-Navara axioms for fuzzy inference systems. |
FUZZ-IEEE |
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. |
CSF |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Sambaran Bandyopadhyay, M. Narasimha Murty |
Axioms to characterize efficient incremental clustering. |
ICPR |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Lara Haidar-Ahmad, Amal Zouaq, Michel Gagnon |
Automatic Extraction of Axioms from Wikipedia Using SPARQL. |
ESWC (Satellite Events) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Revantha Ramanayake |
From Axioms to Proof Rules, then add Quantifiers. |
ARQNL@IJCAR |
2016 |
DBLP BibTeX RDF |
|
15 | Yuanyuan Li, Huiying Li, Jing Shi |
Mining RDF Data for OWL2 RL Axioms. |
CCKS |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Florian Lonsing, Uwe Egly, Martina Seidl |
Q-Resolution with Generalized Axioms. |
SAT |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Yutaka Miyazaki |
The structure of the lattice of normal extensions of modal logics with cyclic axioms. |
Advances in Modal Logic |
2016 |
DBLP BibTeX RDF |
|
15 | Ian Orton, Andrew M. Pitts |
Axioms for Modelling Cubical Type Theory in a Topos. |
CSL |
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. |
LOPSTR |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Weihao Gao, Sreeram Kannan, Sewoong Oh, Pramod Viswanath |
Conditional Dependence via Shannon Capacity: Axioms, Estimators and Applications. |
ICML |
2016 |
DBLP BibTeX RDF |
|
15 | Leila Amgoud, Jonathan Ben-Naim |
Evaluation of Arguments from Support Relations: Axioms and Semantics. |
IJCAI |
2016 |
DBLP BibTeX RDF |
|
15 | Ilona Semradova |
Axioms of communication in virtual learning environment. |
ICDIM |
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. |
AAMAS Workshops (Visionary Papers) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Xiaonan Li, Huangjian Yi |
Axioms for fuzzy bases of Hsueh fuzzy matroids. |
J. Intell. Fuzzy Syst. |
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". |
J. Intell. Fuzzy Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Hitoshi Furusawa, Yasuo Kawahara |
Point axioms and related conditions in Dedekind categories. |
J. Log. Algebraic Methods Program. |
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. |
J. Biomed. Semant. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | LeSheng Jin, Martin Kalina, Gang Qian |
Fuzzy orness measure and new orness axioms. |
Kybernetika |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Konstantinos Tsaprounis |
On Resurrection Axioms. |
J. Symb. Log. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Christophe Gravier, Julien Subercaze, Antoine Zimmermann |
Conflict resolution when axioms are materialized in semantic-based smart environments. |
J. Ambient Intell. Smart Environ. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Eike Best, Raymond R. Devillers |
State space axioms for T-systems. |
Acta Informatica |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Steffen Lewitzka |
Denotational Semantics for Modal Systems S3-S5 Extended by Axioms for Propositional Quantifiers and Identity. |
Stud Logica |
2015 |
DBLP DOI BibTeX RDF |
|
15 | |
Mathematics of Sparsity and Entropy: Axioms, Core Functions and Sparse Recovery. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
15 | Jian Yu |
Generalized Categorization Axioms. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
15 | Zoltán Ésik |
Equational Axioms for Fixed Point Operations. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
15 | Matteo Brunelli |
Extending the axioms of inconsistency indices for pairwise comparisons. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
15 | Giulio Chiribella, Carlo Maria Scandolo |
Operational axioms for diagonalizing states. |
QPL |
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. |
Discret. Math. Algorithms Appl. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Constantino Tsallis |
Conceptual Inadequacy of the Shore and Johnson Axioms for Wide Classes of Complex Systems. |
Entropy |
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". |
Entropy |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Fabrice Talla Nobibon, Bart Smeulders, Frits C. R. Spieksma |
A Note on Testing Axioms of Revealed Preference. |
J. Optim. Theory Appl. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Andrew Tedder |
Axioms for Finite collapse Models of Arithmetic. |
Rev. Symb. Log. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Xiaolong Tang, Jaakko Järvi |
Axioms as generic rewrite rules in C++ with concepts. |
Sci. Comput. Program. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Andrew Cholewa, Santiago Escobar 0001, José Meseguer 0001 |
Constrained narrowing for conditional equational theories modulo axioms. |
Sci. Comput. Program. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Raúl Gutiérrez, José Meseguer 0001, Camilo Rocha |
Order-sorted equality enrichments modulo axioms. |
Sci. Comput. Program. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Sylvain Béal, Eric Rémila, Philippe Solal |
Axioms of invariance for TU-games. |
Int. J. Game Theory |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Nora A. Angelova, Krassimir T. Atanassov |
Intuitionistic Fuzzy Implications and Klir-Yuan's Axioms. |
IWIFSGN@FQAS |
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. |
K-CAP |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Nora A. Angelova, Krassimir T. Atanassov |
Intuitionistic Fuzzy Implications and the Axioms of Intuitionistic Logic. |
IFSA-EUSFLAT |
2015 |
DBLP BibTeX RDF |
|
15 | Franc Ivankovic, Patrik Haslum |
Optimal Planning with Axioms. |
IJCAI |
2015 |
DBLP BibTeX RDF |
|
15 | Ricardo Mora, Claudio Gutierrez 0001 |
Random-Walk Closeness Centrality Satisfies Boldi-Vigna Axioms. |
AMW |
2015 |
DBLP BibTeX RDF |
|
15 | Paolo Boldi, Sebastiano Vigna |
Axioms for Centrality. |
Internet Math. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Izumi Ojima, Kazuya Okamura, Hayato Saigo |
Derivation of Born Rule from Algebraic and Statistical Axioms. |
Open Syst. Inf. Dyn. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Ismail Ibedou |
Separation axioms in fuzzy bitopological spaces. |
J. Intell. Fuzzy Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Twan van Laarhoven, Elena Marchiori |
Axioms for graph clustering quality functions. |
J. Mach. Learn. Res. |
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. |
Inf. Process. Lett. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Will Boney |
Tameness from Large Cardinal Axioms. |
J. Symb. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Duygu Çelik, Atilla Elçi |
Semantic composition of business processes using Armstrong's Axioms. |
Knowl. Eng. Rev. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | William Richter, Adam Grabowski, Jesse Alama |
Tarski Geometry Axioms. |
Formaliz. Math. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Simon Kramer 0001 |
Computer-Aided Discovery and Categorisation of Personality Axioms. |
FLAP |
2014 |
DBLP BibTeX RDF |
|