Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Waldemar W. Koczkodaj, Ryszard Szwarc |
On Axiomatization of Inconsistency Indicators in Pairwise Comparisons. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
17 | Pavel Naumov, Brittany Nicholls |
R.E. Axiomatization of Conditional Independence. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
17 | Henry Martyn Mulder, Beth Novick |
A tight axiomatization of the median procedure on median graphs. |
Discret. Appl. Math. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Petr Cintula, Rostislav Horcík, Carles Noguera |
Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties. |
Rev. Symb. Log. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Pavel Naumov, Brittany Nicholls |
R.E. Axiomatization of Conditional Independence. |
TARK |
2013 |
DBLP BibTeX RDF |
|
17 | Eleftherios Matsikoudis, Edward A. Lee |
An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan Gordon 0001, Lenhart K. Schubert |
WordNet Hierarchy Axiomatization and the Mass-Count Distinction. |
ICSC |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Yanjing Wang 0001, Guillaume Aucher |
An Alternative Axiomatization of DEL and Its Applications. |
IJCAI |
2013 |
DBLP BibTeX RDF |
|
17 | David Fernández-Duque |
A sound and complete axiomatization for Dynamic Topological Logic. |
J. Symb. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Jeremy Pitt, Julia Schaumeier, Alexander Artikis |
Axiomatization of Socio-Economic Principles for Self-Organizing Institutions: Concepts, Experiments and Challenges. |
ACM Trans. Auton. Adapt. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Radu Mardare, Luca Cardelli, Kim G. Larsen |
Continuous Markovian Logics - Axiomatization and Quantified Metatheory |
Log. Methods Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | David Fernández-Duque |
A sound and complete axiomatization for Dynamic Topological Logic |
CoRR |
2012 |
DBLP BibTeX RDF |
|
17 | Phan Hong Giang |
A new axiomatization for likelihood gambles. |
CoRR |
2012 |
DBLP BibTeX RDF |
|
17 | André Platzer |
A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems |
Log. Methods Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Luís Cândido Dias, Paula Sarabando |
A Note on a Group Preference Axiomatization with Cardinal Utility. |
Decis. Anal. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Erich-Peter Klement, Radko Mesiar |
On the axiomatization of some classes of discrete universal integrals. |
Knowl. Based Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Patrick Bosc, Olivier Pivert |
On four noncommutative fuzzy connectives and their axiomatization. |
Fuzzy Sets Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Olivier Bournez, Nachum Dershowitz, Evgenia Falkovich |
Towards an Axiomatization of Simple Analog Algorithms. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Adam Grabowski |
Computer-Driven Searching for Axiomatization of Rough Sets. |
CS&P |
2012 |
DBLP BibTeX RDF |
|
17 | Christophe Labreuche |
An Axiomatization of the Choquet Integral and Its Utility Functions without Any Commensurability Assumption. |
IPMU (4) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Jacek Mercik |
On Axiomatization of Power Index of Veto. |
ICCCI (2) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Colin Riba |
A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words. |
IFIP TCS |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Ming-Fen Wu, Hao-Han Han, Yan-Fei Si |
Properties and axiomatization of fuzzy rough sets based on fuzzy covering. |
ICMLC |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Hsing-chien Tsai |
First-order axiomatization of rough mereology. |
GrC |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Kolja B. Knauer, Juan José Montellano-Ballesteros, Ricardo Strausz |
A graph-theoretical axiomatization of oriented matroids. |
Electron. Notes Discret. Math. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Alexandra Silva 0001, Ana Sokolova |
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Ziqiu Yun, Xun Ge, Xiaole Bai |
Axiomatization and conditions for neighborhoods in a covering to form a partition. |
Inf. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Mariusz Giero |
The Axiomatization of Propositional Linear Time Temporal Logic. |
Formaliz. Math. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane |
Metrics for weighted transition systems: Axiomatization and complexity. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry |
Applying causality principles to the axiomatization of probabilistic cellular automata |
CoRR |
2011 |
DBLP BibTeX RDF |
|
17 | Philippe Balbiani |
Axiomatization and completeness of lexicographic products of modal logics. |
J. Appl. Non Class. Logics |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Henry Martyn Mulder, Beth Novick |
An axiomatization of the median procedure on the n-cube. |
Discret. Appl. Math. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Patrick Bosc, Olivier Pivert |
On three fuzzy connectives for flexible data retrieval and their axiomatization. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Fritz Henglein, Lasse Nielsen |
Regular expression containment: coinductive axiomatization and computational interpretation. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry |
Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Hélène Soubaras |
Towards an Axiomatization for the Generalization of the Kullback-Leibler Divergence to Belief Functions. |
EUSFLAT Conf. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Luca Cardelli, Kim G. Larsen, Radu Mardare |
Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
17 | S. Z. Alparslan Gök, Rodica Branzei, Stef Tijs |
The interval Shapley value: an axiomatization. |
Central Eur. J. Oper. Res. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Dragan Doder, Zoran Ognjanovic, Zoran Markovic |
An Axiomatization of a First-order Branching Time Temporal Logic. |
J. Univers. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Jasper Berendsen, David N. Jansen, Julien Schmaltz, Frits W. Vaandrager |
The axiomatization of override and update. |
J. Appl. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Murdoch James Gabbay, Aad Mathijssen |
A Nominal Axiomatization of the Lambda Calculus. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Yoshio Kamijo, Takumi Kongo |
Axiomatization of the Shapley value using the balanced cycle contributions property. |
Int. J. Game Theory |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Isil Dillig, Thomas Dillig, Alex Aiken |
Symbolic heap abstraction with demand-driven axiomatization of memory invariants. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Nikolay V. Shilov 0002 |
Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic. |
PSPL@LICS |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Javier Álvez, Francisco Javier López-Fraguas |
A Complete Axiomatization of Strict Equality. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Amélie Gheerbrant |
Complete Axiomatization of the Stutter-invariant Fragment of the Linear Time mu-calculus. |
Advances in Modal Logic |
2010 |
DBLP BibTeX RDF |
|
17 | Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre |
Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving. |
STAIRS |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Yukiyoshi Kameyama, Asami Tanaka |
Equational axiomatization of call-by-name delimited control. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Xiaonan Li, Sanyang Liu |
A new approach to the axiomatization of rough sets. |
FSKD |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Hong-Xia Sun, Qiang Zhang |
Axiomatization of Fuzzy Core in Games with Fuzzy Coalition. |
ACFIE |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Moshe Koppel, Abraham Diskin |
Measuring disproportionality, volatility and malapportionment: axiomatization and solutions. |
Soc. Choice Welf. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | István Németi, András Simon |
Weakly higher order cylindric algebras and finite axiomatization of the representables. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
quasi-projective relation algebra, non-well-founded set theory, finitization problem, algebraic logic, cylindric algebra |
17 | Julio González-Díaz, Estela Sánchez-Rodríguez |
Towards an axiomatization of the core-center. |
Eur. J. Oper. Res. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Mingfen Wu |
Algorithm and axiomatization of rough fuzzy sets based finite dimensional fuzzy vectors. |
Frontiers Comput. Sci. China |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Taolue Chen, Jian Lu |
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration. |
FICS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Nachum Dershowitz, Yuri Gurevich |
A Natural Axiomatization of Computability and Proof of Church's Thesis. |
Bull. Symb. Log. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Toon Calders |
Itemset frequency satisfiability: Complexity and axiomatization. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Miklós Pintér |
Young's axiomatization of the Shapley value - a new proof -- full version |
CoRR |
2008 |
DBLP BibTeX RDF |
|
17 | Aoi Honda, Michel Grabisch |
An axiomatization of entropy of capacities on set systems. |
Eur. J. Oper. Res. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Antoine Billot, Itzhak Gilboa, David Schmeidler |
Axiomatization of an exponential similarity function. |
Math. Soc. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | John K. Dagsvik |
Axiomatization of stochastic models for choice under uncertainty. |
Math. Soc. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, Cristina Sernadas |
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification. |
J. Log. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jerry den Hartog |
Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic. |
Sci. Comput. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Aoi Honda, Yoshiaki Okazaki |
Axiomatization of Shapley Values of Fagle and Kern Type on Set Systems. |
J. Adv. Comput. Intell. Intell. Informatics |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Mihaiela Lupea |
Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Zhenhua Duan, Nan Zhang 0001 |
A Complete Axiomatization of Propositional Projection Temporal Logic. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
temporal logic, completeness, projection, inference rules, axiom |
17 | Geoffroy de Clippel |
An axiomatization of the Nash bargaining solution. |
Soc. Choice Welf. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Éric Badouel, Jules Chenou, Goulven Guillou |
An Axiomatization of the Token Game Based on Petri Algebras. |
Fundam. Informaticae |
2007 |
DBLP BibTeX RDF |
|
17 | Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman |
Interactive Small-Step Algorithms I: Axiomatization |
CoRR |
2007 |
DBLP BibTeX RDF |
|
17 | Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman |
Interactive Small-Step Algorithms I: Axiomatization. |
Log. Methods Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Ray E. Jennings, Dorian X. Nicholson |
An axiomatization of family resemblance. |
J. Appl. Log. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Francesc Esteva, Joan Gispert, Lluís Godo, Carles Noguera |
Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results. |
Fuzzy Sets Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Thierry Marchant |
A Measurement-Theoretic Axiomatization of Trapezoidal Membership Functions. |
IEEE Trans. Fuzzy Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Gui-Long Liu |
The Axiomatization of the Rough Set Upper Approximation Operations. |
Fundam. Informaticae |
2006 |
DBLP BibTeX RDF |
|
17 | Taolue Chen, Tingting Han 0001, Jian Lu 0001 |
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence. |
Acta Cybern. |
2006 |
DBLP BibTeX RDF |
|
17 | Dan E. Willard |
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency. |
J. Symb. Log. |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Nicolas Guzy, Cédric Rivière |
Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields. |
Notre Dame J. Formal Log. |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Valentin Goranko, Govert van Drimmelen |
Complete axiomatization and decidability of Alternating-time temporal logic. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Vladimir D. Noghin |
An axiomatization of the generalized Edgeworth-Pareto principle in terms of choice functions. |
Math. Soc. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Patrick Bosc, Olivier Pivert |
About approximate inclusion and its axiomatization. |
Fuzzy Sets Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Mark Voorneveld, Willemien Kets, Henk Norde |
An Axiomatization of Minimal Curb Sets. |
Int. J. Game Theory |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Paulo Mateus, Amílcar Sernadas |
Weakly complete axiomatization of exogenous quantum propositional logic. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Kamal Aboul-Hosn |
An Axiomatization of Arrays for Kleene Algebra with Tests. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Radim Belohlávek, Vilém Vychodil |
Axiomatization of Fuzzy Attribute Logic over Complete Residuated Lattices. |
JCIS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Phan Hong Giang |
A New Axiomatization for Likelihood Gambles. |
UAI |
2006 |
DBLP BibTeX RDF |
|
17 | Mauricio Osorio 0001, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada |
An Axiomatization of G'3. |
LoLaCOM |
2006 |
DBLP BibTeX RDF |
|
17 | Khalil Djelloul, Thi-Bich-Hanh Dao |
Complete First-Order Axiomatization of Finite or Infinite M-extended Trees. |
WLP |
2006 |
DBLP BibTeX RDF |
|
17 | Bart Van Gasse, Chris Cornelis, Glad Deschrijver, Etienne E. Kerre |
Triangle Algebras: Towards an Axiomatization of Interval-Valued Residuated Lattices. |
RSCTC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Eyal Baharad, Shmuel Nitzan |
The inverse plurality rule - an axiomatization. |
Soc. Choice Welf. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Giovanna D'Agostino, Giacomo Lenzi |
An axiomatization of bisimulation quantifiers via the mu-calculus. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik |
CCS with Hennessy's merge has no finite-equational axiomatization. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Guram Bezhanishvili, Leo Esakia, David Gabelaia |
Some Results on Modal Axiomatization and Definability for Topological Spaces. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
topological semantics, submaximal spaces, Modal logic |
17 | Paulo Mateus, Amílcar Sernadas |
Weakly complete axiomatization of exogenous quantum propositional logic |
CoRR |
2005 |
DBLP BibTeX RDF |
|
17 | Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik |
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge |
CoRR |
2005 |
DBLP BibTeX RDF |
|
17 | Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik |
Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge. |
Log. Methods Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | B. K. Tyagi, Ahmad Sharfuddin, R. N. Dutta, Devendra K. Tayal |
A complete axiomatization of fuzzy functional dependencies using fuzzy function. |
Fuzzy Sets Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Manabu Toda |
Axiomatization of the core of assignment games. |
Games Econ. Behav. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Vincent Astier, Marcus Tressl |
Axiomatization of local-global principles for pp-formulas in spaces of orderings. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
Spaces of orderings, Special groups, Positive-primitive formulas, Local-global principles, Isotropy theorem, Model theory, Quadratic forms |
17 | Sergiu Hart |
An axiomatization of the consistent non-transferable utility value. |
Int. J. Game Theory |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Mark Voorneveld, Willemien Kets, Henk Norde |
An axiomatization of minimal curb sets. |
Int. J. Game Theory |
2005 |
DBLP DOI BibTeX RDF |
|