Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Arthur W. Apter |
Indestructibility, HOD, and the Ground Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 57(3), pp. 261-265, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Victor Pambuccian |
The Simplest Axiom System for Plane Hyperbolic Geometry Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 97(3), pp. 347-349, 2011. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 162(9), pp. 752-754, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Ezra Einy, Ori Haimanko |
Characterization of the Shapley-Shubik power index without the efficiency axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 73(2), pp. 615-621, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Timothy J. Carlson |
On the conservativity of the axiom of choice over set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 50(7-8), pp. 777-790, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Eric Bahel |
The implications of the ranking axiom for discrete cost sharing methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Game Theory ![In: Int. J. Game Theory 40(3), pp. 551-589, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Xiaojun Cheng, Guilin Qi |
An algorithm for axiom pinpointing in EL+ and its incremental variant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 20th ACM Conference on Information and Knowledge Management, CIKM 2011, Glasgow, United Kingdom, October 24-28, 2011, pp. 2433-2436, 2011, ACM, 978-1-4503-0717-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD ![In: Eighth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2011, 26-28 July 2011, Shanghai, China, pp. 230-236, 2011, IEEE, 978-1-61284-180-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Matti Järvisalo |
On the Relative Efficiency of DPLL and OBDDs with Axiom and Join. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 429-437, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Paula Severi, Fer-Jan de Vries |
Weakening the Axiom of Overlap in Infinitary Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 313-328, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jie Lin, Houxing You |
An Approach for Multiple Attribute Group Decision Making Based on Information Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEB ![In: E-Life: Web-Enabled Convergence of Commerce, Work, and Social Life - 10th Workshop on E-Business, WEB 2011, Shanghai, China, December 4, 2011, Revised Selected Papers, pp. 368-378, 2011, Springer, 978-3-642-29872-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Sébastien Courtin, Boniface Mbih, Issofa Moyouwou, Thomas Senné |
The reinforcement axiom under sequential positional rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 35(3), pp. 473-500, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 75(1), pp. 255-268, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Paul Corazza |
The Axiom of Infinity and transformations j: V -> V. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 16(1), pp. 37-84, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Victor Pambuccian |
Forms of the Pasch axiom in ordered geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 56(1), pp. 29-34, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Lan Lin, Stacy J. Prowell, Jesse H. Poore |
An axiom system for sequence-based specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 411(2), pp. 360-376, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Fabrice Talla Nobibon, Frits C. R. Spieksma |
On the complexity of testing the Collective Axiom of Revealed Preference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 60(2), pp. 123-136, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Michele Lombardi 0002 |
What kind of preference maximization does the weak axiom of revealed non-inferiority characterize? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 59(3), pp. 323-325, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Gemma Robles |
Minimal non-relevant logics without the K axiom II. Negation introduced via the unary connective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 45, pp. 97-118, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Wang Wei |
Martin's Axiom and embeddings of upper semi-lattices into the Turing degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 161(10), pp. 1291-1298, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 161(4), pp. 469-487, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 161(4), pp. 560-569, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Selçuk Çebi, Cengiz Kahraman |
Developing a group decision support system based on fuzzy information axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 23(1), pp. 3-16, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Franz Baader, Rafael Peñaloza |
Automata-Based Axiom Pinpointing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 45(2), pp. 91-129, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Franz Baader, Rafael Peñaloza |
Axiom Pinpointing in General Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 20(1), pp. 5-34, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Greg Oman |
On the axiom of union. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 49(3), pp. 283-289, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Xavier Parent |
A complete axiom set for Hansson's deontic logic DSDL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 18(3), pp. 422-429, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Rafael Peñaloza, Baris Sertkaya |
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, pp. 29-34, 2010, IOS Press, 978-1-60750-605-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Adam Trybus |
An Axiom System for a Spatial Logic with Convexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, pp. 701-706, 2010, IOS Press, 978-1-60750-605-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Rafael Peñaloza, Baris Sertkaya |
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Rafael Peñaloza, Baris Sertkaya |
Complexity of Axiom Pinpointing in the DL-Lite Family. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Jack Horner |
The Power-Set Well-Ordering Theorem Does Not Require the Axiom of Choice: An Automated Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC-AI ![In: Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010, July 12-15, 2010, Las Vegas Nevada, USA, 2 Volumes, pp. 595-600, 2010, CSREA Press, 1-60132-148-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Jack Horner |
The Consistency of the Axiom of Choice with Zermelo-Fraenkel (ZF) Set Theory: An Automated Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC-AI ![In: Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010, July 12-15, 2010, Las Vegas Nevada, USA, 2 Volumes, pp. 620-625, 2010, CSREA Press, 1-60132-148-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Jack Horner |
The Provenance of the Orthomodularity Axiom in Boolean and Quantum Logic: An Automated Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC-AI ![In: Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010, July 12-15, 2010, Las Vegas Nevada, USA, 2 Volumes, pp. 582-587, 2010, CSREA Press, 1-60132-148-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Radomír Halas |
A Note on Axiom System for SBL-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 90(1-2), pp. 87-92, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Costas D. Koutras, Yorgos Zikos |
On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 96(1-2), pp. 111-125, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia Pac. J. Oper. Res. ![In: Asia Pac. J. Oper. Res. 26(4), pp. 523-532, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Kenneth Kunen, Dilip Raghavan |
Gregory trees, the continuum, and Martin's axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 74(2), pp. 712-720, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Frédéric Fürst, Francky Trichet |
Axiom-based ontology matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. J. Knowl. Eng. ![In: Expert Syst. J. Knowl. Eng. 26(2), pp. 218-246, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Steffen Lewitzka |
∈I: An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 50(3), pp. 275-301, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | |
INFRAWEBS axiom editor - a graphical ontology-driven tool for creating complex logical expressions ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0904.0293, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 58(3), pp. 367-375, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Edward McClennen |
The Normative Status of the Independence Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Handbook of Rational and Social Choice ![In: The Handbook of Rational and Social Choice - an overview of new foundations and applications., pp. 140-155, 2009, Oxford University Press, 978-0-19-929042-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas, Nevada, USA, pp. 82-86, 2009, CSREA Press, 1-60132-103-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Alex Roederer, Yury Puzis, Geoff Sutcliffe |
Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 157-162, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Rafael Peñaloza |
Wie findet man die verantwortlichen Axiome? Axiom-Pinpointing in Beschreibungslogiken. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2009, pp. 181-190, 2009, GI, 978-3-88579-414-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Rafael Peñaloza, Baris Sertkaya |
Axiom Pinpointing is Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009, 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIE (7) ![In: CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes, pp. 427-431, 2009, IEEE Computer Society, 978-0-7695-3507-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Rafael Peñaloza Nyssen |
Axiom pinpointing in description logics and beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
16 | Christophe Raffalli, Frédéric Ruyer |
Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 84(2), pp. 241-258, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Anya Helene Bagge, Magne Haveraaen |
Axiom-Based Transformations: Optimisation and Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LDTA ![In: Proceedings of the 8th Workshop on Language Descriptions, Tools and Applications, LDTA 2008, Budapest, Hungary, April 5, 2008, pp. 17-33, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | David Joyner |
Open source computer algebra systems: Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 42(1-2), pp. 39-47, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Duncan Luce |
Luce's choice axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scholarpedia ![In: Scholarpedia 3(12), pp. 8077, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | John L. Bell |
The axiom of choice and the law of excluded middle in weak set theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 54(2), pp. 194-201, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 54(6), pp. 652-665, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Samir Chopra, Aditya Ghose, Thomas Andreas Meyer, Ka-Shu Wong |
Iterated Belief Change and the Recovery Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 37(5), pp. 501-520, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Gerhard J. Woeginger |
A symmetry axiom for scientific impact indices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Informetrics ![In: J. Informetrics 2(4), pp. 298-303, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Christopher S. Hardin, Alan D. Taylor |
A Peculiar Connection between the Axiom of Choice and Predicting the Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 115(2), pp. 91-96, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Nick C. Fiala |
A shortest single axiom with neutral element for commutative Moufang loops of exponent 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australas. J Comb. ![In: Australas. J Comb. 40, pp. 167-172, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Nick C. Fiala |
A single axiom for semi-Boolean SQS-skeins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australas. J Comb. ![In: Australas. J Comb. 40, pp. 37-40, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Anya Helene Bagge, Valentin David, Magne Haveraaen |
Axiom-based testing for C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 721-722, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers, pp. 169-185, 2008, Springer, 978-3-642-02443-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAR/ESHOL ![In: Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Witold Abramowicz, Maria Vargas-Vera, Marek Wisniewski |
Axiom-Based Feedback Cycle for Relation Extraction in Ontology Learning from Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 1-5 September 2008, Turin, Italy, pp. 202-206, 2008, IEEE Computer Society, 978-0-7695-3299-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
feedback cycle, Ontology learning, axioms, relation extraction |
16 | Jiewen Wu, Volker Haarslev |
Planning of Axiom Absorption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Maonian Wu, Mingyi Zhang |
Axiom P and Reliable Belief Change Operator in belief revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC-AI ![In: Proceedings of the 2008 International Conference on Artificial Intelligence, ICAI 2008, July 14-17, 2008, Las Vegas, Nevada, USA, 2 Volumes (includes the 2008 International Conference on Machine Learning; Models, Technologies and Applications), pp. 165-171, 2008, CSREA Press, 1-60132-072-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Franz Baader, Boontawee Suntisrivaraporn |
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR-MED ![In: Proceedings of the Third International Conference on Knowledge Representation in Medicine, Phoenix, Arizona, USA, May 31st - June 2nd, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Irina Georgescu |
Arrow's Axiom and Full Rationality for Fuzzy Choice Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 28(2), pp. 303-319, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Jonas Reitz |
The ground axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 72(4), pp. 1299-1317, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Xiao-Ping Yang |
Minimization of axiom sets on fuzzy approximation operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 177(18), pp. 3840-3854, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | William S. Page |
AXIOM: open source computer algebra system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 41(3), pp. 114, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Paul E. Howard |
Bases, spanning sets, and the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 53(3), pp. 247-254, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Edwin D. Mares |
The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 48(2), pp. 237-251, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Anna B. Khmelnitskaya, Elena B. Yanovskaya |
Owen coalitional value without additivity axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Methods Oper. Res. ![In: Math. Methods Oper. Res. 66(2), pp. 255-261, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | David W. Miller |
Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 1(1), pp. 183-199, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Sara Cauchie |
A characterization of (alpha, s + 1)-geometries 1 < alpha < s + 1, satisfying the axiom of Pasch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Comb. ![In: Ars Comb. 82, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
16 | Gemma Robles, José M. Méndez |
Minimal non-relevant logics without the K axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 42, pp. 117-144, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
16 | Latifa Faouzi |
Martin's axiom and almost disjoint families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Contributions Discret. Math. ![In: Contributions Discret. Math. 2(2), 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
URSW ![In: Proceedings of the Third ISWC Workshop on Uncertainty Reasoning for the Semantic Web Busan, Korea, November 12, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
16 | Geoff Sutcliffe, Yury Puzis |
SRASS - A Semantic Relevance Axiom Selection System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, pp. 295-310, 2007, Springer, 978-3-540-73594-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Benning Lian, Guozhong Cao, Zhonghang Bai, Runhua Tan |
Axiom-based Potential Functional Failure Analysis for Risk-free Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP CAI ![In: Trends in Computer Aided Innovation - Second IFIP Working Conference on Computer Aided Innovation, October 8-9 2007, Michigan, USA, pp. 107-114, 2007, Springer, 978-0-387-75455-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. SDPS ![In: Trans. SDPS 10(1), pp. 57-69, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
16 | Matthias Schirn |
Hume's Principle and Axiom V Reconsidered: Critical Reflections on Frege and His Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 148(1), pp. 171-227, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006, pp. 213-226, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Matteo Viale |
The proper forcing axiom and the singular cardinal hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 71(2), pp. 473-479, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Xiao-Ping Yang, Tong-Jun Li |
The minimization of axiom sets characterizing generalized approximation operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 176(7), pp. 887-899, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. ![In: Comput. Graph. 30(4), pp. 619-628, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Stefan V. Pantazi, André Kushniruk, Jochen R. Moehr |
The usability axiom of medical information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Medical Informatics ![In: Int. J. Medical Informatics 75(12), pp. 829-839, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Sato Kentaro |
Forcing under Anti-Foundation Axiom: An expression of the stalks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 52(3), pp. 295-314, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Marcin Kysiak |
A Note on Transitive Sets without the Foundation Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 40, pp. 159-163, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
16 | Christian Delhommé, Marianne Morillon |
Spanning Graphs and the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 40, pp. 165-180, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
16 | Justin Tatch Moore |
The Proper Forcing Axiom, Prikry forcing, and the Singular Cardinals Hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 140(1-3), pp. 128-132, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Geschke |
A dual open coloring axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 140(1-3), pp. 40-51, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(6), pp. 721-737, 2006. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 49(3), pp. 345-350, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Gerhard Lakemeyer, Hector J. Levesque |
Towards an Axiom System for Default Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA, pp. 263-268, 2006, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
16 | Huan Xu, Fanzhang Li |
Lie group machine learning's axiom hypothesizes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2006 IEEE International Conference on Granular Computing, GrC 2006, Atlanta, Georgia, USA, May 10-12, 2006, pp. 401-404, 2006, IEEE, 1-4244-0134-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Emma Rothschild |
"Axiom, theorem, corollary &c.": Condorcet and mathematical economics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 25(2-3), pp. 287-302, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 70(3), pp. 953-968, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 70(4), pp. 1171-1209, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|