Search results for "axiomatization"

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