Search results for "axiomatization"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Masaki Saito, Yoshifumi Kusunoki	Axiomatization and Generalization of the Core for Assignment Games on the Complete Graph.	SMC	2018	DBLP DOI BibTeX RDF
17	Martín Diéguez, David Fernández-Duque	An Intuitionistic Axiomatization of 'Eventually'.	Advances in Modal Logic	2018	DBLP BibTeX RDF
17	Yoann Marquer, Frédéric Gava	An Axiomatization for BSP Algorithms.	ICA3PP (3)	2018	DBLP DOI BibTeX RDF
17	Tomasz Was, Oskar Skibski	Axiomatization of the PageRank Centrality.	IJCAI	2018	DBLP DOI BibTeX RDF
17	Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen	Infinitary Axiomatization of the Equational Theory of Context-Free Languages.	Fundam. Informaticae	2017	DBLP DOI BibTeX RDF
17	Gayatri Panicker, Kanduru V. Krishna, Purandar Bhaduri	Axiomatization of if-then-else over possibly non-halting programs and tests.	Int. J. Algebra Comput.	2017	DBLP DOI BibTeX RDF
17	Mustapha Ridaoui, Michel Grabisch, Christophe Labreuche	Axiomatization of an importance index for k-ary games.	CoRR	2017	DBLP BibTeX RDF
17		A Savage-Like Axiomatization for Nonstandard Expected Utility.	CoRR	2017	DBLP BibTeX RDF
17	Xiaodong Pan, Yang Xu 0001	Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization.	CoRR	2017	DBLP BibTeX RDF
17	Gayatri Panicker, Kanduru V. Krishna, Purandar Bhaduri	Axiomatization of if-then-else over monoids of possibly non-halting programs and tests.	CoRR	2017	DBLP BibTeX RDF
17	Alban Ponse, Daan J. C. Staudt	An independent axiomatization for free short-circuit logic.	CoRR	2017	DBLP BibTeX RDF
17	Anssi Yli-Jyrä, Carlos Gómez-Rodríguez	Generic Axiomatization of Families of Noncrossing Graphs in Dependency Parsing.	CoRR	2017	DBLP BibTeX RDF
17	Jaroslaw Szlichta, Parke Godfrey, Lukasz Golab, Mehdi Kargar, Divesh Srivastava	Effective and Complete Discovery of Order Dependencies via Set-based Axiomatization. (PDF / PS)	Proc. VLDB Endow.	2017	DBLP DOI BibTeX RDF
17	Gianluca Paolini	A Finite Axiomatization of G-Dependence.	J. Log. Lang. Inf.	2017	DBLP DOI BibTeX RDF
17	Kyohei Yokomizo	A separable axiomatization of the Gabbay-de Jongh logics.	Log. J. IGPL	2017	DBLP DOI BibTeX RDF
17	Guifei Jiang, Laurent Perrussel, Dongmo Zhang	On Axiomatization of Epistemic GDL.	LORI	2017	DBLP DOI BibTeX RDF
17	Mustapha Ridaoui, Michel Grabisch, Christophe Labreuche	Axiomatization of an Importance Index for Generalized Additive Independence Models.	ECSQARU	2017	DBLP DOI BibTeX RDF
17	Rebecca Tauber, Marcus C. Chibucos	Logical Axiomatization of the Evidence & Conclusion Ontology (ECO) by Integrating External Ontology Classes.	ICBO	2017	DBLP BibTeX RDF
17	Philippe Balbiani, Joseph Boudou	Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork.	DALI@TABLEAUX	2017	DBLP DOI BibTeX RDF
17	Jáchym Barvínek, Filip Zelezný	A First-Order Axiomatization for Transition Learning with Rich Constraints.	ILP (Late Breaking Papers)	2017	DBLP BibTeX RDF
17	David Gabelaia, Kristina Gogoladze, Mamuka Jibladze, Evgeny Kuznetsov, Levan Uridia	An Axiomatization of the d-logic of Planar Polygons.	TbiLLC	2017	DBLP DOI BibTeX RDF
17	Anssi Yli-Jyrä, Carlos Gómez-Rodríguez	Generic Axiomatization of Families of Noncrossing Graphs in Dependency Parsing.	ACL (1)	2017	DBLP DOI BibTeX RDF
17	Jingfeng Lu, Zhe-Wei Wang	Axiomatization of reverse nested lottery contests.	Soc. Choice Welf.	2016	DBLP DOI BibTeX RDF
17	Josep Freixas, Roberto Lucchetti	Power in voting rules with abstention: an axiomatization of a two components power index.	Ann. Oper. Res.	2016	DBLP DOI BibTeX RDF
17	Mariusz Giero	The Axiomatization of Propositional Logic.	Formaliz. Math.	2016	DBLP DOI BibTeX RDF
17	Grigory K. Olkhovikov	A Complete, Correct, and Independent Axiomatization of the First-Order Fragment of a Three-Valued Paraconsistent Logic.	FLAP	2016	DBLP BibTeX RDF
17	Jelle Hellings, Marc Gyssens, Jan Paredaens, Yuqing Wu	Implication and axiomatization of functional and constant constraints.	Ann. Math. Artif. Intell.	2016	DBLP DOI BibTeX RDF
17	Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Anupam Chattopadhyay, Giovanni De Micheli	A Sound and Complete Axiomatization of Majority-n Logic.	IEEE Trans. Computers	2016	DBLP DOI BibTeX RDF
17	Chantal Berline, Klaus Grue	A synthetic axiomatization of Map Theory.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
17	Alberto Gatto 0002	Axiomatization of a Branching Time Logic with Indistinguishability Relations.	J. Philos. Log.	2016	DBLP DOI BibTeX RDF
17	Jaroslaw Szlichta, Parke Godfrey, Lukasz Golab, Mehdi Kargar, Divesh Srivastava	Effective and Complete Discovery of Order Dependencies via Set-based Axiomatization.	CoRR	2016	DBLP BibTeX RDF
17	Mikhail Timonin	Choquet integral in decision analysis - lessons from the axiomatization.	CoRR	2016	DBLP BibTeX RDF
17	Gayatri Panicker, Kanduru V. Krishna, Purandar Bhaduri	Axiomatization of if-then-else over possibly non-halting programs and tests.	CoRR	2016	DBLP BibTeX RDF
17	Yifeng Ding	Axiomatization and complexity of modal logic with knowing-what operator on model class K.	CoRR	2016	DBLP BibTeX RDF
17	Pauline Mornet	On the axiomatization of the weakly decomposable inequality indices.	Math. Soc. Sci.	2016	DBLP DOI BibTeX RDF
17	Hitoshi Omori	A Note on Wansing's expansion of Nelson's logic - a correction to "An axiomatization of Wansing's expansion of Nelson's logic".	Reports Math. Log.	2016	DBLP BibTeX RDF
17	Jeremy F. Alm, Robin Hirsch, Roger D. Maddux	There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation Algebras.	Rev. Symb. Log.	2016	DBLP DOI BibTeX RDF
17	Frederik Van De Putte	Obligation as Weakest Permission: a strongly Complete Axiomatization.	Rev. Symb. Log.	2016	DBLP DOI BibTeX RDF
17	Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds 0001	A complete axiomatization of a temporal logic with obligation and robustness.	J. Log. Comput.	2016	DBLP DOI BibTeX RDF
17	Miika Hannula, Juha Kontinen	A finite axiomatization of conditional independence and inclusion dependencies.	Inf. Comput.	2016	DBLP DOI BibTeX RDF
17	Hubert Garavel	On the Most Suitable Axiomatization of Signed Integers.	WADT	2016	DBLP DOI BibTeX RDF
17	Evangelos Michelioudakis, Anastasios Skarlatidis, Georgios Paliouras, Alexander Artikis	\mathtt OSLα : Online Structure Learning Using Background Knowledge Axiomatization.	ECML/PKDD (1)	2016	DBLP DOI BibTeX RDF
17	Md. Kamruzzaman Sarker, Adila Alfa Krisnadhi, Pascal Hitzler	OWLAx: A Protege Plugin to Support Ontology Axiomatization through Diagramming.	ISWC (Posters & Demos)	2016	DBLP BibTeX RDF
17	Francesc Esteva, Àngel García-Cerdaña, Lluís Godo	Smooth Finite T-norms and Their Equational Axiomatization.	Fuzzy Logic and Information Fusion	2016	DBLP DOI BibTeX RDF
17	Francesco Kriegel	Axiomatization of General Concept Inclusions from Streams of Interpretations with Optional Error Tolerance.	FCA4AI@ECAI	2016	DBLP BibTeX RDF
17	Mikhail Timonin	Conjoint Axiomatization of the Choquet Integral for Heterogeneous Product Sets.	IPMU (1)	2016	DBLP DOI BibTeX RDF
17	Bogdan Chornomaz, Kirill Rukkas, Kseniia Troino	A Complete Axiomatization for Reduced Clock Constraint Specification Language.	ICTERI	2016	DBLP BibTeX RDF
17	Carlos Areces, Raul Fervari	Hilbert-Style Axiomatization for Hybrid XPath with Data.	JELIA	2016	DBLP DOI BibTeX RDF
17	Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare	Complete Axiomatization for the Bisimilarity Distance on Markov Chains.	CONCUR	2016	DBLP DOI BibTeX RDF
17	Shakil M. Khan 0001, Yves Lespérance	Infinite Paths in the Situation Calculus: Axiomatization and Properties.	KR	2016	DBLP BibTeX RDF
17	Kim G. Larsen, Radu Mardare, Bingtian Xue	Probabilistic Mu-Calculus: Decidability and Complete Axiomatization.	FSTTCS	2016	DBLP DOI BibTeX RDF
17	René van den Brink, Yukihiko Funaki	Implementation and axiomatization of discounted Shapley values.	Soc. Choice Welf.	2015	DBLP DOI BibTeX RDF
17	Miklós Pintér	Young's axiomatization of the Shapley value: a new proof.	Ann. Oper. Res.	2015	DBLP DOI BibTeX RDF
17	Denis Bouyssou, Marc Pirlot	A consolidated approach to the axiomatization of outranking relations: a survey and new results.	Ann. Oper. Res.	2015	DBLP DOI BibTeX RDF
17	Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir	A ground-complete axiomatization of stateless bisimilarity over Linda.	Inf. Process. Lett.	2015	DBLP DOI BibTeX RDF
17	Qingjun Luo	Notes on "A survey of fuzzy implication algebras and their axiomatization".	Int. J. Approx. Reason.	2015	DBLP DOI BibTeX RDF
17		Axiomatization of Inconsistency Indicators for Pairwise Comparisons Matrices Revisited.	CoRR	2015	DBLP BibTeX RDF
17	Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Anupam Chattopadhyay, Giovanni De Micheli	A Sound and Complete Axiomatization of Majority-n Logic.	CoRR	2015	DBLP BibTeX RDF
17	Hitoshi Omori	An axiomatization of Wansing's expansion of Nelson's logic.	Reports Math. Log.	2015	DBLP BibTeX RDF
17	Guilong Liu	Special types of coverings and axiomatization of rough sets based on partial orders.	Knowl. Based Syst.	2015	DBLP DOI BibTeX RDF
17	Xiaofeng Wang 0002, Jinshu Su, Baosheng Wang, Guojun Wang, Ho-fung Leung	Trust Description and Propagation System: Semantics and axiomatization.	Knowl. Based Syst.	2015	DBLP DOI BibTeX RDF
17	Koji Yokote	Weak addition invariance and axiomatization of the weighted Shapley value.	Int. J. Game Theory	2015	DBLP DOI BibTeX RDF
17	Francesc Llerena, Marina Núñez, Carles Rafels	An axiomatization of the nucleolus of assignment markets.	Int. J. Game Theory	2015	DBLP DOI BibTeX RDF
17	Francesco Kriegel	Axiomatization of General Concept Inclusions in Probabilistic Description Logics.	KI	2015	DBLP DOI BibTeX RDF
17	Anupam Das 0002, Colin Riba	A Complete Axiomatization of MSO on Infinite Trees.	LICS	2015	DBLP DOI BibTeX RDF
17	Peter H. Schmitt, Mattias Ulbrich	Axiomatization of Typed First-Order Logic.	FM	2015	DBLP DOI BibTeX RDF
17	Joseph Muscat	An axiomatization of filter clustering.	FSKD	2015	DBLP DOI BibTeX RDF
17	Aboubakr Achraf El Ghazi, Mana Taghdiri, Mihai Herda	First-Order Transitive Closure Axiomatization via Iterative Invariant Injections.	NFM	2015	DBLP DOI BibTeX RDF
17	Richard Dapoigny, Patrick Barlatier	A Coq-Based Axiomatization of Tarski's Mereogeometry.	COSIT	2015	DBLP DOI BibTeX RDF
17	Jaroslaw Szlichta, Lukasz Golab, Divesh Srivastava	On Axiomatization and Inference Complexity over a Hierarchy of Functional Dependencies.	AMW	2015	DBLP BibTeX RDF
17	Christoph Hertzberg	3D-sensors: axiomatization, modeling, calibration, localization and mapping.		2015	RDF
17	Eduardo Zambrano	An axiomatization of the human development index.	Soc. Choice Welf.	2014	DBLP DOI BibTeX RDF
17	Waldemar W. Koczkodaj, Ryszard Szwarc	On Axiomatization of Inconsistency Indicators for Pairwise Comparisons.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
17	Edin H. Mulalic, Miomir S. Stankovic, Radomir S. Stankovic	Remarks on the Pseudo-Additivity in the Axiomatization of Tsallis Entropy.	Open Syst. Inf. Dyn.	2014	DBLP DOI BibTeX RDF
17	Samy Jaziri, Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue	Adequacy and Complete Axiomatization for Timed Modal Logic.	MFPS	2014	DBLP DOI BibTeX RDF
17	Daowu Pei	A survey of fuzzy implication algebras and their axiomatization.	Int. J. Approx. Reason.	2014	DBLP DOI BibTeX RDF
17	Kolja B. Knauer, Juan José Montellano-Ballesteros, Ricardo Strausz	A graph-theoretical axiomatization of oriented matroids.	Eur. J. Comb.	2014	DBLP DOI BibTeX RDF
17	Takumi Kongo	An alternative axiomatization of the Hirsch index.	J. Informetrics	2014	DBLP DOI BibTeX RDF
17	Jochen Burghardt	Axiomatization of Finite Algebras.	CoRR	2014	DBLP BibTeX RDF
17	Fabián Riquelme	Satisfaction in societies with opinion leaders and mediators: properties and an axiomatization.	CoRR	2014	DBLP BibTeX RDF
17	Kuniaki Tamura	Completeness of Kozen's Axiomatization for the Modal mu-Calculus: A Simple Proof.	CoRR	2014	DBLP BibTeX RDF
17	Ismail Saglam	A Simple Axiomatization of the egalitarian solution.	IGTR	2014	DBLP DOI BibTeX RDF
17	Aldo V. Figallo, Gustavo Pelaitay	An algebraic axiomatization of the Ewald's intuitionistic tense logic.	Soft Comput.	2014	DBLP DOI BibTeX RDF
17	Ivan Chajda	An algebraic axiomatization of orthogonal posets.	Soft Comput.	2014	DBLP DOI BibTeX RDF
17	Oscar Ortega, Yue Wang	Axiomatization and the antimean function on paths.	Discret. Math. Algorithms Appl.	2014	DBLP DOI BibTeX RDF
17	Ryo Kashima	An axiomatization of ECTL.	J. Log. Comput.	2014	DBLP DOI BibTeX RDF
17	Nikolay V. Shilov 0002	An Approach to Design of Automata-Based Axiomatization for Propositional Program and Temporal Logics (by Example of Linear Temporal Logic).	Logic, Computation, Hierarchies	2014	DBLP DOI BibTeX RDF
17	Markus Wagner 0007	Maximising axiomatization coverage and minimizing regression testing time.	IEEE Congress on Evolutionary Computation	2014	DBLP DOI BibTeX RDF
17	Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu	Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems.	Canadian AI	2014	DBLP DOI BibTeX RDF
17	Miika Hannula, Juha Kontinen	A Finite Axiomatization of Conditional Independence and Inclusion Dependencies.	FoIKS	2014	DBLP DOI BibTeX RDF
17	Jelle Hellings, Marc Gyssens, Jan Paredaens, Yuqing Wu	Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model.	FoIKS	2014	DBLP DOI BibTeX RDF
17	Nan Zhang 0001, Zhenhua Duan, Cong Tian	An Axiomatization for Cylinder Computation Model.	COCOON	2014	DBLP DOI BibTeX RDF
17	M. Josune Albizuri, Annick Laruelle	An axiomatization of success.	Soc. Choice Welf.	2013	DBLP DOI BibTeX RDF
17	René van den Brink, Agnieszka Rusinowska, Frank Steffen	Measuring power and satisfaction in societies with opinion leaders: an axiomatization.	Soc. Choice Welf.	2013	DBLP DOI BibTeX RDF
17	Ying He 0017, James S. Dyer, John C. Butler	On the Axiomatization of the Satiation and Habit Formation Utility Models.	Oper. Res.	2013	DBLP DOI BibTeX RDF
17	S. K. Michael Wong, Z. W. Wang	On Axiomatization of Probabilistic Conditional Independencies	CoRR	2013	DBLP BibTeX RDF
17	Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen	Infinitary Axiomatization of the Equational Theory of Context-Free Languages.	FICS	2013	DBLP DOI BibTeX RDF
17	Miika Hannula, Juha Kontinen	A finite axiomatization of conditional independence and inclusion dependencies.	CoRR	2013	DBLP BibTeX RDF
17	Oskar Skibski, Tomasz P. Michalak, Michael J. Wooldridge	The Shapley Axiomatization for Values in Partition Function Games.	CoRR	2013	DBLP BibTeX RDF
17	Yong Wang	An Axiomatization for Quantum Processes to Unifying Quantum and Classical Computing.	CoRR	2013	DBLP BibTeX RDF