Search results for "axioms"

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