Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Pavel Naumov, Brittany Nicholls |
Game Semantics for the Geiger-Paz-Pearl Axioms of Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction - Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings, pp. 220-232, 2011, Springer, 978-3-642-24129-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Enrico Francesconi |
Axioms on a Semantic Model for Legislation for Accessing and Reasoning over Normative Provisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICOL ![In: AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents - International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers, pp. 147-161, 2011, Springer, 978-3-642-35730-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Asem Kasem, Fadoua Ghourabi, Tetsuo Ida |
Origami axioms and circle extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011, pp. 1106-1111, 2011, ACM, 978-1-4503-0113-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Seok Jong Lee, Sang Min Yun |
Fuzzy delta separation axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2011, IEEE International Conference on Fuzzy Systems, Taipei, Taiwan, 27-30 June, 2011, Proceedings, pp. 595-602, 2011, IEEE, 978-1-4244-7315-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Franz Baader, Rafael Peñaloza |
Are fuzzy description logics with general concept inclusion axioms decidable? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2011, IEEE International Conference on Fuzzy Systems, Taipei, Taiwan, 27-30 June, 2011, Proceedings, pp. 1735-1742, 2011, IEEE, 978-1-4244-7315-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Francesca A. Lisi, Umberto Straccia |
An Inductive Logic Programming Approach to Learning Inclusion Axioms in Fuzzy Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 57-71, 2011, CEUR-WS.org. 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) |
ALT ![In: Algorithmic Learning Theory - 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings, pp. 338-352, 2011, Springer, 978-3-642-24411-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Fleischhacker, Johanna Völker |
Inductive Learning of Disjointness Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems: OTM 2011 - Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II, pp. 680-697, 2011, Springer, 978-3-642-25105-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Chan Le Duc, Myriam Lamolle, Olivier Curé |
A Tableaux-Based Algorithm for SHIQ\mathcal{SHIQ} with Transitive Closure of Roles in Concept and Role Inclusion Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC (1) ![In: The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I, pp. 367-381, 2011, Springer, 978-3-642-21033-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Vineet Padmanabhan, Guido Governatori, Abdul Sattar 0001 |
Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIWAI ![In: Multi-disciplinary Trends in Artificial Intelligence - 5th International Workshop, MIWAI 2011, Hyderabad, India, December 7-9, 2011. Proceedings, pp. 63-74, 2011, Springer, 978-3-642-25724-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Rony Patel, Jennifer Jacobs 0003, Rochel Gelman |
Memorizing Mathematics: The Failure to Apply Mathematical Axioms Within Restrictive Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 33th Annual Meeting of the Cognitive Science Society, CogSci 2011, Boston, Massachusetts, USA, July 20-23, 2011, 2011, cognitivesciencesociety.org, 978-0-9768318-7-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Francesca A. Lisi, Umberto Straccia |
Towards Learning Fuzzy DL Inclusion Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Fuzzy Logic and Applications - 9th International Workshop, WILF 2011, Trani, Italy, August 29-31,2011. Proceedings, pp. 58-66, 2011, Springer, 978-3-642-23712-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, John Keeney |
Choosing Between Axioms, Rules and Queries: Experiments in Semantic Integration Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OWLED ![In: Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011), San Francisco, California, USA, June 5-6, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Tian Lan, Mung Chiang |
Measuring fairness: Axioms and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Allerton ![In: 49th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2011, Allerton Park & Retreat Center, Monticello, IL, USA, 28-30 September, 2011, pp. 156-163, 2011, IEEE, 978-1-4577-1817-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Felix Schernhammer, José Meseguer 0001 |
Incremental checking of well-founded recursive specifications modulo axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 5-16, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Sara Miner More, Pavel Naumov, Benjamin Sapp |
Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings, pp. 443-457, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-32-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Matteo Casu, Armando Tacchella |
From Natural Language Definitions to Knowledge Bases Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings, pp. 445-450, 2011, Springer, 978-3-642-23953-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Jakub Kotowski, François Bry, Simon Brodt |
Reasoning as Axioms Change - Incremental View Maintenance Reconsidered. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings, pp. 139-154, 2011, Springer, 978-3-642-23579-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Henning Köhler, Sebastian Link |
Armstrong axioms and Boyce-Codd-Heath Normal Form under bag semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 110(16), pp. 717-724, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Victoria Gitman, Joel David Hamkins |
A Natural Model of the Multiverse Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 51(4), pp. 475-484, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Sunil Kothari, James L. Caldwell |
A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings 24th International Workshop on Unification, UNIF 2010, Edinburgh, United Kingdom, 14th July 2010., pp. 24-38, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Rémy-Robert Joseph |
Making choices with a binary relation: Relative choice axioms and transitive closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 207(2), pp. 865-877, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Schwartz |
The friend of my enemy is my enemy, the enemy of my enemy is my friend: Axioms for structural balance and bi-polarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 60(1), pp. 39-45, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Leandro Nascimento, Gil Riella |
On the uses of the monotonicity and independence axioms in models of ambiguity aversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 59(3), pp. 326-329, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Yun Shi, Bart Van Gasse, Da Ruan 0001, Etienne E. Kerre |
On dependencies and independencies of fuzzy implication axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 161(10), pp. 1388-1405, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Yao-Long Li, Guo-Jun Zhang, Ling-Xia Lu |
Axioms for bases of closed regular fuzzy matroids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 161(12), pp. 1711-1725, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Athanassios Tzouvaras |
Localizing the axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 49(5), pp. 571-601, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Giacomo Mauro D'Ariano, Alessandro Tosini |
Testing axioms for quantum theory on probabilistic toy-theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 9(2), pp. 95-141, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Scharrenbach, Claudia d'Amato, Nicola Fanizzi, Rolf Grütter, Bettina Waldvogel, Abraham Bernstein |
Default Logics for Plausible Reasoning with Controversial Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
URSW ![In: Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010), collocated with the 9th International Semantic Web Conference (ISWC-2010), Shanghai, China, November 7, 2010, pp. 105-108, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Luis Del Vasto-Terrientes, Antonio Moreno, David Sánchez 0001 |
Discovery of Relation Axioms from the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings, pp. 222-233, 2010, Springer, 978-3-642-15279-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Diana Kalibatiene, Olegas Vasilecas |
Assessment of Ontology Development and Management Tools According to the Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISD ![In: Information Systems Development, Business Systems and Services: Modeling and Development [Proceedings of ISD 2010, Charles University in Prague, Czech Republic, August 25-27, 2010], pp. 321-330, 2010, Springer, 978-1-4419-9645-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Yevgeny Kazakov |
An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings, pp. 472-486, 2010, Springer, 978-3-642-14202-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Markus Aderhold |
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings, pp. 263-277, 2010, Springer, 978-3-642-14202-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Alexandre Kouznetsov, Bradley Shoebottom, René Witte, Christopher J. O. Baker |
Leverage of OWL-DL axioms in a Contact Centre for Technical Product Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OWLED ![In: Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010), San Francisco, California, USA, June 21-22, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Ki Yung Ahn, Ewen Denney |
Testing First-Order Logic Axioms in Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@TOOLS ![In: Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, Málaga, Spain, July 1-2, 2010. Proceedings, pp. 22-37, 2010, Springer, 978-3-642-13976-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Hans van Ditmarsch, Tim French 0002, Sophie Pinchinat |
Future Event Logic - Axioms and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 8, papers from the eighth conference on `Advances in Modal Logic,` held in Moscow, Russia, 24-27 August 2010, pp. 77-99, 2010, College Publications, 978-1-84890-013-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Sandra Williams, Richard Power |
Grouping Axioms for More Coherent Ontology Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INLG ![In: INLG 2010 - Proceedings of the Sixth International Natural Language Generation Conference, July 7-9, 2010, Trim, Co. Meath, Ireland, 2010, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Richard Power, Allan Third |
Expressing OWL axioms by English sentences: dubious in theory, feasible in practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING (Posters) ![In: COLING 2010, 23rd International Conference on Computational Linguistics, Posters Volume, 23-27 August 2010, Beijing, China, pp. 1006-1013, 2010, Chinese Information Processing Society of China. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds 0001 |
Axioms for Obligation and Robustness with Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, pp. 66-83, 2010, Springer, 978-3-642-14182-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Chan Le Duc, Myriam Lamolle |
Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms. ![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 |
|
15 | Eleftherios Matsikoudis |
Axioms for Asynchronous Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
15 | Solmaz Kolahi |
Armstrong Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 135, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Dmitry Sustretov |
Hybrid Logics of Separation Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 18(4), pp. 541-558, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Fathei M. Zeyada, M. Azab Abd-Allah, A. K. Mousa |
L-pre-separation axioms in (2, L)-topologies based on complete residuated lattice-valued logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Fuzzy Log. Intell. Syst. ![In: Int. J. Fuzzy Log. Intell. Syst. 9(2), pp. 115-127, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy |
B2-crystals: Axioms, structure, models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 116(2), pp. 265-289, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Franz Baader, Martin Knechtel, Rafael Peñaloza |
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings, pp. 49-64, 2009, Springer, 978-3-642-04929-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Dusko Pavlovic, Catherine Meadows 0001 |
Deriving Ephemeral Authentication Using Channel Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security Protocols Workshop ![In: Security Protocols XVII, 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers, pp. 240-261, 2009, Springer, 978-3-642-36212-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Catherine Meadows 0001 |
Deriving Ephemeral Authentication Using Channel Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security Protocols Workshop ![In: Security Protocols XVII, 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers, pp. 262-268, 2009, Springer, 978-3-642-36212-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Makoto Tsukada, Hiroki Suyari |
Tsallis differential entropy and divergences derived from the generalized Shannon-Khinchin axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: IEEE International Symposium on Information Theory, ISIT 2009, June 28 - July 3, 2009, Seoul, Korea, Proceedings, pp. 149-153, 2009, IEEE, 978-1-4244-4312-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Diana Kalibatiene, Olegas Vasilecas |
Evaluating the method of the transforming ontology axioms to application domain rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 2009 International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech 2009, Rousse, Bulgaria, June 18-19, 2009, pp. 17, 2009, ACM, 978-1-60558-986-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Tomoko Ninomiya, Masao Mukaidono |
Clarifying the Systems of Axioms Based on the Method of Indeterminate Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: ISMVL 2009, 39th International Symposium on Multiple-Valued Logic, 21-23 May 2009, Naha, Okinawaw, Japan, pp. 280-285, 2009, IEEE Computer Society, 978-0-7695-3607-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva 0001 |
Deriving Syntax and Axioms for Quantitative Regular Behaviours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 146-162, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Yevgeny Kazakov |
An Extension of Regularity Conditions for Complex Role Inclusion Axioms. ![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 |
|
15 | Yaolong Li, Guojun Zhang |
Rank Axioms for Poset Greedoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS (2) ![In: 2009 International Conference on Computational Intelligence and Security, CIS 2009, Beijing, China, 11-14 December 2009, Volume 2 - Workshop Papers, pp. 41-42, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Guojun Zhang, Yaolong Li |
Global Rank Axioms of Greedoids on Partially Ordered Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS (2) ![In: 2009 International Conference on Computational Intelligence and Security, CIS 2009, Beijing, China, 11-14 December 2009, Volume 2 - Workshop Papers, pp. 43-44, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Christophe Jouis, Bassel Habib, Jie Liu |
Exceptions in Ontologies: Deducing Properties from Topological Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, May 19-21, 2009, Sanibel Island, Florida, USA, 2009, AAAI Press, 978-1-57735-419-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
15 | Ulrich Höhle, Tomasz Kubiak |
Approximating Orders in Meet-Continuous Lattices and Regularity Axioms in Many Valued Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 25(1), pp. 9-17, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06B23, 54A40, 54D10 |
15 | Itay Neeman |
Hierarchies of forcing axioms II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 73(2), pp. 522-542, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Itay Neeman, Ernest Schimmerling |
Hierarchies of forcing axioms I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 73(1), pp. 343-362, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Robert W. Clowes, Anil K. Seth |
Axioms, properties and criteria: Roles for synthesis in the science of consciousness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Medicine ![In: Artif. Intell. Medicine 44(2), pp. 91-104, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Matteo Viale |
Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 14(1), pp. 99-113, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Marshall Spight, Vadim Tropashko |
Relational Lattice Axioms ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0807.3795, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Michael H. Freedman |
Complexity Classes as Mathematical Axioms ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0810.0033, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Hong-Yan Li, Fu-Gui Shi |
Some separation axioms in I-fuzzy topological spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 159(5), pp. 573-587, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | P. V. Flores, Giles Richardson |
Lattice-valued convergence: Diagonal axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 159(19), pp. 2520-2528, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Sheng-Gang Li, Juan Lu, Xiao-Jing Zhong |
Survey of local connectedness axioms and their properties in L-topological spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 159(5), pp. 588-604, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Nick C. Fiala |
Shortest single axioms for commutative moufang loops of exponent 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 308(15), pp. 3381-3385, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Solomon Feferman |
Axioms for Determinateness and Truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 1(2), pp. 204-217, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | P. Dhavachelvan, N. Saravanan 0003, K. Satheskumar |
Validation of Complexity Metrics of Agent-Based Systems Using Weyuker's Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: 2008 International Conference on Information Technology, ICIT '08, Bhubaneswar, India, December 17-20, 2008, pp. 248-251, 2008, IEEE Computer Society, 978-1-4244-3745-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Diana Kalibatiene, Olegas Vasilecas |
Formal transformation of ontology axioms to application domain rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 9th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech 2008, Gabrovo, Bulgaria, June 12-13, 2008, pp. 63, 2008, ACM, 978-954-9641-52-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Yi Zhou 0013, Yan Zhang 0003 |
Rule Calculus: Semantics, Axioms and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings, pp. 416-428, 2008, Springer, 978-3-540-87802-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Shai Ben-David, Margareta Ackerman |
Measures of Clustering Quality: A Working Set of Axioms for Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 21, Proceedings of the Twenty-Second Annual Conference on Neural Information Processing Systems, Vancouver, British Columbia, Canada, December 8-11, 2008, pp. 121-128, 2008, Curran Associates, Inc.. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Zvonimir Rakamaric, Alan J. Hu |
Automatic Inference of Frame Axioms Using Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L'Aquila, Italy, pp. 89-98, 2008, IEEE Computer Society, 978-1-4244-2187-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Franz Baader, Silvio Ghilardi, Carsten Lutz |
LTL over Description Logic Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 684-694, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Haythem O. Ismail |
On the Syntax and Semantics of Effect Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: Formal Ontology in Information Systems, Proceedings of the Fifth International Conference, FOIS 2008, Saarbrücken, Germany, October 31st - November 3rd, 2008, pp. 223-236, 2008, IOS Press, 978-1-58603-923-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Rahmad Mahendra, Septina Dian Larasati, Ruli Manurung |
Extending an Indonesian Semantic Analysis-based Question Answering System with Linguistic and World Knowledge Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACLIC ![In: Proceedings of the 22nd Pacific Asia Conference on Language, Information and Computation, PACLIC 22, Cebu City, Philippines, November 20-22, 2008, pp. 262-271, 2008, De La Salle University (DLSU), Manila, Philippines. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Francis Gasse, Ulrike Sattler, Volker Haarslev |
Rewriting Rules into SROIQ Axioms. ![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 |
|
15 | Franz Baader, Silvio Ghilardi, Carsten Lutz |
LTL over Description Logic Axioms. ![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 |
|
15 | Brandon Bennett, Ivo Düntsch |
Axioms, Algebras and Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Spatial Logics ![In: Handbook of Spatial Logics, pp. 99-159, 2007, Springer, 978-1-4020-5586-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Elango Roja, Mallasamudram Kuppusamy Uma, Ganesan Balasubramanian |
Gδ-separation axioms in ordered fuzzy topological spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 43(1), pp. 103-111, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
15 | Bernhard König |
Forcing indestructibility of set-theoretic axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 72(1), pp. 349-360, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | I. Burhan Türksen |
Meta-linguistic axioms as a foundation for computing with words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 177(2), pp. 332-359, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Riccardo Camerlo |
Finiteness Axioms on Fragments of Intuitionistic Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 48(4), pp. 473-488, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Barteld P. Kooi |
Expressivity and completeness for public update logics via reduction axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 17(2), pp. 231-253, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Sheng-Gang Li, Xiu Xin, Yao-Long Li |
Closure axioms for a class of fuzzy matroids and co-towers of matroids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 158(11), pp. 1246-1257, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | C. Desimpelaere, Thierry Marchant |
An empirical test of some measurement-theoretic axioms for fuzzy sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 158(12), pp. 1348-1359, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Fu-Gui Shi, Hong-Yan Li |
A note on "On separation axioms in I-fuzzy topological spaces". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 158(13), pp. 1511-1513, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Davide Ciucci |
On the Axioms of Residuated Structures: Independence, Dependencies and Rough Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 69(4), pp. 359-387, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
15 | Lee Pike |
A Note on Inconsistent Axioms in Rushby's "Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(5), pp. 347-348, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
time-triggered algorithms, Formal methods, formal verification, PVS, synchronous systems |
15 | Lin Yan 0002, Congpin Zhang |
Semantic Analyses of Rough Truth for Axioms in Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Res. Dev. ![In: J. Comput. Res. Dev. 43(11), pp. 1999-2004, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
15 | Lawrence M. Brown, Riza Ertürk, Senol Dost |
Ditopological texture spaces and fuzzy topology - III: Separation axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 157(14), pp. 1886-1912, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Li Qinghua, Jinming Fang |
Countability axioms in I-fuzzy topological spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 157(6), pp. 767-779, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Fu-Gui Shi |
A new approach to L-T2, L-Urysohn, and L-completely Hausdorff axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 157(6), pp. 794-803, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Yueli Yue, Jinming Fang |
On separation axioms in I-fuzzy topological spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 157(6), pp. 780-793, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Torben Braüner |
Axioms for classical, intuitionistic, and paraconsistent hybrid logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 15(3), pp. 179-194, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Axiom systems, Modal logic, Paraconsistent logic, Intuitionistic logic, Hybrid logic, Strong negation, Constructive logic |
15 | Kazutoshi Ando |
Extreme point axioms for closure spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 306(24), pp. 3181-3188, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Silke Berit Lang |
Merging Knowledge from Different Disciplines in Search of Potential Design Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 10th International Conference on Information Visualisation, IV 2006, 5-7 July 2006, London, UK, pp. 183-188, 2006, IEEE Computer Society, 0-7695-2602-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Aditya Kalyanpur, Bijan Parsia, Bernardo Cuenca Grau |
Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006, 2006, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
15 | Wilfried Sieg, Dirk Schlimm |
Dedekind's Analysis of Number: Systems and Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 147(1), pp. 121-170, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Andrés Eduardo Caicedo |
Projective well-orderings and bounded forcing axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 70(2), pp. 557-572, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|