Search results for "axiomatization"

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