Search results for "axioms"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Lin Yan 0002, Shuo Yan	Researches on Rough Truth of Rough Axioms Based on Granular Computing.	J. Softw.	2014	DBLP DOI BibTeX RDF
15	Juliette Kennedy	Penelope Maddy, Defending the Axioms: On the philosophical foundations of set theory, Oxford University Press, Oxford, UK, 2011, 150pp.	Bull. Symb. Log.	2014	DBLP DOI BibTeX RDF
15	Mohammad Ardeshir, S. Mojtaba Mojtahedi	Completeness of intermediate logics with doubly negated axioms.	Math. Log. Q.	2014	DBLP DOI BibTeX RDF
15	Carsten Carstensen, Michael Feischl, Marcus Page, Dirk Praetorius	Axioms of adaptivity.	Comput. Math. Appl.	2014	DBLP DOI BibTeX RDF
15	Xiaonan Li, Sanyang Liu	Base Axioms of Modular Supermatroids.	J. Appl. Math.	2014	DBLP DOI BibTeX RDF
15	Jian Yu, Zongben Xu	Categorization Axioms for Classification and Clustering.	CoRR	2014	DBLP BibTeX RDF
15	Samson Abramsky	Axioms for Definability and Full Completeness.	CoRR	2014	DBLP BibTeX RDF
15	Simon Kramer 0001	Computer-Aided Discovery and Categorisation of Personality Axioms.	CoRR	2014	DBLP BibTeX RDF
15	Danko Ilik	Axioms and Decidability for Type Isomorphism in the Presence of Sums.	CoRR	2014	DBLP BibTeX RDF
15	Thomas Schindler 0002	Axioms for Grounded Truth.	Rev. Symb. Log.	2014	DBLP DOI BibTeX RDF
15	Joel David Hamkins, Thomas A. Johnstone	Resurrection axioms and uplifting cardinals.	Arch. Math. Log.	2014	DBLP DOI BibTeX RDF
15	Stevo Todorcevic	Notes on Forcing Axioms.		2014	DOI RDF
15	Zachary Heckle, Pavel Naumov	Common Knowledge Semantics of Armstrong's Axioms.	WoLLIC	2014	DBLP DOI BibTeX RDF
15	Stefania Costantini, Giovanni De Gasperis	Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems.	CILC	2014	DBLP BibTeX RDF
15	Annie Foret	On Associative Lambek Calculus Extended with Basic Proper Axioms.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
15	Björn Lellmann	Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications.	IJCAR	2014	DBLP DOI BibTeX RDF
15	Andrea G. B. Tettamanzi, Catherine Faron-Zucker, Fabien Gandon	Testing OWL Axioms against RDF Facts: A Possibilistic Approach.	EKAW	2014	DBLP DOI BibTeX RDF
15	Eddy Maddalena, Stefano Mizzaro	Axiometrics: Axioms of Information Retrieval Effectiveness Metrics.	AWC	2014	DBLP BibTeX RDF
15	Duarte Pinto, David Aveiro	An e-Government Project Case Study - Interview based DEMO Axioms' Benefits Validation.	KEOD	2014	DBLP DOI BibTeX RDF
15	David Aveiro, Duarte Pinto	Interview Based DEMO Axioms' Benefits Validation: A Regional Government Case Study.	IC3K (Selected Papers)	2014	DBLP DOI BibTeX RDF
15	Eddy Maddalena, Stefano Mizzaro	Axiometrics: Axioms of Information Retrieval Effectiveness Metrics.	EVIA@NTCIR	2014	DBLP BibTeX RDF
15	Yanfang Ma, Huan Gao, Tianxing Wu 0001, Guilin Qi	Learning Disjointness Axioms With Association Rule Mining and Its Application to Inconsistency Detection of Linked Data.	CSWS	2014	DBLP DOI BibTeX RDF
15	Danko Ilik	Axioms and decidability for type isomorphism in the presence of sums.	CSL-LICS	2014	DBLP DOI BibTeX RDF
15	Zhiqiang Zhuang, Zhe Wang 0001, Kewen Wang 0001, Grigoris Antoniou	Rational Elimination of DL-Lite TBox Axioms.	Description Logics	2014	DBLP BibTeX RDF
15	Juan Carlos Candeal	Invariance axioms for preferences: applications to social choice theory.	Soc. Choice Welf.	2013	DBLP DOI BibTeX RDF
15	Francesca A. Lisi, Umberto Straccia	A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms.	Fundam. Informaticae	2013	DBLP DOI BibTeX RDF
15	Matthew J. Sobel	Discounting axioms imply risk neutrality.	Ann. Oper. Res.	2013	DBLP DOI BibTeX RDF
15	Benjamín René Callejas Bedregal, Regivan Hugo Nunes Santiago	Interval representations, Łukasiewicz implicators and Smets-Magrez axioms.	Inf. Sci.	2013	DBLP DOI BibTeX RDF
15	Sri Krishna Kumar, Jennifer A. Harding	Ontology mapping using description logic and bridging axioms.	Comput. Ind.	2013	DBLP DOI BibTeX RDF
15	Jonathan Kirby	A Note on the Axioms for Zilber's Pseudo-Exponential Fields.	Notre Dame J. Formal Log.	2013	DBLP DOI BibTeX RDF
15	João D. Ferreira, Janna Hastings, Francisco M. Couto	Exploiting disjointness axioms to improve semantic similarity measures.	Bioinform.	2013	DBLP DOI BibTeX RDF
15	Velimir M. Ilic, Miomir S. Stankovic, Edin H. Mulalic	Comments on "Generalization of Shannon-Khinchin Axioms to Nonextensive Systems and the Uniqueness Theorem for the Nonextensive Entropy".	IEEE Trans. Inf. Theory	2013	DBLP DOI BibTeX RDF
15	Paolo Boldi, Sebastiano Vigna	Axioms for Centrality.	CoRR	2013	DBLP BibTeX RDF
15	Shawn X. Cui, Michael H. Freedman, Zhenghan Wang	Complexity Classes as Mathematical Axioms II	CoRR	2013	DBLP BibTeX RDF
15	Holger Teismann	Toward a More Complete List of Completeness Axioms.	Am. Math. Mon.	2013	DBLP DOI BibTeX RDF
15	David Asperó, Sy-David Friedman, Miguel Angel Mota, Marcin Sabok	Baumgartner's conjecture and bounded forcing axioms.	Ann. Pure Appl. Log.	2013	DBLP DOI BibTeX RDF
15	Kamal El-Saady	Separation axioms and compactness of L-fuzzy frames, and their applications to L-fuzzy topological spaces.	Math. Comput. Model.	2013	DBLP DOI BibTeX RDF
15	Manoj Changat, Anandavally K. Lakshmikuttyamma, Joseph Mathews, Iztok Peterin, Prasanth G. Narasimha-Shenoi, Geetha Seethakuttyamma, Simon Spacapan	A forbidden subgraph characterization of some graph classes using betweenness axioms.	Discret. Math.	2013	DBLP DOI BibTeX RDF
15	Ki Yung Ahn, Ewen Denney	A framework for testing first-order logic axioms in program verification.	Softw. Qual. J.	2013	DBLP DOI BibTeX RDF
15	Zina Ait-Yakoub, Yassine Djouadi	Generating GCIs Axioms from Objects Descriptions in -Description Logics.	Modeling Approaches and Algorithms for Advanced Computer Applications	2013	DBLP DOI BibTeX RDF
15	Mirna Dzamonja	Forcing Axioms, Finite Conditions and Some More.	ICLA	2013	DBLP DOI BibTeX RDF
15	Sebastian Link	Reasoning about Saturated Conditional Independence Under Uncertainty: Axioms, Algorithms, and Levesque's Situations to the Rescue.	AAAI	2013	DBLP DOI BibTeX RDF
15	Paul B. Jackson, Florian Schanda, Angela Wallenburg	Auditing User-Provided Axioms in Software Verification Conditions.	FMICS	2013	DBLP DOI BibTeX RDF
15	Björn Lellmann, Dirk Pattinson	Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5.	TABLEAUX	2013	DBLP DOI BibTeX RDF
15	Michal Botur, Jan Paseka	An elementary proof of the completeness of the Lukasiewicz axioms.	TACL	2013	DBLP DOI BibTeX RDF
15	Ali Hong, Yijing Liu, Zongyan Qiu	Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components.	FACS	2013	DBLP DOI BibTeX RDF
15	Alan L. Rector	Axioms & templates: distinctions & transformationsamongst ontologies, frames, & information models.	K-CAP	2013	DBLP DOI BibTeX RDF
15	Linh Anh Nguyen	Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms.	KES-AMSTA	2013	DBLP DOI BibTeX RDF
15	Francesca Alessandra Lisi, Umberto Straccia	A System for Learning GCI Axioms in Fuzzy Description Logics.	Description Logics	2013	DBLP BibTeX RDF
15	Sam Ganzfried, Tuomas Sandholm	Action Translation in Extensive-Form Games with Large Action Spaces: Axioms, Paradoxes, and the Pseudo-Harmonic Mapping.	IJCAI	2013	DBLP BibTeX RDF
15	Ronald Rousseau 0001, Fred Y. Ye	Basic Independence Axioms for the Publication-citation System.	J. Sci. Res.	2012	DBLP DOI BibTeX RDF
15	David Sánchez 0001, Antonio Moreno, Luis Del Vasto-Terrientes	Learning relation axioms from text: An automatic Web-based approach.	Expert Syst. Appl.	2012	DBLP DOI BibTeX RDF
15	Ian N. Durbach	An empirical test of the evidential reasoning approach's synthesis axioms.	Expert Syst. Appl.	2012	DBLP DOI BibTeX RDF
15	Ivahn Smadja	Erratum to: Local axioms in disguise: Hilbert on Minkowski diagrams.	Synth.	2012	DBLP DOI BibTeX RDF
15	Ivahn Smadja	Local axioms in disguise: Hilbert on Minkowski diagrams.	Synth.	2012	DBLP DOI BibTeX RDF
15	Itzhak Gilboa, Andrew Postlewaite, David Schmeidler	Rationality of belief or: why savage's axioms are neither necessary nor sufficient for rationality.	Synth.	2012	DBLP DOI BibTeX RDF
15	Benjamin Claverie, Ralf Schindler	Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁.	J. Symb. Log.	2012	DBLP DOI BibTeX RDF
15	Franz Baader, Silvio Ghilardi, Carsten Lutz	LTL over description logic axioms.	ACM Trans. Comput. Log.	2012	DBLP DOI BibTeX RDF
15	Amit Kumar Singh, Rekha Srivastava	Separation Axioms in Intuitionistic Fuzzy Topological Spaces.	Adv. Fuzzy Syst.	2012	DBLP DOI BibTeX RDF
15	Siamak Sorooshyari, Chee Wei Tan 0001, Mung Chiang	Power Control for Cognitive Radio Networks: Axioms, Algorithms, and Analysis.	IEEE/ACM Trans. Netw.	2012	DBLP DOI BibTeX RDF
15	Satoko Ryuo, Keisuke Sato, Yoshitsugu Yamamoto	Parameterized fairness axioms on cycle-free graph games.	J. Glob. Optim.	2012	DBLP DOI BibTeX RDF
15	Massimo Melucci	When Index Term Probability Violates the Classical Probability Axioms Quantum Probability can be a Necessary Theory for Information Retrieval.	CoRR	2012	DBLP BibTeX RDF
15	Rajab Ali Borzooei, Gholam Reza Rezaei, Nader Kouhestani	Separation axioms in (semi)topological quotient BL-algebras.	Soft Comput.	2012	DBLP DOI BibTeX RDF
15	Franz Baader, Martin Knechtel, Rafael Peñaloza	Context-dependent views to axioms and consequences of Semantic Web ontologies.	J. Web Semant.	2012	DBLP DOI BibTeX RDF
15	Nick C. Fiala	All the Shortest Single Axioms for Boolean SQS-Skeins.	Ars Comb.	2012	DBLP BibTeX RDF
15	Karel Chvalovský	On the independence of axioms in BL and MTL.	Fuzzy Sets Syst.	2012	DBLP DOI BibTeX RDF
15	Javier Gutiérrez García, Tomasz Kubiak	Preserving continuity by Zadeh extension and invariance of separation axioms under surjections.	Fuzzy Sets Syst.	2012	DBLP DOI BibTeX RDF
15	Georg Schiemer	Carnap on extremal Axioms, "Completeness of the Models, " and Categoricity.	Rev. Symb. Log.	2012	DBLP DOI BibTeX RDF
15	João Araújo 0002, Janusz Konieczny	A method for finding new sets of axioms for classes of semigroups.	Arch. Math. Log.	2012	DBLP DOI BibTeX RDF
15	Michael Cox, Richard Kaye	Amphi-ZF : axioms for Conway games.	Arch. Math. Log.	2012	DBLP DOI BibTeX RDF
15	Joan Rand Moschovakis, Garyfallia Vafeiadou	Some axioms for constructive analysis.	Arch. Math. Log.	2012	DBLP DOI BibTeX RDF
15	Diana Kalibatiene, Olegas Vasilecas	Application of the Ontology Axioms for the Development of OCL Constraints from PAL Constraints.	Informatica	2012	DBLP BibTeX RDF
15	Hitoshi Furusawa, Yasuo Kawahara	Point Axioms in Dedekind Categories.	RAMiCS	2012	DBLP DOI BibTeX RDF
15	Stefania Costantini, Panagiota Tsintza	Temporal Meta-Axioms in Logical Agents.	CILC	2012	DBLP BibTeX RDF
15	Anselmo Peñas, Ekaterina Ovchinnikova	Unsupervised Acquisition of Axioms to Paraphrase Noun Compounds and Genitives.	CICLing (1)	2012	DBLP DOI BibTeX RDF
15	Satyajit Thakor, Alex J. Grant, Terence Chan	Compact representation of polymatroid axioms for random variables with conditional independencies.	ITW	2012	DBLP DOI BibTeX RDF
15	Daniel Fleischhacker, Johanna Völker, Heiner Stuckenschmidt	Mining RDF Data for Property Axioms.	OTM Conferences (2)	2012	DBLP DOI BibTeX RDF
15	Bing-Rong Lin, Daniel Kifer	Reasoning about privacy using axioms.	ACSCC	2012	DBLP DOI BibTeX RDF
15	Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda	SPARQL Query Containment Under SHI Axioms.	AAAI	2012	DBLP DOI BibTeX RDF
15	Paul E. Dunne, Pierre Marquis, Michael J. Wooldridge	Argument Aggregation: Basic Axioms and Complexity Results.	COMMA	2012	DBLP DOI BibTeX RDF
15	Raúl Gutiérrez, José Meseguer 0001, Camilo Rocha	Order-Sorted Equality Enrichments Modulo Axioms.	WRLA	2012	DBLP DOI BibTeX RDF
15	Federico Aschieri	Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms.	CSL	2012	DBLP DOI BibTeX RDF
15	Milenko Mosurovic, Henson Graves, Nenad Krdzavac	A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms.	Description Logics	2012	DBLP BibTeX RDF
15	Huayou Si, Zhong Chen 0001, Yun Zhao, Yong Deng	P2P-Based Publication and Sharing of Axioms in OWL Ontologies for SPARQL Query Processing in Distributed Environment.	APWeb	2012	DBLP DOI BibTeX RDF
15	Lilliam N. Robinson-Oses, Miguel Vargas-Lombardo	Service Layer and Axioms for User Access to the Cloud by Means of Ontologies.	CyberC	2012	DBLP DOI BibTeX RDF
15	Vincenzo Capasso	Axioms of Probability.	International Encyclopedia of Statistical Science	2011	DBLP DOI BibTeX RDF
15	Jörg Stoye	Axioms for minimax regret choice correspondences.	J. Econ. Theory	2011	DBLP DOI BibTeX RDF
15	Flavia Padovani	Relativizing the relativized a priori: Reichenbach's axioms of coordination divided.	Synth.	2011	DBLP DOI BibTeX RDF
15	Anya Helene Bagge, Valentin David, Magne Haveraaen	Testing with Axioms in C++ 2011.	J. Object Technol.	2011	DBLP DOI BibTeX RDF
15	Amin Saif, Adem Kiliçman	On Lower Separation and Regularity Axioms in Fuzzy Topological Spaces.	Adv. Fuzzy Syst.	2011	DBLP DOI BibTeX RDF
15	Abhijit Dasgupta	A set of axioms for nonstandard extensions.	Math. Log. Q.	2011	DBLP DOI BibTeX RDF
15	Alexander Shen	Are random axioms useful?	CoRR	2011	DBLP BibTeX RDF
15	Fangzhen Lin	Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems	CoRR	2011	DBLP BibTeX RDF
15	Linh Anh Nguyen	A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms	CoRR	2011	DBLP BibTeX RDF
15	Peter Sunehag, Marcus Hutter	Axioms for Rational Reinforcement Learning	CoRR	2011	DBLP BibTeX RDF
15	Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas	Converse-PDL with regular inclusion axioms: a framework for MAS logics.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
15	Markus Müller, Dierk Schleicher	How to Add a Noninteger Number of Terms: From Axioms to New Identities.	Am. Math. Mon.	2011	DBLP DOI BibTeX RDF
15	Jules Desharnais, Georg Struth	Internal axioms for domain semirings.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
15	Athanassios Tzouvaras	Erratum to: Localizing the axioms.	Arch. Math. Log.	2011	DBLP DOI BibTeX RDF
15	Shiran Rachmilevitch	Disagreement point axioms and the egalitarian bargaining solution.	Int. J. Game Theory	2011	DBLP DOI BibTeX RDF