|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1033 occurrences of 686 keywords
|
|
|
Results
Found 4918 publication records. Showing 4917 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
81 | Tomoko Ninomiya, Masao Mukaidono |
Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), May 15-18, 2002, Boston, Massachusetts, USA, pp. 185-191, 2002, IEEE Computer Society, 0-7695-1462-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
79 | Frédéric Fürst, Francky Trichet |
Heavyweight Ontology Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (1) ![In: On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I, pp. 38-39, 2006, Springer, 3-540-48269-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Heavyweight Ontology, Graph-Based Techniques, Conceptual Graphs, Axioms, Ontology Matching, Ontology Evaluation |
72 | Anya Helene Bagge, Valentin David, Magne Haveraaen |
The axioms strike back: testing with concepts and axioms in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings, pp. 15-24, 2009, ACM, 978-1-60558-494-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
axiom-based testing, C++, program transformation, test generation, generative programming, unit testing, algebraic specification, concepts, axioms, mouldable programming, C++0x |
70 | Axioms Editorial Office |
Acknowledgment to the Reviewers of Axioms in 2022. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(2), pp. 96, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
70 | Axioms Editorial Office |
Acknowledgment to Reviewers of Axioms in 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(2), pp. 54, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
70 | Axioms Editorial Office |
Acknowledgment to Reviewers of Axioms in 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 10(1), pp. 13, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
70 | Axioms Editorial Office |
Acknowledgement to Reviewers of Axioms in 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 9(1), pp. 8, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
70 | Axioms Editorial Office |
Acknowledgement to Reviewers of Axioms in 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 8(1), pp. 5, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
69 | Tomoko Ninomiya, Masao Mukaidono |
Independence of the Axioms of Boolean Algebra in Multiple-Valued Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 30th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2000, Portland, Oregon, USA, May 23-25, 2000, Proceedings, pp. 107-112, 2000, IEEE Computer Society, 0-7695-0692-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
the Method of Indeterminate Coefficients, Independency of axioms, complete set of axioms, Boolean algebra |
67 | Walker M. White, Mirek Riedewald, Johannes Gehrke, Alan J. Demers |
What is "next" in event processing? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China, pp. 263-272, 2007, ACM, 978-1-59593-685-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
events, axiomatization, temporal models |
62 | Horst Zuse |
Foundations of object-oriented software measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 3rd IEEE International Software Metrics Symposium (METRICS 1996), From Measurement to Empirical Results, March 25-26, 1996, Berlin, Germany, pp. 75-, 1996, IEEE Computer Society, 0-8186-7364-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
object-oriented software measures, binary operations, extensive structure, qualitative criteria, Dempster-Shafer belief function, Kolmogoroff axioms, DeFinetti axioms, software measurement theory, concatenation operations, dominance axiom, object-oriented programming, software metrics, methods, inference mechanisms, object-oriented methods, programming theory, classes, uncertainty handling, weak order, belief maintenance, numbers |
59 | Tomoko Ninomiya, Masao Mukaidono |
Complete and Independent Sets of Axioms of Boolean Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 16-19 May 2003, Tokyo, Japan, pp. 169-174, 2003, IEEE Computer Society, 0-7695-1918-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
52 | Larry M. Hines |
Hyper-Chaining and Knowledge-Based Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 469-486, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
52 | Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem |
Logical and algebraic view of Huzita's origami axioms with applications to computational origami. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 767-772, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
constraint solving, first-order predicate logic, origami, geometric theorem proving |
52 | Herman Geuvers, Milad Niqui |
Constructive Reals in Coq: Axioms and Categoricity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers, pp. 79-95, 2000, Springer, 3-540-43287-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
52 | John K. Dixon |
Z-Resolution: Theorem-Proving with Compiled Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 20(1), pp. 127-147, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
52 | Michael Thielscher |
Towards State Update Axioms: Reifying Successor State Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings, pp. 248-263, 1998, Springer, 3-540-65141-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
50 | Anthony J. Roy, John G. Stell |
Convexity in Discrete Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory. Foundations of Geographic Information Science, International Conference, COSIT 2003, Ittingen, Switzerland, September 24-28, 2003, Proceedings, pp. 253-269, 2003, Springer, 3-540-20148-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Convexity axioms, alignment spaces, affine spaces, convex spaces, matroid algorithms, convex hull, discrete geometry, cell complexes, oriented matroids |
50 | Luís Mota, Luís Miguel Botelho, Hugo Mendes, António Lopes 0001 |
O3F: an object oriented ontology framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 639-646, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
FIPA SL, action methods, arbitrary axioms, ontology representation framework, ontology, situation calculus |
49 | Russell Impagliazzo, Nathan Segerlind |
Constant-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(2), pp. 199-218, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Modular counting axioms, Nullstellensatz refutations, propositional proof complexity |
49 | Tomoko Ninomiya, Masao Mukaidono |
Clarifying the Axioms of Kleene Algebra based on the Method of Indeterminate Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 29th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1999, Freiburg im Breisgau, Germany, May 20-22, 1999, Proceedings, pp. 125-130, 1999, IEEE Computer Society, 0-7695-0161-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
the Method of Indeteminate Coefficients, Independency of axiom, Complete axioms, Kleene Algebra |
44 | Francisco Durán 0001, Salvador Lucas, José Meseguer 0001 |
Termination Modulo Combinations of Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings, pp. 246-262, 2009, Springer, 978-3-642-04221-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Joey Sik Chun Lam, Derek H. Sleeman, Jeff Z. Pan, Wamberto Weber Vasconcelos |
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics X, pp. 62-95, 2008, Springer, 978-3-540-77687-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Description Logics reasoning, Ontologies |
44 | Fiora Pirri, Raymond Reiter |
Some Contributions to the Metatheory of the Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 46(3), pp. 325-361, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
programming languages for the situation calculus, theorem-proving, regression, situation calculus |
44 | Martin Suda 0001, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo |
External Sources of Axioms in Automated Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings, pp. 281-288, 2009, Springer, 978-3-642-04616-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Dejing Dou, Drew V. McDermott |
Deriving axioms across ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 952-954, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
ontology translation, ontologies, agent communication, the Semantic web |
42 | Sergio Antoy, John D. Gannon |
Using Term Rewriting to Verify Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(4), pp. 259-274, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction |
42 | Magne Haveraaen, Karl Trygve Kalleberg |
JAxT and JDI: the simplicity of junit applied to axioms and data invariants. ![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. 731-732, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
data invariants, java, program transformation, unit testing, test data generation, axioms, junit, mouldable programming |
42 | Anya Helene Bagge, Valentin David, Magne Haveraaen |
Testing with concepts and axioms in 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. 773-774, 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 |
41 | Shu-Kun Lin |
Tenth Volume of Axioms and Why Axioms Was Launched. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 10(3), pp. 129, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
37 | Andreas Blass, Yuri Gurevich |
Abstract state machines capture parallel algorithms: Correction and extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(3), pp. 19:1-19:32, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ASM thesis, postulates for parallel computation, Parallel algorithm, parallel programming, abstract state machine |
37 | Reid Andersen, Christian Borgs, Jennifer T. Chayes, Uriel Feige, Abraham D. Flaxman, Adam Kalai, Vahab S. Mirrokni, Moshe Tennenholtz |
Trust-based recommendation systems: an axiomatic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21-25, 2008, pp. 199-208, 2008, ACM, 978-1-60558-085-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
recommendation systems, reputation systems, trust networks, axiomatic approach |
37 | Sik Chun Lam, Jeff Z. Pan, Derek H. Sleeman, Wamberto Weber Vasconcelos |
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 18-22 December 2006, Hong Kong, China, pp. 428-434, 2006, IEEE Computer Society, 0-7695-2747-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Prakash P. Shenoy, Glenn Shafer |
Axioms for Probability and Belief-Function Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Classic Works of the Dempster-Shafer Theory of Belief Functions ![In: Classic Works of the Dempster-Shafer Theory of Belief Functions, pp. 499-528, 2008, Springer, 978-3-540-25381-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Huo Yan Chen, Lin Tan, T. H. Tse |
A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 747-750, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Yukiyoshi Kameyama |
Axioms for control operators in the CPS hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 20(4), pp. 339-369, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Type system, Axiomatization, Delimited continuation, CPS translation, Control operator |
37 | Marc Ehrig, York Sure |
Ontology Mapping by Axioms (OMA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wissensmanagement (LNCS Volume) ![In: Professional Knowledge Management, Third Biennial Conference, WM 2005, Kaiserslautern, Germany, April 10-13, 2005, Revised Selected Papers, pp. 560-569, 2005, Springer, 3-540-30465-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Yukiyoshi Kameyama |
Axioms for Delimited Continuations in the CPS Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 442-457, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Paolo Bouquet, Luciano Serafini |
On the Difference between Bridge Rules and Lifting Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings, pp. 80-93, 2003, Springer, 3-540-40380-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Tomoko Ninomiya, Masao Mukaidono |
Fundamental Properties on Axioms of Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings, pp. 311-320, 2000, Springer, 3-540-41094-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
37 | Christoph Walther |
Computing Induction Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, pp. 381-392, 1992, Springer, 3-540-55727-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
37 | Yusuf Ozturk, Lawrence J. Henschen |
Hyper Resolution and Equality Axioms without Function Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 456-469, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
37 | Jayadev Misra |
Axioms for Memory Access in Asynchronous Hardware Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 8(1), pp. 142-153, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
37 | Jayadev Misra |
Axioms for Memory Access in Asynchronous Hardware Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Seminar on Concurrency ![In: Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984, pp. 96-110, 1984, Springer, 3-540-15670-4. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | 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 |
35 | 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 |
35 | Gerhard Gröger, Lutz Plümer |
How to Get 3-D for the Price of 2-D-Topology and Consistency of 3-D Urban GIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoInformatica ![In: GeoInformatica 9(2), pp. 139-158, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
2.5-D, 2.8-D, GIS, maps, consistency, topology, completeness, correctness, axioms, 3-D |
35 | Fábio Gagliardi Cozman, Peter Walley |
Graphoid properties of epistemic irrelevance and independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 45(1-2), pp. 173-195, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
credal set, epistemic independence, graphoid axioms, lower prevision, imprecise probability, conditional independence |
35 | Gerhard Gröger, Lutz Plümer |
Exploiting 2D concepts to achieve consistency in 3D GIS applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: ACM-GIS 2003, Proceedings of the Eleventh ACM International Symposium on Advances in Geographic Information Systems, New Orleans, Louisiana, USA, November 7-8, 2003, pp. 78-85, 2003, ACM. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
GIS, maps, consistency, completeness, 3D, correctness, axioms |
35 | Michel Wermelinger |
Conceptual Graphs and First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Applications, Implementation and Theory, Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, California, USA, August 14-18, 1995, Proceedings, pp. 323-337, 1995, Springer, 3-540-60161-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Key phrases logical foundations of Conceptual Structures, logical axioms, higher-order types, meta-level reasoning, operator, inference rules |
35 | Yizong Cheng, Rangasami L. Kashyap |
An axiomatic approach for combining evidence from a variety of sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 1(1), pp. 17-33, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Combining evidence, knowledge sources, ordered semigroups, belief assignment, expert system, Bayesian, axioms, likelihood |
35 | Barbara J. Czerny, Mats Per Erik Heimdahl |
Identifying Domain Axioms Using Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 132-140, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Static Requirements Analysis, Domain Axioms, Spurious Errors, Completeness Analysis, False Positives, Consistency Analysis, Binary Decision Diagrams (BDDs) |
30 | Sreenivas Gollapudi, Aneesh Sharma |
An axiomatic approach for result diversification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 20-24, 2009, pp. 381-390, 2009, ACM, 978-1-60558-487-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
axiomatic framework, facility dispersion, approximation algorithms, search engine, wikipedia, diversification |
30 | Hakki C. Cankaya, Dan I. Moldovan |
Method for extracting commonsense knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K-CAP ![In: Proceedings of the 5th International Conference on Knowledge Capture (K-CAP 2009), September 1-4, 2009, Redondo Beach, California, USA, pp. 57-64, 2009, ACM, 978-1-60558-658-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
commonsense knowledge, knowledge acquisition |
30 | Agata Ciabattoni, Lutz Straßburger, Kazushige Terui |
Expanding the Realm of Systematic Proof Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 163-178, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Marc Pauly |
On the role of language in social choice theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 163(2), pp. 227-243, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Logic, Judgment aggregation, Social choice theory |
30 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
Laconic and Precise Justifications in OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings, pp. 323-338, 2008, Springer, 978-3-540-88563-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Ronan Cummins, Colm O'Riordan |
An axiomatic comparison of learned term-weighting schemes in information retrieval: clarifications and extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 28(1), pp. 51-68, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Axiomatic constraints, Information retrieval, Genetic programming |
30 | Pavel Naumov |
Upper bounds on complexity of Frege proofs with limited use of certain schemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(4), pp. 431-446, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Gary T. Leavens |
Invited Talk: JML framed! ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'04, Washington, DC, USA, June 7-8, 2004, pp. 1, 2004, ACM, 1-58113-910-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Chris Giannella |
An Axiomatic Approach to Defining Approximation Measures for Functional Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings, pp. 37-50, 2002, Springer, 3-540-44138-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Nir Friedman, Joseph Y. Halpern |
Plausibility measures and default reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 48(4), pp. 648-685, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
?-semantics, ?-rankings, plausibility measures, preferential orderings nonmonotonic inference, default reasoning, possibility measures, Conditional logic |
30 | Chuchang Liu, Maris A. Ozols, Anthony Cant |
An Axiomatic Basis for Reasoning about Trust in PKIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 6th Australasian Conference, ACISP 2001, Sydney, Australia, July 11-13, 2001, Proceedings, pp. 274-291, 2001, Springer, 3-540-42300-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
CA (Certificate Authority), PKI (Public Key Infrastructure), trust theory, certificate verification, trust, information security, certificate |
30 | Joseph Y. Halpern, Nir Friedman |
Plausibility Measures and Default Reasoning: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 130-135, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Michiel Hagedoorn, Remco C. Veltkamp |
Measuring Resemblance of Complex Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 8th International Conference, DCGI'99, Marne-la-Vallee, France, March 17-19, 1999, Proceedings, pp. 286-297, 1999, Springer, 3-540-65685-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Yuxi Fu |
Open Bisimulations on Chi Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings, pp. 304-319, 1999, Springer, 3-540-66425-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Michael J. Maher |
A CLP View of Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings, pp. 364-383, 1992, Springer, 3-540-55873-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Olivier Hermant, James Lipton |
A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 169-183, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Frédéric Fürst, Francky Trichet |
Ontology Matching Based on the Comparison of Axioms Represented with Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: Second International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2008), March 4th-7th, 2008, Technical University of Catalonia, Barcelona, Spain, pp. 853-858, 2008, IEEE Computer Society, 978-0-7695-3109-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Márta Takács |
Axioms of the System Behavior in FLC Using Uninormas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACI ![In: 4th International Symposium on Applied Computational Intelligence and Informatics, SACI 2007, Timisoara, Romania, May 17-18, 2007, pp. 35-39, 2007, IEEE, 1-4244-1234-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Olegas Vasilecas, Diana Bugaite |
An algorithm for the automatic transformation of ontology axioms into a rule model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 2007 International Conference on Computer Systems and Technologies, CompSysTech 2007, Rousse, Bulgaria, June 14-15, 2007, pp. 9, 2007, ACM, 978-954-9641-50-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ontology, conceptual model, rule, axiom, automatic transformation |
30 | Johanna Völker, Pascal Hitzler, Philipp Cimiano |
Acquisition of OWL DL Axioms from Lexical Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings, pp. 670-685, 2007, Springer, 978-3-540-72666-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Maria Bulinska |
The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 81(1), pp. 43-50, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Lambek, grammar, calculus, context-free |
30 | Scott McPeak, George C. Necula |
Data Structure Specifications via Local Equality Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 476-490, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Dafa Li |
The equality axioms are not independent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 35(3), pp. 98-101, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Avik Sinha, Carol S. Smidts, Andrew Moran |
Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA, pp. 181-190, 2003, IEEE Computer Society, 0-7695-2007-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Michael Norrish |
Mechanising Hankin and Barendregt using the Gordon-Melham axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003, 2003, ACM, 978-1-58113-800-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
higher order abstract syntax, interactive theorem-proving |
30 | Joan Bagaria |
Bounded forcing axioms as principles of generic absoluteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 39(6), pp. 393-401, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Fábio Gagliardi Cozman |
Irrelevance and Independence Axioms in Quasi-Bayesian Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESCQARU ![In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings, pp. 128-136, 1999, Springer, 3-540-66131-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Olaf Kummer, Mark-Oliver Stehr |
Petri's Axioms of Concurrency- A Selection of Recent Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings, pp. 195-214, 1997, Springer, 3-540-63139-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Topics Axiomatic theory of concurrency/causality |
30 | William McCune, Larry Wos |
Application of Automated Deduction to the Search for Single Axioms for Exponent Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, pp. 131-136, 1992, Springer, 3-540-55727-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Eike Best, Agathe Merceron |
Concurrency axioms and D-continuous posets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, pp. 32-47, 1984, Springer, 3-540-15204-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
29 | Guillaume Aucher |
Intricate Axioms as Interaction Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 103(5), pp. 1035-1062, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Guillaume Aucher |
Axioms .2 and .4 as Interaction Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, 2014, AAAI Press, 978-1-57735-657-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
29 | Lingqiang Li, Qiu Jin |
On stratified L-convergence spaces: Pretopological axioms and diagonal axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 204, pp. 40-52, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Wei Yao 0004, Fu-Gui Shi |
Bases axioms and circuits axioms for fuzzifying matroids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 161(24), pp. 3155-3165, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Ross T. Brady |
The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 13(2), pp. 161-176, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
27 | Ronan Cummins, Colm O'Riordan |
Measuring constraint violations in information retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 32nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2009, Boston, MA, USA, July 19-23, 2009, pp. 722-723, 2009, ACM, 978-1-60558-483-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
information retrieval, constraints, axioms |
27 | Jundi Ding, RuNing Ma, Songcan Chen, Jing-Yu Yang 0001 |
Clustering Using Normalized Path-Based Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2008, 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II, pp. 57-66, 2008, Springer, 978-3-540-87733-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Metric Axioms, Elongated Structure, Image Segmentation, Data Clustering, Linear Complexity |
27 | Eleni Tomai, Marinos Kavouras |
From "Onto-GeoNoesis" to "Onto-Genesis": The Design of Geographic Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoInformatica ![In: GeoInformatica 8(3), pp. 285-302, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ontology generation, axioms, semantic relations, semantic properties, geographic ontologies |
27 | Mehmet M. Dalkilic, Edward L. Robertson |
Information Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA, pp. 245-253, 2000, ACM, 1-58113-214-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Armstrong's Axioms, information dependency, entropy, functional dependency, multivalued dependency |
27 | Marisa A. Sanchez, Juan Carlos Augusto |
Testing an Implementation of a Temporal Logic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 20st International Conference of the Chilean Computer Science Society (SCCC 2000), 16-18 November 2000, Santiago, Chile, pp. 68-73, 2000, IEEE Computer Society, 0-7695-0810-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
temporal logic language, language implementation testing, Temporal Prolog, Hilbert model, formal specification, logic programming, temporal logic, temporal logic, PROLOG, program testing, specification-based testing, inference rules, axioms, program errors |
27 | Dipankar Sarkar 0001, S. C. De Sarkar |
Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(1), pp. 1-9, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
flowchart programs, first-order rules, algebraic expressions, proof construction process, human thought process, user provided axioms, verification, theorem proving, program verification, inference mechanisms, inference rules, theorem prover, integer arithmetic |
26 | Hans J. Haubold |
Henri Poincaré's Comment on Calculus and Albert Einstein's Comment on Entropy: Mathematical Physics on the Tenth Anniversary of Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(1), pp. 83, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Christophe Chesneau |
Introduction to the Special Issue in Axioms Titled Current Research on Mathematical Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(2), pp. 109, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Natália Martins, Ricardo Almeida 0001, Cristiana J. Silva, Moulay Rchid Sidi Ammi |
Editorial for the Special Issue of Axioms "Calculus of Variations, Optimal Control and Mathematical Biology: A Themed Issue Dedicated to Professor Delfim F. M. Torres on the Occasion of His 50th Birthday". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(2), pp. 110, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Queralt Viladevall, Salvador Linares-Mustarós, Maria Antonia Huertas, Joan Carles Ferrer-Comalat |
Understanding the Axioms and Assumptions of Logical Mathematical Systems through Raster Images: Application to the Construction of a Likert Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(12), pp. 1064, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Khalaf S. Sultan, Nashmiah R. AL-Shamari |
Some Axioms and Identities of L-Moments from Logistic Distribution with Generalizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(10), pp. 928, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Oscar Castillo 0001 |
Special Issue for the 10th Anniversary of Axioms: Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(5), pp. 455, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Ibrahim Gürler, Ozan Çakir, Bora Gündüzyeli |
Some Generalized Results on Grey Number Operations Based on Liu-Lin Axioms of Greyness Degree and Information Content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(9), pp. 424, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 4917 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|