Search results for "CL–Axiom"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Arthur W. Apter	Indestructibility, HOD, and the Ground Axiom.	Math. Log. Q.	2011	DBLP DOI BibTeX RDF
16	Victor Pambuccian	The Simplest Axiom System for Plane Hyperbolic Geometry Revisited.	Stud Logica	2011	DBLP DOI BibTeX RDF
16	Teruyuki Yorioka	A correction to "A non-implication between fragments of Martin's Axiom related to a property which comes from Aronszajn trees".	Ann. Pure Appl. Log.	2011	DBLP DOI BibTeX RDF
16	Ezra Einy, Ori Haimanko	Characterization of the Shapley-Shubik power index without the efficiency axiom.	Games Econ. Behav.	2011	DBLP DOI BibTeX RDF
16	Timothy J. Carlson	On the conservativity of the axiom of choice over set theory.	Arch. Math. Log.	2011	DBLP DOI BibTeX RDF
16	Eric Bahel	The implications of the ranking axiom for discrete cost sharing methods.	Int. J. Game Theory	2011	DBLP DOI BibTeX RDF
16	Xiaojun Cheng, Guilin Qi	An algorithm for axiom pinpointing in EL+ and its incremental variant.	CIKM	2011	DBLP DOI BibTeX RDF
16	Yang Jiang, Zhiyong Feng 0002, Xin Wang 0030, Guozheng Rao	Reasoning with a fuzzy description logic based on an axiom system.	FSKD	2011	DBLP DOI BibTeX RDF
16	Matti Järvisalo	On the Relative Efficiency of DPLL and OBDDs with Axiom and Join.	CP	2011	DBLP DOI BibTeX RDF
16	Paula Severi, Fer-Jan de Vries	Weakening the Axiom of Overlap in Infinitary Lambda Calculus.	RTA	2011	DBLP DOI BibTeX RDF
16	Jie Lin, Houxing You	An Approach for Multiple Attribute Group Decision Making Based on Information Axiom.	WEB	2011	DBLP DOI BibTeX RDF
16	Sébastien Courtin, Boniface Mbih, Issofa Moyouwou, Thomas Senné	The reinforcement axiom under sequential positional rules.	Soc. Choice Welf.	2010	DBLP DOI BibTeX RDF
16	Marianne Morillon	Notions of compactness for special subsets of RI and some weak forms of the axiom of choice.	J. Symb. Log.	2010	DBLP DOI BibTeX RDF
16	Paul Corazza	The Axiom of Infinity and transformations j: V -> V.	Bull. Symb. Log.	2010	DBLP DOI BibTeX RDF
16	Victor Pambuccian	Forms of the Pasch axiom in ordered geometry.	Math. Log. Q.	2010	DBLP DOI BibTeX RDF
16	Lan Lin, Stacy J. Prowell, Jesse H. Poore	An axiom system for sequence-based specification.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
16	Fabrice Talla Nobibon, Frits C. R. Spieksma	On the complexity of testing the Collective Axiom of Revealed Preference.	Math. Soc. Sci.	2010	DBLP DOI BibTeX RDF
16	Michele Lombardi 0002	What kind of preference maximization does the weak axiom of revealed non-inferiority characterize?	Math. Soc. Sci.	2010	DBLP DOI BibTeX RDF
16	Gemma Robles	Minimal non-relevant logics without the K axiom II. Negation introduced via the unary connective.	Reports Math. Log.	2010	DBLP BibTeX RDF
16	Wang Wei	Martin's Axiom and embeddings of upper semi-lattices into the Turing degrees.	Ann. Pure Appl. Log.	2010	DBLP DOI BibTeX RDF
16	Teruyuki Yorioka	A non-implication between fragments of Martin's Axiom related to a property which comes from Aronszajn trees.	Ann. Pure Appl. Log.	2010	DBLP DOI BibTeX RDF
16	Peter Aczel, Giovanni Curi	On the T1 axiom and other separation properties in constructive point-free and point-set topology.	Ann. Pure Appl. Log.	2010	DBLP DOI BibTeX RDF
16	Selçuk Çebi, Cengiz Kahraman	Developing a group decision support system based on fuzzy information axiom.	Knowl. Based Syst.	2010	DBLP DOI BibTeX RDF
16	Franz Baader, Rafael Peñaloza	Automata-Based Axiom Pinpointing.	J. Autom. Reason.	2010	DBLP DOI BibTeX RDF
16	Franz Baader, Rafael Peñaloza	Axiom Pinpointing in General Tableaux.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
16	Greg Oman	On the axiom of union.	Arch. Math. Log.	2010	DBLP DOI BibTeX RDF
16	Xavier Parent	A complete axiom set for Hansson's deontic logic DSDL2.	Log. J. IGPL	2010	DBLP DOI BibTeX RDF
16	Rafael Peñaloza, Baris Sertkaya	Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics.	ECAI	2010	DBLP BibTeX RDF
16	Adam Trybus	An Axiom System for a Spatial Logic with Convexity.	ECAI	2010	DBLP DOI BibTeX RDF
16	Rafael Peñaloza, Baris Sertkaya	On the Complexity of Axiom Pinpointing in the EL Family of Description Logics.	KR	2010	DBLP BibTeX RDF
16	Rafael Peñaloza, Baris Sertkaya	Complexity of Axiom Pinpointing in the DL-Lite Family.	Description Logics	2010	DBLP BibTeX RDF
16	Jack Horner	The Power-Set Well-Ordering Theorem Does Not Require the Axiom of Choice: An Automated Deduction.	IC-AI	2010	DBLP BibTeX RDF
16	Jack Horner	The Consistency of the Axiom of Choice with Zermelo-Fraenkel (ZF) Set Theory: An Automated Deduction.	IC-AI	2010	DBLP BibTeX RDF
16	Jack Horner	The Provenance of the Orthomodularity Axiom in Boolean and Quantum Logic: An Automated Deduction.	IC-AI	2010	DBLP BibTeX RDF
16	Radomír Halas	A Note on Axiom System for SBL-algebras.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
16	Costas D. Koutras, Yorgos Zikos	On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
16	Thanh An Phan, Vuong Thi Thao Binh	Stability of excess Demand Functions with Respect to a Strong Version of Wald's Axiom.	Asia Pac. J. Oper. Res.	2009	DBLP DOI BibTeX RDF
16	Kenneth Kunen, Dilip Raghavan	Gregory trees, the continuum, and Martin's axiom.	J. Symb. Log.	2009	DBLP DOI BibTeX RDF
16	Frédéric Fürst, Francky Trichet	Axiom-based ontology matching.	Expert Syst. J. Knowl. Eng.	2009	DBLP DOI BibTeX RDF
16	Steffen Lewitzka	∈I: An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity.	Notre Dame J. Formal Log.	2009	DBLP DOI BibTeX RDF
16		INFRAWEBS axiom editor - a graphical ontology-driven tool for creating complex logical expressions	CoRR	2009	DBLP BibTeX RDF
16	Rana Barua, Satya R. Chakravarty, Palash Sarkar 0001	Minimal-axiom characterizations of the Coleman and Banzhaf indices of voting power.	Math. Soc. Sci.	2009	DBLP DOI BibTeX RDF
16	Edward McClennen	The Normative Status of the Independence Axiom.	The Handbook of Rational and Social Choice	2009	DBLP DOI BibTeX RDF
16	Bhupinder Singh Anand	The Significance of Aristotle's Particularisation in the Foundations of Mathematics, Logic and Computability: Cohen and the Axiom of Choice.	FCS	2009	DBLP BibTeX RDF
16	Alex Roederer, Yury Puzis, Geoff Sutcliffe	Divvy: An ATP Meta-system Based on Axiom Relevance Ordering.	CADE	2009	DBLP DOI BibTeX RDF
16	Rafael Peñaloza	Wie findet man die verantwortlichen Axiome? Axiom-Pinpointing in Beschreibungslogiken.	Ausgezeichnete Informatikdissertationen	2009	DBLP BibTeX RDF
16	Rafael Peñaloza, Baris Sertkaya	Axiom Pinpointing is Hard.	Description Logics	2009	DBLP BibTeX RDF
16	Min-qing Gong, Pei Wang, Lin-bo Fan, Ming Zhao	Research on Axiom System and transition Rules of Software Reliability and Safety.	CSIE (7)	2009	DBLP DOI BibTeX RDF
16	Rafael Peñaloza Nyssen	Axiom pinpointing in description logics and beyond.		2009	RDF
16	Christophe Raffalli, Frédéric Ruyer	Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work).	Fundam. Informaticae	2008	DBLP BibTeX RDF
16	Anya Helene Bagge, Magne Haveraaen	Axiom-Based Transformations: Optimisation and Testing.	LDTA	2008	DBLP DOI BibTeX RDF
16	David Joyner	Open source computer algebra systems: Axiom.	ACM Commun. Comput. Algebra	2008	DBLP DOI BibTeX RDF
16	Duncan Luce	Luce's choice axiom.	Scholarpedia	2008	DBLP DOI BibTeX RDF
16	John L. Bell	The axiom of choice and the law of excluded middle in weak set theories.	Math. Log. Q.	2008	DBLP DOI BibTeX RDF
16	Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin	Unions and the axiom of choice.	Math. Log. Q.	2008	DBLP DOI BibTeX RDF
16	Samir Chopra, Aditya Ghose, Thomas Andreas Meyer, Ka-Shu Wong	Iterated Belief Change and the Recovery Axiom.	J. Philos. Log.	2008	DBLP DOI BibTeX RDF
16	Gerhard J. Woeginger	A symmetry axiom for scientific impact indices.	J. Informetrics	2008	DBLP DOI BibTeX RDF
16	Christopher S. Hardin, Alan D. Taylor	A Peculiar Connection between the Axiom of Choice and Predicting the Future.	Am. Math. Mon.	2008	DBLP BibTeX RDF
16	Nick C. Fiala	A shortest single axiom with neutral element for commutative Moufang loops of exponent 3.	Australas. J Comb.	2008	DBLP BibTeX RDF
16	Nick C. Fiala	A single axiom for semi-Boolean SQS-skeins.	Australas. J Comb.	2008	DBLP BibTeX RDF
16	Anya Helene Bagge, Valentin David, Magne Haveraaen	Axiom-based testing for C++.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	C++, specifications, program transformation, test generation, generative programming, unit testing, concepts, axioms, mouldable programming, C++0x
16	Clément Houtmann	Axiom Directed Focusing.	TYPES	2008	DBLP DOI BibTeX RDF	superdeduction, Proof theory, focusing, deduction modulo
16	João Marcos 0001, Dalmo Mendonca	Towards Fully Automated Axiom Extraction for Finite-Valued Logics.	PAAR/ESHOL	2008	DBLP BibTeX RDF
16	Witold Abramowicz, Maria Vargas-Vera, Marek Wisniewski	Axiom-Based Feedback Cycle for Relation Extraction in Ontology Learning from Text.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	feedback cycle, Ontology learning, axioms, relation extraction
16	Jiewen Wu, Volker Haarslev	Planning of Axiom Absorption.	Description Logics	2008	DBLP BibTeX RDF
16	Maonian Wu, Mingyi Zhang	Axiom P and Reliable Belief Change Operator in belief revision.	IC-AI	2008	DBLP BibTeX RDF
16	Franz Baader, Boontawee Suntisrivaraporn	Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+.	KR-MED	2008	DBLP BibTeX RDF
16	Irina Georgescu	Arrow's Axiom and Full Rationality for Fuzzy Choice Functions.	Soc. Choice Welf.	2007	DBLP DOI BibTeX RDF
16	Jonas Reitz	The ground axiom.	J. Symb. Log.	2007	DBLP DOI BibTeX RDF
16	Xiao-Ping Yang	Minimization of axiom sets on fuzzy approximation operators.	Inf. Sci.	2007	DBLP DOI BibTeX RDF
16	William S. Page	AXIOM: open source computer algebra system.	ACM Commun. Comput. Algebra	2007	DBLP DOI BibTeX RDF
16	Paul E. Howard	Bases, spanning sets, and the axiom of choice.	Math. Log. Q.	2007	DBLP DOI BibTeX RDF
16	Edwin D. Mares	The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility.	Notre Dame J. Formal Log.	2007	DBLP DOI BibTeX RDF
16	Anna B. Khmelnitskaya, Elena B. Yanovskaya	Owen coalitional value without additivity axiom.	Math. Methods Oper. Res.	2007	DBLP DOI BibTeX RDF
16	David W. Miller	Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice.	Logica Universalis	2007	DBLP DOI BibTeX RDF
16	Sara Cauchie	A characterization of (alpha, s + 1)-geometries 1 < alpha < s + 1, satisfying the axiom of Pasch.	Ars Comb.	2007	DBLP BibTeX RDF
16	Gemma Robles, José M. Méndez	Minimal non-relevant logics without the K axiom.	Reports Math. Log.	2007	DBLP BibTeX RDF
16	Latifa Faouzi	Martin's axiom and almost disjoint families.	Contributions Discret. Math.	2007	DBLP BibTeX RDF
16	Anh Tuan Luu, Tho T. Quan, Tru Hoang Cao, Jin Song Dong	Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base.	URSW	2007	DBLP BibTeX RDF
16	Geoff Sutcliffe, Yury Puzis	SRASS - A Semantic Relevance Axiom Selection System.	CADE	2007	DBLP DOI BibTeX RDF
16	Benning Lian, Guozhong Cao, Zhonghang Bai, Runhua Tan	Axiom-based Potential Functional Failure Analysis for Risk-free Design.	IFIP CAI	2007	DBLP DOI BibTeX RDF
16	Andrey R. Pimentel, Paulo Cézar Stadzisz	Application of the Independence Axiom on the Design of Object-Oriented Software using the Axiomatic Design Theory.	Trans. SDPS	2006	DBLP BibTeX RDF
16	Matthias Schirn	Hume's Principle and Axiom V Reconsidered: Critical Reflections on Frege and His Interpreters.	Synth.	2006	DBLP DOI BibTeX RDF
16	Dan E. Willard	The Axiom System ISigma0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem.	WoLLIC	2006	DBLP DOI BibTeX RDF
16	Matteo Viale	The proper forcing axiom and the singular cardinal hypothesis.	J. Symb. Log.	2006	DBLP DOI BibTeX RDF
16	Xiao-Ping Yang, Tong-Jun Li	The minimization of axiom sets characterizing generalized approximation operators.	Inf. Sci.	2006	DBLP DOI BibTeX RDF
16	Giuseppe Conti, Giuliana Ucelli, Raffaele de Amicis	"Verba Volant Scripta Manent" a false axiom within virtual environments. A semi-automatic tool for retrieval of semantics understanding for speech-enabled VR applications.	Comput. Graph.	2006	DBLP DOI BibTeX RDF
16	Stefan V. Pantazi, André Kushniruk, Jochen R. Moehr	The usability axiom of medical information systems.	Int. J. Medical Informatics	2006	DBLP DOI BibTeX RDF
16	Sato Kentaro	Forcing under Anti-Foundation Axiom: An expression of the stalks.	Math. Log. Q.	2006	DBLP DOI BibTeX RDF
16	Marcin Kysiak	A Note on Transitive Sets without the Foundation Axiom.	Reports Math. Log.	2006	DBLP BibTeX RDF
16	Christian Delhommé, Marianne Morillon	Spanning Graphs and the Axiom of Choice.	Reports Math. Log.	2006	DBLP BibTeX RDF
16	Justin Tatch Moore	The Proper Forcing Axiom, Prikry forcing, and the Singular Cardinals Hypothesis.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
16	Stefan Geschke	A dual open coloring axiom.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
16	Arthur W. Apter, Peter Koepke	The Consistency Strength of Àw and Àw1 Being Rowbottom Cardinals Without the Axiom of Choice.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E02, 03E25, 03E55, 03E35, 03E45
16	Per Martin-Löf	100 years of Zermelo's axiom of choice: what was the problem with it?	Comput. J.	2006	DBLP DOI BibTeX RDF
16	Gerhard Lakemeyer, Hector J. Levesque	Towards an Axiom System for Default Logic.	AAAI	2006	DBLP BibTeX RDF
16	Huan Xu, Fanzhang Li	Lie group machine learning's axiom hypothesizes.	GrC	2006	DBLP DOI BibTeX RDF
16	Emma Rothschild	"Axiom, theorem, corollary &c.": Condorcet and mathematical economics.	Soc. Choice Welf.	2005	DBLP DOI BibTeX RDF
16	Andrea Formisano 0001, Eugenio G. Omodeo, Alberto Policriti	The axiom of elementary sets on the edge of Peircean expressibility.	J. Symb. Log.	2005	DBLP DOI BibTeX RDF
16	Dan E. Willard	An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency.	J. Symb. Log.	2005	DBLP DOI BibTeX RDF