The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for axioms with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1939-1960 (16) 1961-1967 (16) 1968-1973 (19) 1974-1976 (21) 1977-1979 (23) 1980 (15) 1981-1982 (15) 1983-1984 (28) 1985 (15) 1986 (19) 1987 (15) 1988 (23) 1989 (25) 1990 (25) 1991 (24) 1992 (22) 1993 (31) 1994 (22) 1995 (19) 1996 (28) 1997 (29) 1998 (35) 1999 (48) 2000 (67) 2001 (61) 2002 (66) 2003 (81) 2004 (75) 2005 (97) 2006 (103) 2007 (129) 2008 (124) 2009 (99) 2010 (31) 2011 (34) 2012 (59) 2013 (50) 2014 (59) 2015 (58) 2016 (58) 2017 (80) 2018 (126) 2019 (170) 2020 (178) 2021 (394) 2022 (604)
Publication types (Num. hits)
article(2208) book(2) incollection(11) inproceedings(1112) phdthesis(3)
Venues (Conferences, Journals, ...)
Axioms(1466) CoRR(67) J. Symb. Log.(49) Notre Dame J. Formal Log.(49) Fuzzy Sets Syst.(41) CADE(39) Arch. Math. Log.(37) ICALP(26) MFCS(25) CSL(24) Stud Logica(23) Ann. Pure Appl. Log.(22) RTA(22) J. ACM(18) J. Autom. Reason.(16) POPL(16) More (+10 of total 692)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1033 occurrences of 686 keywords

Results
Found 3337 publication records. Showing 3336 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
82Tomoko Ninomiya, Masao Mukaidono Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra. Search on Bibsonomy ISMVL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
79Frédéric Fürst, Francky Trichet Heavyweight Ontology Engineering. Search on Bibsonomy OTM Workshops (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Heavyweight Ontology, Graph-Based Techniques, Conceptual Graphs, Axioms, Ontology Matching, Ontology Evaluation
73Axioms Editorial Office Acknowledgment to Reviewers of Axioms in 2021. Search on Bibsonomy Axioms The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
73Axioms Editorial Office Acknowledgment to Reviewers of Axioms in 2020. Search on Bibsonomy Axioms The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
73Axioms Editorial Office Acknowledgement to Reviewers of Axioms in 2019. Search on Bibsonomy Axioms The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
73Axioms Editorial Office Acknowledgement to Reviewers of Axioms in 2018. Search on Bibsonomy Axioms The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
73Anya Helene Bagge, Valentin David, Magne Haveraaen The axioms strike back: testing with concepts and axioms in C++. Search on Bibsonomy GPCE The full citation details ... 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
70Tomoko Ninomiya, Masao Mukaidono Independence of the Axioms of Boolean Algebra in Multiple-Valued Logic. Search on Bibsonomy ISMVL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF the Method of Indeterminate Coefficients, Independency of axioms, complete set of axioms, Boolean algebra
67Walker M. White, Mirek Riedewald, Johannes Gehrke, Alan J. Demers What is "next" in event processing? Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF events, axiomatization, temporal models
62Horst Zuse Foundations of object-oriented software measures. Search on Bibsonomy IEEE METRICS The full citation details ... 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
60Tomoko Ninomiya, Masao Mukaidono Complete and Independent Sets of Axioms of Boolean Algebra. Search on Bibsonomy ISMVL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
53Michael Thielscher Towards State Update Axioms: Reifying Successor State Axioms. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
52Fadoua 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 SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF constraint solving, first-order predicate logic, origami, geometric theorem proving
52Herman Geuvers, Milad Niqui Constructive Reals in Coq: Axioms and Categoricity. Search on Bibsonomy TYPES The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
52John K. Dixon Z-Resolution: Theorem-Proving with Compiled Axioms. Search on Bibsonomy J. ACM The full citation details ... 1973 DBLP  DOI  BibTeX  RDF
52Larry M. Hines Hyper-Chaining and Knowledge-Based Theorem Proving. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
50Russell Impagliazzo, Nathan Segerlind Constant-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Modular counting axioms, Nullstellensatz refutations, propositional proof complexity
50Tomoko Ninomiya, Masao Mukaidono Clarifying the Axioms of Kleene Algebra based on the Method of Indeterminate Coefficients. Search on Bibsonomy ISMVL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF the Method of Indeteminate Coefficients, Independency of axiom, Complete axioms, Kleene Algebra
50Anthony J. Roy, John G. Stell Convexity in Discrete Space. Search on Bibsonomy COSIT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Convexity axioms, alignment spaces, affine spaces, convex spaces, matroid algorithms, convex hull, discrete geometry, cell complexes, oriented matroids
50Luís Mota, Luís Miguel Botelho, Hugo Mendes, António Lopes 0001 O3F: an object oriented ontology framework. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF FIPA SL, action methods, arbitrary axioms, ontology representation framework, ontology, situation calculus
45Martin Suda 0001, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo External Sources of Axioms in Automated Theorem Proving. Search on Bibsonomy KI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
45Dejing Dou, Drew V. McDermott Deriving axioms across ontologies. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ontology translation, ontologies, agent communication, the Semantic web
44Francisco Durán 0001, Salvador Lucas, José Meseguer Termination Modulo Combinations of Equational Theories. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Joey Sik Chun Lam, Derek H. Sleeman, Jeff Z. Pan, Wamberto Weber Vasconcelos A Fine-Grained Approach to Resolving Unsatisfiable Ontologies. Search on Bibsonomy J. Data Semantics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Description Logics reasoning, Ontologies
44Fiora Pirri, Raymond Reiter Some Contributions to the Metatheory of the Situation Calculus. Search on Bibsonomy J. ACM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF programming languages for the situation calculus, theorem-proving, regression, situation calculus
44Shu-Kun Lin Tenth Volume of Axioms and Why Axioms Was Launched. Search on Bibsonomy Axioms The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
43Magne Haveraaen, Karl Trygve Kalleberg JAxT and JDI: the simplicity of junit applied to axioms and data invariants. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF data invariants, java, program transformation, unit testing, test data generation, axioms, junit, mouldable programming
43Anya Helene Bagge, Valentin David, Magne Haveraaen Testing with concepts and axioms in C++. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF C++, specifications, program transformation, test generation, generative programming, unit testing, concepts, axioms, mouldable programming, C++0x
42Sergio Antoy, John D. Gannon Using Term Rewriting to Verify Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
38Prakash P. Shenoy, Glenn Shafer Axioms for Probability and Belief-Function Propagation. Search on Bibsonomy Classic Works of the Dempster-Shafer Theory of Belief Functions The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Huo 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 CSSE (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Yukiyoshi Kameyama Axioms for control operators in the CPS hierarchy. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Type system, Axiomatization, Delimited continuation, CPS translation, Control operator
38Marc Ehrig, York Sure Ontology Mapping by Axioms (OMA). Search on Bibsonomy Wissensmanagement (LNCS Volume) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Yukiyoshi Kameyama Axioms for Delimited Continuations in the CPS Hierarchy. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Paolo Bouquet, Luciano Serafini On the Difference between Bridge Rules and Lifting Axioms. Search on Bibsonomy CONTEXT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Tomoko Ninomiya, Masao Mukaidono Fundamental Properties on Axioms of Kleene Algebra. Search on Bibsonomy ISMIS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Christoph Walther Computing Induction Axioms. Search on Bibsonomy LPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
38Yusuf Ozturk, Lawrence J. Henschen Hyper Resolution and Equality Axioms without Function Substitutions. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
38Jayadev Misra Axioms for Memory Access in Asynchronous Hardware Systems. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
38Jayadev Misra Axioms for Memory Access in Asynchronous Hardware Systems. Search on Bibsonomy Seminar on Concurrency The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
37Andreas Blass, Yuri Gurevich Abstract state machines capture parallel algorithms: Correction and extension. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ASM thesis, postulates for parallel computation, Parallel algorithm, parallel programming, abstract state machine
37Reid 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 WWW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF recommendation systems, reputation systems, trust networks, axiomatic approach
37Sik Chun Lam, Jeff Z. Pan, Derek H. Sleeman, Wamberto Weber Vasconcelos A Fine-Grained Approach to Resolving Unsatisfiable Ontologies. Search on Bibsonomy Web Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Barbara J. Czerny, Mats Per Erik Heimdahl Identifying Domain Axioms Using Binary Decision Diagrams. Search on Bibsonomy HASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Static Requirements Analysis, Domain Axioms, Spurious Errors, Completeness Analysis, False Positives, Consistency Analysis, Binary Decision Diagrams (BDDs)
35Anya Helene Bagge, Valentin David, Magne Haveraaen Axiom-based testing for C++. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF C++, specifications, program transformation, test generation, generative programming, unit testing, concepts, axioms, mouldable programming, C++0x
35Witold Abramowicz, Maria Vargas-Vera, Marek Wisniewski Axiom-Based Feedback Cycle for Relation Extraction in Ontology Learning from Text. Search on Bibsonomy DEXA Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF feedback cycle, Ontology learning, axioms, relation extraction
35Gerhard 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 GeoInformatica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF 2.5-D, 2.8-D, GIS, maps, consistency, topology, completeness, correctness, axioms, 3-D
35Fábio Gagliardi Cozman, Peter Walley Graphoid properties of epistemic irrelevance and independence. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF credal set, epistemic independence, graphoid axioms, lower prevision, imprecise probability, conditional independence
35Gerhard Gröger, Lutz Plümer Exploiting 2D concepts to achieve consistency in 3D GIS applications. Search on Bibsonomy GIS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF GIS, maps, consistency, completeness, 3D, correctness, axioms
35Michel Wermelinger Conceptual Graphs and First-Order Logic. Search on Bibsonomy ICCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Key phrases logical foundations of Conceptual Structures, logical axioms, higher-order types, meta-level reasoning, operator, inference rules
35Yizong Cheng, Rangasami L. Kashyap An axiomatic approach for combining evidence from a variety of sources. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Combining evidence, knowledge sources, ordered semigroups, belief assignment, expert system, Bayesian, axioms, likelihood
31Guillaume Aucher Intricate Axioms as Interaction Axioms. Search on Bibsonomy Stud Logica The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
31Guillaume Aucher Axioms .2 and .4 as Interaction Axioms. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
31Lingqiang Li, Qiu Jin On stratified L-convergence spaces: Pretopological axioms and diagonal axioms. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
31Wei Yao, Fu-Gui Shi Bases axioms and circuits axioms for fuzzifying matroids. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
31Ross 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 Notre Dame J. Formal Log. The full citation details ... 1972 DBLP  DOI  BibTeX  RDF
30Olivier Hermant, James Lipton A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Frédéric Fürst, Francky Trichet Ontology Matching Based on the Comparison of Axioms Represented with Conceptual Graphs. Search on Bibsonomy CISIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Márta Takács Axioms of the System Behavior in FLC Using Uninormas. Search on Bibsonomy SACI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Olegas Vasilecas, Diana Bugaite An algorithm for the automatic transformation of ontology axioms into a rule model. Search on Bibsonomy CompSysTech The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ontology, conceptual model, rule, axiom, automatic transformation
30Johanna Völker, Pascal Hitzler, Philipp Cimiano Acquisition of OWL DL Axioms from Lexical Resources. Search on Bibsonomy ESWC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Maria Bulinska The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Lambek, grammar, calculus, context-free
30Scott McPeak, George C. Necula Data Structure Specifications via Local Equality Axioms. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Dafa Li The equality axioms are not independent. Search on Bibsonomy SIGACT News The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Avik Sinha, Carol S. Smidts, Andrew Moran Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. Search on Bibsonomy ISSRE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Michael Norrish Mechanising Hankin and Barendregt using the Gordon-Melham axioms. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF higher order abstract syntax, interactive theorem-proving
30Joan Bagaria Bounded forcing axioms as principles of generic absoluteness. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Fábio Gagliardi Cozman Irrelevance and Independence Axioms in Quasi-Bayesian Theory. Search on Bibsonomy ESCQARU The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30Olaf Kummer, Mark-Oliver Stehr Petri's Axioms of Concurrency- A Selection of Recent Results. Search on Bibsonomy ICATPN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Topics Axiomatic theory of concurrency/causality
30William McCune, Larry Wos Application of Automated Deduction to the Search for Single Axioms for Exponent Groups. Search on Bibsonomy LPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
30Eike Best, Agathe Merceron Concurrency axioms and D-continuous posets. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
30Sreenivas Gollapudi, Aneesh Sharma An axiomatic approach for result diversification. Search on Bibsonomy WWW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF axiomatic framework, facility dispersion, approximation algorithms, search engine, wikipedia, diversification
30Hakki C. Cankaya, Dan I. Moldovan Method for extracting commonsense knowledge. Search on Bibsonomy K-CAP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF commonsense knowledge, knowledge acquisition
30Agata Ciabattoni, Lutz Straßburger, Kazushige Terui Expanding the Realm of Systematic Proof Theory. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Marc Pauly On the role of language in social choice theory. Search on Bibsonomy Synth. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Logic, Judgment aggregation, Social choice theory
30Matthew Horridge, Bijan Parsia, Ulrike Sattler Laconic and Precise Justifications in OWL. Search on Bibsonomy ISWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Ronan Cummins, Colm O'Riordan An axiomatic comparison of learned term-weighting schemes in information retrieval: clarifications and extensions. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Axiomatic constraints, Information retrieval, Genetic programming
30Pavel Naumov Upper bounds on complexity of Frege proofs with limited use of certain schemata. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Gary T. Leavens Invited Talk: JML framed! Search on Bibsonomy PASTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Chris Giannella An Axiomatic Approach to Defining Approximation Measures for Functional Dependencies. Search on Bibsonomy ADBIS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
30Nir Friedman, Joseph Y. Halpern Plausibility measures and default reasoning. Search on Bibsonomy J. ACM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ?-semantics, ?-rankings, plausibility measures, preferential orderings nonmonotonic inference, default reasoning, possibility measures, Conditional logic
30Chuchang Liu, Maris A. Ozols, Anthony Cant An Axiomatic Basis for Reasoning about Trust in PKIs. Search on Bibsonomy ACISP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF CA (Certificate Authority), PKI (Public Key Infrastructure), trust theory, certificate verification, trust, information security, certificate
30Joseph Y. Halpern, Nir Friedman Plausibility Measures and Default Reasoning: An Overview. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30Michiel Hagedoorn, Remco C. Veltkamp Measuring Resemblance of Complex Patterns. Search on Bibsonomy DGCI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30Yuxi Fu Open Bisimulations on Chi Processes. Search on Bibsonomy CONCUR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30Michael J. Maher A CLP View of Logic Programming. Search on Bibsonomy ALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
29Ibrahim 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 Axioms The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Boyan Dimitrov The Axioms in My Understanding from Many Years of Experience. Search on Bibsonomy Axioms The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
29Larry Bates, Richard Cushman, Jedrzej Sniatycki Correction: Bates et al. Vector Fields and Differential Forms on the Orbit Space of a Proper Action. Axioms 2021, 10, 118. Search on Bibsonomy Axioms The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
29Taekyun Kim 0001, Cheon Seoung Ryoo Corrections: Kim, T.; et al. Some Identities for Euler and Bernoulli Polynomials and Their Zeros. Axioms 2018, 7, 56. Search on Bibsonomy Axioms The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
29Francesca Mazzia, Alessandra Sestini Correction to "On a Class of Hermite-Obreshkov One-Step Methods with Continuous Spline Extension" [Axioms 7(3), 58, 2018]. Search on Bibsonomy Axioms The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
29Igor Líska, Beloslav Riecan, Anna Tirpáková An Alternative to Real Number Axioms. Search on Bibsonomy Axioms The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Tahsin Oner, Ibrahim Senturk, Gulsah Oner An Independent Set of Axioms of MV-Algebras and Solutions of the Set-Theoretical Yang-Baxter Equation. Search on Bibsonomy Axioms The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
27Ronan Cummins, Colm O'Riordan Measuring constraint violations in information retrieval. Search on Bibsonomy SIGIR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF information retrieval, constraints, axioms
27Jundi Ding, RuNing Ma, Songcan Chen, Jing-Yu Yang Clustering Using Normalized Path-Based Metric. Search on Bibsonomy ISNN (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Metric Axioms, Elongated Structure, Image Segmentation, Data Clustering, Linear Complexity
27Eleni Tomai, Marinos Kavouras From "Onto-GeoNoesis" to "Onto-Genesis": The Design of Geographic Ontologies. Search on Bibsonomy GeoInformatica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ontology generation, axioms, semantic relations, semantic properties, geographic ontologies
27Mehmet M. Dalkilic, Edward L. Robertson Information Dependencies. Search on Bibsonomy PODS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Armstrong's Axioms, information dependency, entropy, functional dependency, multivalued dependency
27Marisa A. Sanchez, Juan Carlos Augusto Testing an Implementation of a Temporal Logic Language. Search on Bibsonomy SCCC The full citation details ... 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
27Dipankar Sarkar 0001, S. C. De Sarkar Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
23Murali Agastya, Arkadii M. Slinko Axioms for a Class of Algorithms of Sequential Decision Making. Search on Bibsonomy ADT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ex-post rationality, fictitious play, multiset, sequential decision making
Displaying result #1 - #100 of 3336 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license