Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|