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