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 |
|