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 (396) 2022 (783) 2023 (1078) 2024 (322)
Publication types (Num. hits)
article(3762) book(2) incollection(11) inproceedings(1139) phdthesis(3)
Venues (Conferences, Journals, ...)
Axioms(2978) CoRR(81) J. Symb. Log.(49) Notre Dame J. Formal Log.(49) Fuzzy Sets Syst.(43) CADE(40) Arch. Math. Log.(37) ICALP(26) Ann. Pure Appl. Log.(25) CSL(25) MFCS(25) Stud Logica(23) RTA(22) J. ACM(18) J. Autom. Reason.(17) POPL(16) More (+10 of total 713)
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
15Nehad N. Morsi A small set of axioms for residuated logic. Search on Bibsonomy Inf. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Robin Milner Axioms for bigraphical structure. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Glad Deschrijver, Etienne E. Kerre Smets-magrez Axioms for R-implicators in Interval-valued and Intuitionistic Fuzzy Set Theory. Search on Bibsonomy Int. J. Uncertain. Fuzziness Knowl. Based Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Sylvie Thiébaux, Jörg Hoffmann 0001, Bernhard Nebel In defense of PDDL axioms. Search on Bibsonomy Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Chih-Sheng Johnson Hou, Mark A. Musen, Natalya Fridman Noy EZPAL: Environment for composing constraint axioms by instantiating templates. Search on Bibsonomy Int. J. Hum. Comput. Stud. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Robert F. Stärk Axioms for strict and lazy functional programs. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Piotr Kowalski Geometric axioms for existentially closed Hasse fields. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Irina Georgescu Degree of dominance and congruence axioms for fuzzy choice functions. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Daowu Pei Simplification and independence of axioms of fuzzy logic systems IMTL and NM. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Balder ten Cate, Maarten Marx, Jorge Petrucio Viana Hybrid logics with Sahlqvist axioms. Search on Bibsonomy Log. J. IGPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Hans de Nivelle Translation of resolution proofs into short first-order proofs without choice axioms. Search on Bibsonomy Inf. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Alon Altman The PageRank Axioms. Search on Bibsonomy Computing and Markets The full citation details ... 2005 DBLP  BibTeX  RDF
15Marc Ehrig, York Sure Ontology Mapping by Axioms (OMA). Search on Bibsonomy Wissensmanagement The full citation details ... 2005 DBLP  BibTeX  RDF
15Timothy L. Hinrichs, Michael R. Genesereth Axiom Schemata as Metalevel Axioms: Model Theory. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
15Yudong Zai, Bin Liu 0011, Sifeng Liu A new computation model of Grey incidence degree met four axioms and its application in OFR. Search on Bibsonomy SMC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Roberto Bruni, Ivan Lanese, Ugo Montanari Complete Axioms for Stateless Connectors. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Ulrich Clarenz, Nathan Litke, Martin Rumpf Axioms and variational problems in surface parameterization . Search on Bibsonomy Comput. Aided Geom. Des. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15F. S. Mahmoud, M. A. Fath Alla, S. M. Abd Ellah Fuzzy topology on fuzzy sets: fuzzy semicontinuity and fuzzy semiseparation axioms. Search on Bibsonomy Appl. Math. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15M. A. Fath Alla Strong and ultra separation axioms on L-fuzzy topological spaces. Search on Bibsonomy Appl. Math. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Ian Horrocks 0001, Ulrike Sattler Decidability of SHIQ with complex role inclusion axioms. Search on Bibsonomy Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Nobuyuki Sakamoto, Takeshi Yamazaki Uniform versions of some axioms of second order arithmetic. Search on Bibsonomy Math. Log. Q. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Hiroki Suyari Generalization of Shannon-Khinchin Axioms to Nonextensive Systems and the Uniqueness Theorem for the Nonextensive Entropy. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Ulrich Bodenhofer, Frank Klawonn A formal study of linearity axioms for fuzzy orderings. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Manoj Changat, Joseph Mathews Induced path transit function, monotone and Peano axioms. Search on Bibsonomy Discret. Math. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch Unification Modulo ACUI Plus Distributivity Axioms. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF equational unification, counter machines, complexity, decidability, rewriting, set constraints, Post correspondence problem
15Remco Duits, Luc Florack, Jan de Graaf, Bart M. ter Haar Romeny On the Axioms of Scale Space Theory. Search on Bibsonomy J. Math. Imaging Vis. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Sebastian Brandt Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and - What Else? Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
15Tim French 0002, Ron van der Meyden, Mark Reynolds 0001 Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2004 DBLP  BibTeX  RDF
15Thomas Bittner Axioms for parthood and containment relations in bio-ontologies. Search on Bibsonomy KR-MED The full citation details ... 2004 DBLP  BibTeX  RDF
15Marco Bellia, M. Eugenia Occhiuto N-axioms Parallel Unification. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2003 DBLP  BibTeX  RDF
15Michael W. Mislove, Joël Ouaknine, James Worrell 0001 Axioms for Probability and Nondeterminism. Search on Bibsonomy EXPRESS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Andreas Blass, Yuri Gurevich Strong extension axioms and Shelah's zero-one law for choiceless polynomial time. Search on Bibsonomy J. Symb. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Anthony J. H. Simons The Theory of Classification, Part 5: Axioms, Assertions and Subtyping. Search on Bibsonomy J. Object Technol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Albert Atserias Improved bounds on the Weak Pigeonhole Principle and infinitely many primes from weaker axioms. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Fangzhen Lin Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Russell Impagliazzo, Nathan Segerlind Constant-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
15Costas D. Koutras A Catalog of Weak Many-Valued Modal Axioms and their Corresponding Frame Classes. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Khaled A. Hashem, Nehad N. Morsi Fuzzy T-neighbourhood spaces. Part 3: T-separation axioms. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Xudong Luo, Jimmy Ho-Man Lee, Ho-fung Leung, Nicholas R. Jennings Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Igor Aleksander, Barry Dunmall Necessary First-Person Axioms of Neuroconsciousness. Search on Bibsonomy IWANN (1) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Hans de Nivelle Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Renate A. Schmidt, Ullrich Hustadt A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Stephen L. Bloom, Zoltán Ésik Axioms for Regular Words: Extended Abstract. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Ian Horrocks 0001, Ulrike Sattler Decidability of SHIQ with Complex Role Inclusion Axioms. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
15Sylvie Thiébaux, Jörg Hoffmann 0001, Bernhard Nebel In Defense of PDDL Axioms. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
15Costas D. Koutras, Pavlos Peppas Weaker Axioms, More Ranges. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2002 DBLP  BibTeX  RDF
15Yasuo Kanai On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory. Search on Bibsonomy Math. Log. Q. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Pierre-Yves Schobbens, Jean-François Raskin, Thomas A. Henzinger Axioms for real-time logics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Sinisa Crvenkovic, Igor Dolinka On axioms for commutative regular equations without addition. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Larry Wos, Dolph Ulrich, Branden Fitelson XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
15Gerhard Jäger, Thomas Studer Extending the system T0 of explicit mathematics: the limit and Mahlo axioms. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Tomasz Kubiak, Iraide Mardones-Pérez Higher separation axioms in L-topologically generated -topological spaces. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Masahito Hasegawa, Yoshihiko Kakutani Axioms for Recursion in Call-by-Value. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos Short Single Axioms for Boolean Algebra. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Mark Reynolds 0001 Axioms for Branching Time. Search on Bibsonomy J. Log. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Timothy J. Surendonk Canonicity for Intensional Logics with Even Axioms. Search on Bibsonomy J. Symb. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15M. Randall Holmes Strong Axioms of Infinity in NFU. Search on Bibsonomy J. Symb. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Lars Ehlers Independence axioms for the provision of multiple public goods as options. Search on Bibsonomy Math. Soc. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Lars Thorlund-Petersen Third-degree stochastic dominance and axioms for a convex marginal utility function. Search on Bibsonomy Math. Soc. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Ralf Hinze Prolog's Control Constructs in a Functional Setting - Axioms and Implementation. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15David Asperó, Joan Bagaria Bounded forcing axioms and the continuum. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Richard Laver Reflection of elementary embedding axioms on the L[V Lambda+1] hierarchy. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15M. K. El-Gayyar, Etienne E. Kerre, A. A. Ramadan 0001 On smooth topological spaces II: separation axioms. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15F. H. Khedr, Fathei M. Zeyada, Osama Rashed Sayed On separation axioms in fuzzifying topology. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Russell Impagliazzo, Nathan Segerlind Counting Axioms Do Not Polynomially Simulate Counting Gates. Search on Bibsonomy FOCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Albert Atserias Improved Bounds on the Weak Pigeonhole Principle and Infinitely Many Primes from Weaker Axioms. Search on Bibsonomy MFCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Weak Pigeonhole Principle, Proof Complexity, Bounded Arithmetic
15Ralf Schindler Forcing axioms and projective sets of reals. Search on Bibsonomy FotFS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Youngsub Chun Agreement, separability, and other axioms for quasi-linear social choice problems. Search on Bibsonomy Soc. Choice Welf. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Patrick Suppes Quantifier-Free Axioms For Constructive Affine Plane Geometry. Search on Bibsonomy Synth. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Ulrich Bodenhofer A Similarity-Based Generalization of Fuzzy Orderings Preserving the Classical Axioms. Search on Bibsonomy Int. J. Uncertain. Fuzziness Knowl. Based Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel Does mathematics need new axioms? Search on Bibsonomy Bull. Symb. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Jamie Tappenden Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments? Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Toshiyasu Arai, Grigori Mints Extended normal form theorems for logical proofs from axioms. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Ian Horrocks 0001, Stephan Tobies Reasoning with Axioms: Theory and Pratice Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
15Andreas Blass, Yuri Gurevich A New Zero-One Law and Strong Extension Axioms. Search on Bibsonomy Bull. EATCS The full citation details ... 2000 DBLP  BibTeX  RDF
15Stephen J. Willson Axioms for the outcomes of negotiation in matrix games. Search on Bibsonomy Math. Soc. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Jaap van Oosten, Alex K. Simpson Axioms and (counter) examples in synthetic domain theory. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Sheng-Gang Li Separation axioms in L-fuzzy topological spaces (I): T0 and T1. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Alex K. Simpson, Gordon D. Plotkin Complete Axioms for Categorical Fixed-Point Operators. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF iteration theories, fixed points, domain theory, Categorical models
15Michael Thielscher Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms. Search on Bibsonomy Intellectics and Computational Logic The full citation details ... 2000 DBLP  BibTeX  RDF
15Samson Abramsky Axioms for definability and full completeness. Search on Bibsonomy Proof, Language, and Interaction The full citation details ... 2000 DBLP  BibTeX  RDF
15Fangzhen Lin From Causal Theories to Successor State Axioms and STRIPS-Like Systems. Search on Bibsonomy AAAI/IAAI The full citation details ... 2000 DBLP  BibTeX  RDF
15Salem Benferhat, Sébastien Konieczny, Odile Papini, Ramón Pino Pérez Iterated Revision by Epistemic States: Axioms, Semantics and Syntax. Search on Bibsonomy ECAI The full citation details ... 2000 DBLP  BibTeX  RDF
15Ian Horrocks 0001, Stephan Tobies Reasoning with Axioms: Theory and Practice. Search on Bibsonomy KR The full citation details ... 2000 DBLP  BibTeX  RDF
15Michael Wessel, Volker Haarslev, Ralf Möller 0001 ALCRA - ALC with Role Axioms. Search on Bibsonomy Description Logics The full citation details ... 2000 DBLP  BibTeX  RDF
15Gilles Dowek Axioms vs. Rewrite Rules: From Completeness to Cut Elimination. Search on Bibsonomy FroCoS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Ganesan Balasubramanian Fuzzy β-open sets and fuzzy β-separation axioms. Search on Bibsonomy Kybernetika The full citation details ... 1999 DBLP  BibTeX  RDF
15Martin Hyland Variations on Realizability: Simple examples realizing axioms of choice. Search on Bibsonomy Realizability Semantics and Applications@FLoC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Michael Thielscher From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem. Search on Bibsonomy Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Se Hwa Chung Separation axioms for fuzzy syntopogenous spaces. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Ali Kandil, A. A. Nouh, Sobhy A. El-Sheikh Strong and ultra separation axioms of fuzzy bitopological spaces. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Youngsub Chun Equivalence of axioms for bankruptcy problems. Search on Bibsonomy Int. J. Game Theory The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Zoltán Ésik Group Axioms for Iteration. Search on Bibsonomy Inf. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Javier Pinto Compiling Ramification Constraints into Effect Axioms. Search on Bibsonomy Comput. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Sergio Tessaris, Graham Gough ABox Reasoning with Transitive Roles and Axioms. Search on Bibsonomy Description Logics The full citation details ... 1999 DBLP  BibTeX  RDF
15Peter C. Fishburn, Irving H. LaValle Subjective expected lexicographic utility: Axioms and assessment. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
15Sara Negri, Jan von Plato Cut elimination in the presence of axioms. Search on Bibsonomy Bull. Symb. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
15Eduardo L. Fermé, Ricardo Oscar Rodríguez Semi-Contraction: Axioms and Construction. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
15Ming Xu 0023 Axioms for Deliberative Stit. Search on Bibsonomy J. Philos. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
15Tatjana L. Plotkin, Sarit Kraus, Boris I. Plotkin Problems of Equivalence, Categoricity of Axioms and States Description in Databases. Search on Bibsonomy Stud Logica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #901 - #1000 of 4917 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license