Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Yukiyoshi Kameyama |
Axioms for control operators in the CPS hierarchy. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Type system, Axiomatization, Delimited continuation, CPS translation, Control operator |
20 | Marc Aiguier, Diane Bahrami |
Structures for Abstract Rewriting. |
J. Autom. Reason. |
2007 |
DBLP DOI BibTeX RDF |
abstract rewriting, abstract deduction procedure, abstract completion procedure, rewrite system, axiomatization |
20 | Nick Bezhanishvili, Ian M. Hodkinson |
All Normal Extensions of S5-squared Are Finitely Axiomatizable. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
finite axiomatization, better-quasi-ordering, NP-complete, modal logic |
20 | Victor Pambuccian |
The Simplest Axiom System for Plane Hyperbolic Geometry. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
constructive axiomatization, simplicity, Hyperbolic geometry, Euclidean geometry |
20 | Pierre Genevès, Jean-Yves Vion-Dury |
Logic-based XPath optimization. |
ACM Symposium on Document Engineering |
2004 |
DBLP DOI BibTeX RDF |
optimization, XML, efficiency, query, XPath, containment, axiomatization |
20 | Mario Bravetti, Roberto Gorrieri |
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
ST bisimulation, noninterleaving semantics, process algebra, axiomatization, Action refinement |
20 | Miguel Felder, Dino Mandrioli, Angelo Morzenti |
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
property proving, logical specifications, TRIO, Hoare method, dual language, real-time systems, real-time systems, embedded systems, formal specification, formal specification, Petri nets, temporal logic, temporal logic, theorem proving, first-order logic, timed Petri net, formal analysis, axiomatization |
17 | Francesco Kriegel |
Efficient Axiomatization of OWL 2 EL Ontologies from Data by Means of Formal Concept Analysis. |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti |
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Minna Hirvonen |
Axiomatization of Implication for Probabilistic Independence and Unary Variants of Marginal Identity and Marginal Distribution Equivalence. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Hao Wu, Huan Long |
Probabilistic weak bisimulation and axiomatization for probabilistic models. |
Inf. Process. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | John L. Bell |
Axiomatization and Completeness for Some Restricted Second-Order Languages. |
J. Multiple Valued Log. Soft Comput. |
2023 |
DBLP BibTeX RDF |
|
17 | Yaoliang Xu, Dandan Zou, Lingqiang Li |
The Single Axiomatization on CCRL-Fuzzy Rough Approximation Operators and Related Fuzzy Topology. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Tao Liu, Wenrong Lyu, Xun-Feng Hu 0001, Erfang Shan |
Corrigendum to "A new axiomatization of the Shapley-solidarity value for games with a coalition structure" [Oper. Res. Lett. 46 (2018) 163-167]. |
Oper. Res. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Lélio Brun, Christophe Garion, Pierre-Loïc Garoche, Xavier Thirioux |
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation. |
ACM Trans. Embed. Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti |
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Fausto Barbero, Jonni Virtema |
Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Qian Chen, Dazhu Li |
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Yuanrui Zhang, Xinxin Liu |
Image Reflection on LLEE Charts - Another Proof for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Nathalie Jorzik |
Axiomatization and Core Stability of Allocation Rules for Hypergraph Situations. |
IGTR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Rojo Fanamperana Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets |
Impure Simplicial Complexes: Complete Axiomatization. |
Log. Methods Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Tolulope Fadina, Peng Liu 0043, Ruodu Wang |
One Axiom to Rule Them All: A Minimalist Axiomatization of Quantiles. |
SIAM J. Financial Math. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Qian Chen, Dazhu Li |
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability. |
DaLí |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Penghao Du, Qian Chen |
Axiomatization of Hybrid Logic of Link Variations. |
DaLí |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Haruki Kono, Kota Saito, Alec Sandroni |
Axiomatization of Random Utility Model with Unobservable Alternatives. |
EC |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Fausto Barbero, Jonni Virtema |
Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals. |
JELIA |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Gildas Sédry Fopa, Issofa Moyouwou, Joseph Siani |
Axiomatization of the counting rule for cost-sharing with possibly redundant items. |
Soc. Choice Welf. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Zurab Janelidze, Ineke van der Berg |
A Dedekind-Style Axiomatization and the Corresponding Universal Property of an Ordinal Number System. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Mohd Razip Bajuri, Zailan Siri, Mohd Nor Syahrir Abdullah |
Mathematical Modeling Research Output Impacting New Technological Development: An Axiomatization to Build Novelty. |
Axioms |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Dafa Li |
Simplifying the axiomatization for the order affine geometry. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Jérémie Chalopin, Manoj Changat, Victor Chepoi, Jeny Jacob |
First-order logic axiomatization of metric graph theory. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Max Sklar |
Relative Probability on Finite Outcome Spaces: A Systematic Examination of its Axiomatization, Properties, and Applications. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Rojo Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets |
Impure Simplicial Complexes: Complete Axiomatization. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Fabio Bellini, Ilaria Peri |
Short Communication: An Axiomatization of $\Lambda$-Quantiles. |
SIAM J. Financial Math. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Luciano J. González |
An alternative proof of the Hilbert-style axiomatization for the $\{\wedge , \vee \}$-fragment of classical propositional logic. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Somayeh Chopoghloo, Morteza Moniri |
An infinitary axiomatization of dynamic topological logic. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Jorge Fandinno, Zachary Hansen, Yuliya Lierler |
Axiomatization of Aggregates in Answer Set Programming. |
AAAI |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Péter Csóka, P. Jean-Jacques Herings |
An Axiomatization of the Proportional Rule in Financial Networks. |
Manag. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Raúl Pérez-Fernández, Gustavo Ochoa, Susana Montes, Irene Díaz, Javier Fernández 0002, Daniel Paternain, Humberto Bustince |
Axiomatization and construction of orness measures for aggregation functions. |
Int. J. Intell. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Yuri N. Lovyagin, Nikita Y. Lovyagin |
Finite Arithmetic Axiomatization for the Basis of Hyperrational Non-Standard Analysis. |
Axioms |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Munqath Alattar, Attila Sali |
Toward an Axiomatization of Strongly Possible Functional Dependencies. |
Vietnam. J. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Stefano Bonzio, Michele Pra Baldi |
Containment Logics: Algebraic Completeness and Axiomatization. |
Stud Logica |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Ricardo Oscar Rodríguez, Amanda Vidal |
Axiomatization of Crisp Gödel Modal Logic. |
Stud Logica |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Frederik Van De Putte, Dominik Klein 0004 |
Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability. |
Stud Logica |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Mateusz Klonowski |
Axiomatization of Some Basic and Modal Boolean Connexive Logics. |
Logica Universalis |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Wim Laurier, Satoshi Horiuchi, Monique Snoeck |
An Executable Axiomatization of the REA2 Ontology. |
J. Inf. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Michael Roberts, Alexei Kopylov, Aleksey Nogin |
Semantics and Axiomatization for Stochastic Differential Dynamic Logic. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Bruno Courcelle |
Axiomatization of betweenness in order-theoretic trees. |
Log. Methods Comput. Sci. |
2021 |
DBLP BibTeX RDF |
|
17 | Yaroslav Shramko |
Hilbert-style axiomatization of first-degree entailment and a family of its extensions. |
Ann. Pure Appl. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Somayeh Chopoghloo, Morteza Moniri |
A strongly complete axiomatization of intuitionistic temporal logic. |
J. Log. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Shengyang Zhong |
A General Relational Semantics of Propositional Logic: Axiomatization. |
WoLLIC |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Mathias Claus Jensen, Kim Guldstrand Larsen |
A complete axiomatization of weighted branching bisimulation. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Frédéric Gava, Yoann Marquer |
Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution. |
Int. J. Parallel Program. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Xinfeng Shu, Zhenhua Duan, Hongwei Du 0001 |
A decision procedure and complete axiomatization for projection temporal logic. |
Theor. Comput. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Zvi Retchkiman Königsberg |
Axiomatization, Computability and Stability for Discrete Event Time Algorithms. |
Computación y Sistemas |
2020 |
DBLP DOI BibTeX RDF |
|
17 | André Platzer, Yong Kiam Tan |
Differential Equation Invariance Axiomatization. |
J. ACM |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Nicholas Pischke |
A Note on Strong Axiomatization of Gödel Justification Logic. |
Stud Logica |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Bruno Courcelle |
Axiomatization of betweenness in order-theoretic trees. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir |
An axiomatization of verdict equivalence over regular monitors. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | Yaroslav I. Petrukhin |
Axiomatization of non-associative generalisations of Hájek's BL and psBL. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Miroslav Hudec, Radko Mesiar |
The axiomatization of asymmetric disjunction and conjunction. |
Inf. Fusion |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda |
Computer-Supported Exploration of a Categorical Axiomatization of Modeloids. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Hitoshi Omori, Daniel Skurt |
A Semantics for a Failed Axiomatization of K. |
AiML |
2020 |
DBLP BibTeX RDF |
|
17 | Dmitry E. Palchunov |
Axiomatization of Classes of Domain Cases Based on FCA. |
RCAI |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Christian Doczkal, Damien Pous |
Completeness of an axiomatization of graph isomorphism via graph rewriting in Coq. |
CPP |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Evgeny Kolmakov, Lev D. Beklemishev |
Axiomatization of Provable n-Provability. |
J. Symb. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith 0001 |
An axiomatization of information flow measures. |
Theor. Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Neil Tennant |
On Tarski's Axiomatization of Mereology. |
Stud Logica |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Jaksa Cvitanic, Drazen Prelec, Sonja Radas, Hrvoje Sikic |
Game of Duels: Information-Theoretic Axiomatization of Scoring Rules. |
IEEE Trans. Inf. Theory |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Xuefeng Wen |
On Axiomatization of Lewis' Conditional Logics. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Sascha Kurz, Issofa Moyouwou, Hilaire Touyem |
An Axiomatization of the Shapley-Shubik Index for Interval Decisions. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Rasoul Ramezanian |
A Formal Axiomatization of Computation. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | André Platzer, Yong Kiam Tan |
Differential Equation Invariance Axiomatization. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda |
Computer-supported Exploration of a Categorical Axiomatization of Modeloids. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Giulia Bernardi, Josep Freixas |
An Axiomatization for Two Power Indices for (3, 2)-Simple Games. |
IGTR |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Mark Voorneveld |
An axiomatization of the Nash equilibrium concept. |
Games Econ. Behav. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yoann Marquer, Frédéric Gava |
Axiomatization and characterization of BSP algorithms. |
J. Log. Algebraic Methods Program. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Balbiani, Joseph Boudou |
Axiomatization and computability of a variant of iteration-free PDL with fork. |
J. Log. Algebraic Methods Program. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Jan Friso Groote, Erik P. de Vink |
An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice. |
From Software Engineering to Formal Methods and Tools, and Back |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Rob J. van Glabbeek, Jan Friso Groote, Erik P. de Vink |
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract). |
The Art of Modelling Computational Systems |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Milius, Henning Urbat |
Equational Axiomatization of Algebras with Structure. |
FoSSaCS |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Christophe Labreuche |
An axiomatization of the Choquet integral in the context of multiple criteria decision making without any commensurability assumption. |
Ann. Oper. Res. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare |
Complete Axiomatization for the Total Variation Distance of Markov Chains. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Xun-Feng Hu 0001, Deng-Feng Li 0001 |
A new axiomatization of a class of equal surplus division values for TU games. |
RAIRO Oper. Res. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Zuoming Yu, Jinjin Li 0001, Pei Wang, Yan-Lan Zhang, Ziqiu Yun |
Axiomatization of covering-based approximation operators generated by general or irreducible coverings. |
Int. J. Approx. Reason. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Waldemar W. Koczkodaj, Roman Urban |
Axiomatization of inconsistency indicators for pairwise comparisons. |
Int. J. Approx. Reason. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Loutfi Zerarga, Yassine Djouadi |
A many-sorted theory proposal for information retrieval: axiomatization and semantics. |
Knowl. Inf. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Xun-Feng Hu 0001, Deng-Feng Li 0001 |
A new axiomatization of the Shapley-solidarity value for games with a coalition structure. |
Oper. Res. Lett. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Milius, Henning Urbat |
Equational Axiomatization of Algebras with Structure. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
17 | André Platzer, Yong Kiam Tan |
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
17 | Md. Kamruzzaman Sarker, Adila Alfa Krisnadhi, Pascal Hitzler |
OWLAx: A Protege Plugin to Support Ontology Axiomatization through Diagramming. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
17 | Xiaodong Pan, Yang Xu 0001 |
Correction to: Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization. |
Soft Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Xiaodong Pan, Yang Xu 0001 |
Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization. |
Soft Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Fangfang Zhao, Lingqiang Li |
Axiomatization on generalized neighborhood system-based rough sets. |
Soft Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Sylvain Béal, Sylvain Ferrières, Eric Rémila, Philippe Solal |
Axiomatization of an allocation rule for ordered tree TU-games. |
Math. Soc. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Geoffroy de Clippel |
Membership separability: A new axiomatization of the Shapley value. |
Games Econ. Behav. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Laurent Mathevet |
An axiomatization of plays in repeated games. |
Games Econ. Behav. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Balbiani, Joseph Boudou |
Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization. |
J. Log. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
17 | André Platzer, Yong Kiam Tan |
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Tomasz Was, Oskar Skibski |
An Axiomatization of the Eigenvector and Katz Centralities. |
AAAI |
2018 |
DBLP DOI BibTeX RDF |
|