Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Lin Yan 0002, Shuo Yan |
Researches on Rough Truth of Rough Axioms Based on Granular Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 9(2), pp. 265-273, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 20(1), pp. 91-93, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Ardeshir, S. Mojtaba Mojtahedi |
Completeness of intermediate logics with doubly negated axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 60(1-2), pp. 6-11, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Carsten Carstensen, Michael Feischl, Marcus Page, Dirk Praetorius |
Axioms of adaptivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 67(6), pp. 1195-1253, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Xiaonan Li, Sanyang Liu |
Base Axioms of Modular Supermatroids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2014, pp. 126345:1-126345:6, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Jian Yu, Zongben Xu |
Categorization Axioms for Classification and Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1403.2065, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Samson Abramsky |
Axioms for Definability and Full Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.4735, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Simon Kramer 0001 |
Computer-Aided Discovery and Categorisation of Personality Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1403.6048, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Danko Ilik |
Axioms and Decidability for Type Isomorphism in the Presence of Sums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.2567, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Thomas Schindler 0002 |
Axioms for Grounded Truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 7(1), pp. 73-83, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Joel David Hamkins, Thomas A. Johnstone |
Resurrection axioms and uplifting cardinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 53(3-4), pp. 463-485, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Stevo Todorcevic |
Notes on Forcing Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
DOI RDF |
|
15 | Zachary Heckle, Pavel Naumov |
Common Knowledge Semantics of Armstrong's Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings, pp. 181-194, 2014, Springer, 978-3-662-44144-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Stefania Costantini, Giovanni De Gasperis |
Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014., pp. 241-255, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Annie Foret |
On Associative Lambek Calculus Extended with Basic Proper Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 172-187, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Björn Lellmann |
Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings, pp. 307-321, 2014, Springer, 978-3-319-08586-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Andrea G. B. Tettamanzi, Catherine Faron-Zucker, Fabien Gandon |
Testing OWL Axioms against RDF Facts: A Possibilistic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Knowledge Engineering and Knowledge Management - 19th International Conference, EKAW 2014, Linköping, Sweden, November 24-28, 2014. Proceedings, pp. 519-530, 2014, Springer, 978-3-319-13703-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Eddy Maddalena, Stefano Mizzaro |
Axiometrics: Axioms of Information Retrieval Effectiveness Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AWC ![In: Second Australasian Web Conference, AWC 2014, Auckland, New Zealand, January 2014, pp. 39-48, 2014, Australian Computer Society, 978-1-921770-37-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Duarte Pinto, David Aveiro |
An e-Government Project Case Study - Interview based DEMO Axioms' Benefits Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KEOD ![In: KEOD 2014 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Rome, Italy, 21-24 October, 2014, pp. 138-149, 2014, SciTePress, 978-989-758-049-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | David Aveiro, Duarte Pinto |
Interview Based DEMO Axioms' Benefits Validation: A Regional Government Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3K (Selected Papers) ![In: Knowledge Discovery, Knowledge Engineering and Knowledge Management - 6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers, pp. 421-443, 2014, Springer, 978-3-319-25839-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Eddy Maddalena, Stefano Mizzaro |
Axiometrics: Axioms of Information Retrieval Effectiveness Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EVIA@NTCIR ![In: Proceedings of the Sixth International Workshop on Evaluating Information Access, EVIA 2014, National Center of Sciences, Tokyo, Japan, December 9, 2014, 2014, National Institute of Informatics (NII), 978-4-86049-066-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSWS ![In: The Semantic Web and Web Science - 8th Chinese Conference, CSWS 2014, Wuhan, China, August 8-12, 2014, Revised Selected Papers, pp. 29-41, 2014, Springer, 978-3-662-45494-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Danko Ilik |
Axioms and decidability for type isomorphism in the presence of sums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL-LICS ![In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pp. 53:1-53:7, 2014, ACM, 978-1-4503-2886-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Zhiqiang Zhuang, Zhe Wang 0001, Kewen Wang 0001, Grigoris Antoniou |
Rational Elimination of DL-Lite TBox Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., pp. 746-756, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Juan Carlos Candeal |
Invariance axioms for preferences: applications to social choice theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 41(3), pp. 453-471, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Francesca A. Lisi, Umberto Straccia |
A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 124(4), pp. 503-519, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Matthew J. Sobel |
Discounting axioms imply risk neutrality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 208(1), pp. 417-432, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Benjamín René Callejas Bedregal, Regivan Hugo Nunes Santiago |
Interval representations, Łukasiewicz implicators and Smets-Magrez axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 221, pp. 192-200, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Sri Krishna Kumar, Jennifer A. Harding |
Ontology mapping using description logic and bridging axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 64(1), pp. 19-28, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Jonathan Kirby |
A Note on the Axioms for Zilber's Pseudo-Exponential Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 54(3-4), pp. 509-520, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | João D. Ferreira, Janna Hastings, Francisco M. Couto |
Exploiting disjointness axioms to improve semantic similarity measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 29(21), pp. 2781-2787, 2013. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 59(10), pp. 6950-6952, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Paolo Boldi, Sebastiano Vigna |
Axioms for Centrality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1308.2140, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Shawn X. Cui, Michael H. Freedman, Zhenghan Wang |
Complexity Classes as Mathematical Axioms II ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1305.6076, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Holger Teismann |
Toward a More Complete List of Completeness Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 120(2), pp. 99-114, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | David Asperó, Sy-David Friedman, Miguel Angel Mota, Marcin Sabok |
Baumgartner's conjecture and bounded forcing axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 164(12), pp. 1178-1186, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Model. ![In: Math. Comput. Model. 57(3-4), pp. 826-835, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 313(8), pp. 951-958, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Ki Yung Ahn, Ewen Denney |
A framework for testing first-order logic axioms in program verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 21(1), pp. 159-200, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Zina Ait-Yakoub, Yassine Djouadi |
Generating GCIs Axioms from Objects Descriptions in -Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modeling Approaches and Algorithms for Advanced Computer Applications ![In: Modeling Approaches and Algorithms for Advanced Computer Applications, pp. 75-84, 2013, Springer, 978-3-319-00559-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Mirna Dzamonja |
Forcing Axioms, Finite Conditions and Some More. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 17-26, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Sebastian Link |
Reasoning about Saturated Conditional Independence Under Uncertainty: Axioms, Algorithms, and Levesque's Situations to the Rescue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA., pp. 612-618, 2013, AAAI Press, 978-1-57735-615-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Paul B. Jackson, Florian Schanda, Angela Wallenburg |
Auditing User-Provided Axioms in Software Verification Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings, pp. 154-168, 2013, Springer, 978-3-642-41009-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Björn Lellmann, Dirk Pattinson |
Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings, pp. 219-233, 2013, Springer, 978-3-642-40536-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Michal Botur, Jan Paseka |
An elementary proof of the completeness of the Lukasiewicz axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACL ![In: TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013, pp. 35-38, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Ali Hong, Yijing Liu, Zongyan Qiu |
Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 174-195, 2013, Springer, 978-3-319-07601-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Alan L. Rector |
Axioms & templates: distinctions & transformationsamongst ontologies, frames, & information models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K-CAP ![In: Proceedings of the 7th International Conference on Knowledge Capture, K-CAP 2013, Banff, Canada, June 23-26, 2013, pp. 73-80, 2013, ACM, 978-1-4503-2102-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Linh Anh Nguyen |
Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013), May 27-29, 2013, Hue City, Vietnam, pp. 235-244, 2013, IOS Press, 978-1-61499-253-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Francesca Alessandra Lisi, Umberto Straccia |
A System for Learning GCI Axioms in Fuzzy Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pp. 760-778, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pp. 120-128, 2013, IJCAI/AAAI, 978-1-57735-633-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Ronald Rousseau 0001, Fred Y. Ye |
Basic Independence Axioms for the Publication-citation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Res. ![In: J. Sci. Res. 1(1), pp. 22-27, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 39(5), pp. 5792-5805, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Ian N. Durbach |
An empirical test of the evidential reasoning approach's synthesis axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 39(12), pp. 11048-11054, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Ivahn Smadja |
Erratum to: Local axioms in disguise: Hilbert on Minkowski diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 186(1), pp. 441-442, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Ivahn Smadja |
Local axioms in disguise: Hilbert on Minkowski diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 186(1), pp. 315-370, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 187(1), pp. 11-31, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Benjamin Claverie, Ralf Schindler |
Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 77(2), pp. 475-498, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Franz Baader, Silvio Ghilardi, Carsten Lutz |
LTL over description logic axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 13(3), pp. 21:1-21:32, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Amit Kumar Singh, Rekha Srivastava |
Separation Axioms in Intuitionistic Fuzzy Topological Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Fuzzy Syst. ![In: Adv. Fuzzy Syst. 2012, pp. 604396:1-604396:7, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Siamak Sorooshyari, Chee Wei Tan 0001, Mung Chiang |
Power Control for Cognitive Radio Networks: Axioms, Algorithms, and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 20(3), pp. 878-891, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Satoko Ryuo, Keisuke Sato, Yoshitsugu Yamamoto |
Parameterized fairness axioms on cycle-free graph games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 52(3), pp. 487-497, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1203.2569, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
15 | Rajab Ali Borzooei, Gholam Reza Rezaei, Nader Kouhestani |
Separation axioms in (semi)topological quotient BL-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 16(7), pp. 1219-1227, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Franz Baader, Martin Knechtel, Rafael Peñaloza |
Context-dependent views to axioms and consequences of Semantic Web ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Web Semant. ![In: J. Web Semant. 12, pp. 22-40, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Nick C. Fiala |
All the Shortest Single Axioms for Boolean SQS-Skeins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Comb. ![In: Ars Comb. 103, pp. 433-437, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
15 | Karel Chvalovský |
On the independence of axioms in BL and MTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 197, pp. 123-129, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 204, pp. 66-70, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Georg Schiemer |
Carnap on extremal Axioms, "Completeness of the Models, " and Categoricity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 5(4), pp. 613-641, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 51(5-6), pp. 461-474, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Michael Cox, Richard Kaye |
Amphi-ZF : axioms for Conway games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 51(3-4), pp. 353-371, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Joan Rand Moschovakis, Garyfallia Vafeiadou |
Some axioms for constructive analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 51(5-6), pp. 443-459, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Diana Kalibatiene, Olegas Vasilecas |
Application of the Ontology Axioms for the Development of OCL Constraints from PAL Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica ![In: Informatica 23(3), pp. 369-390, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
15 | Hitoshi Furusawa, Yasuo Kawahara |
Point Axioms in Dedekind Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, pp. 219-234, 2012, Springer, 978-3-642-33313-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Stefania Costantini, Panagiota Tsintza |
Temporal Meta-Axioms in Logical Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 59-73, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
15 | Anselmo Peñas, Ekaterina Ovchinnikova |
Unsupervised Acquisition of Axioms to Paraphrase Noun Compounds and Genitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing (1) ![In: Computational Linguistics and Intelligent Text Processing - 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part I, pp. 388-401, 2012, Springer, 978-3-642-28603-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Satyajit Thakor, Alex J. Grant, Terence Chan |
Compact representation of polymatroid axioms for random variables with conditional independencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITW ![In: 2012 IEEE Information Theory Workshop, Lausanne, Switzerland, September 3-7, 2012, pp. 267-271, 2012, IEEE, 978-1-4673-0224-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Fleischhacker, Johanna Völker, Heiner Stuckenschmidt |
Mining RDF Data for Property Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems: OTM 2012, Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II, pp. 718-735, 2012, Springer, 978-3-642-33614-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Bing-Rong Lin, Daniel Kifer |
Reasoning about privacy using axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSCC ![In: Conference Record of the Forty Sixth Asilomar Conference on Signals, Systems and Computers, ACSCC 2012, Pacific Grove, CA, USA, November 4-7, 2012, pp. 975-979, 2012, IEEE, 978-1-4673-5050-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada., pp. 10-16, 2012, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Paul E. Dunne, Pierre Marquis, Michael J. Wooldridge |
Argument Aggregation: Basic Axioms and Complexity Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMMA ![In: Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012, pp. 129-140, 2012, IOS Press, 978-1-61499-110-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Raúl Gutiérrez, José Meseguer 0001, Camilo Rocha |
Order-Sorted Equality Enrichments Modulo Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers, pp. 162-181, 2012, Springer, 978-3-642-34004-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Federico Aschieri |
Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France, pp. 31-45, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-42-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Milenko Mosurovic, Henson Graves, Nenad Krdzavac |
A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Web Technologies and Applications - 14th Asia-Pacific Web Conference, APWeb 2012, Kunming, China, April 11-13, 2012. Proceedings, pp. 586-593, 2012, Springer, 978-3-642-29252-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyberC ![In: 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, CyberC 2012, Sanya, China, October 10-12, 2012, pp. 117-120, 2012, IEEE Computer Society, 978-1-4673-2624-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Vincenzo Capasso |
Axioms of Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Encyclopedia of Statistical Science ![In: International Encyclopedia of Statistical Science, pp. 77-79, 2011, Springer, 978-3-642-04897-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Jörg Stoye |
Axioms for minimax regret choice correspondences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Econ. Theory ![In: J. Econ. Theory 146(6), pp. 2226-2251, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Flavia Padovani |
Relativizing the relativized a priori: Reichenbach's axioms of coordination divided. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 181(1), pp. 41-62, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Anya Helene Bagge, Valentin David, Magne Haveraaen |
Testing with Axioms in C++ 2011. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 10, pp. 10: 1-32, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Amin Saif, Adem Kiliçman |
On Lower Separation and Regularity Axioms in Fuzzy Topological Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Fuzzy Syst. ![In: Adv. Fuzzy Syst. 2011, pp. 941982:1-941982:6, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Abhijit Dasgupta |
A set of axioms for nonstandard extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 57(5), pp. 485-493, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Shen |
Are random axioms useful? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1109.5526, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Fangzhen Lin |
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1106.4867, 2011. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1104.0405, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Peter Sunehag, Marcus Hutter |
Axioms for Rational Reinforcement Learning ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1107.5520, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas |
Converse-PDL with regular inclusion axioms: a framework for MAS logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 21(1), pp. 61-91, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Markus Müller, Dierk Schleicher |
How to Add a Noninteger Number of Terms: From Axioms to New Identities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 118(2), pp. 136-152, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Jules Desharnais, Georg Struth |
Internal axioms for domain semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 76(3), pp. 181-203, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Athanassios Tzouvaras |
Erratum to: Localizing the axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 50(3-4), pp. 513, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Shiran Rachmilevitch |
Disagreement point axioms and the egalitarian bargaining solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Game Theory ![In: Int. J. Game Theory 40(1), pp. 63-85, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|