Search results for "axiomatic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Bruno Courcelle	An Axiomatic Approach to the Korenjak-Hopcroft Algorithms.	ICALP	1981	DBLP DOI BibTeX RDF
23	David C. Luckham, Wolfgang Polak	Ada Exception Handling: An Axiomatic Approach.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF	Ada
23	Albert R. Meyer, Joseph Y. Halpern	Axiomatic Definitions of Programming Languages: A Theoretical Assessment.	POPL	1980	DBLP DOI BibTeX RDF
23	Richard P. Reitman, Gregory R. Andrews	Certifying Information Flow Properties of Programs: An Axiomatic Approach.	POPL	1979	DBLP DOI BibTeX RDF	policy certification, concurrency, synchronization, computer security, information flow, proof rules, program validation
19	Caslav Brukner	Quantum complementarity and logical indeterminacy.	Nat. Comput.	2009	DBLP DOI BibTeX RDF	Quantum complementarity, Logical indeterminacy, Mathematical undecidability
19	Pablo Cordero, Manuel Enciso, Ángel Mora 0001, Inmaculada Perez de Guzmán	A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations.	IWANN (1)	2009	DBLP DOI BibTeX RDF
19	Scott Owens, Susmit Sarkar, Peter Sewell	A Better x86 Memory Model: x86-TSO.	TPHOLs	2009	DBLP DOI BibTeX RDF
19	Hung-Fu Chang, Stephen C. Y. Lu	Decomposition and Traceability in Software Design.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
19	Wuming Pan, Bing Guo	Nested Proof Compilation and Proof Checking in Universal Pattern Logic.	RSKT	2009	DBLP DOI BibTeX RDF
19	Marc Pauly	On the role of language in social choice theory.	Synth.	2008	DBLP DOI BibTeX RDF	Logic, Judgment aggregation, Social choice theory
19	Marcos André Gonçalves, Edward A. Fox, Layne T. Watson	Towards a digital library theory: a formal digital library ontology.	Int. J. Digit. Libr.	2008	DBLP DOI BibTeX RDF
19	Caslav Brukner	Quantum Experiments Can Test Mathematical Undecidability.	UC	2008	DBLP DOI BibTeX RDF
19	Guoxing Zhao, Jixin Ma 0001, Fuxing Shen, Miltos Petridis	A Sound and Complete Reified Temporal Logic.	SNPD	2008	DBLP DOI BibTeX RDF	Reified Temporal Logic, Completeness
19	Shifei Ding, Fengxiang Jin	A Novel Fuzzy Likelihood Measure Algorithm.	CSSE (1)	2008	DBLP DOI BibTeX RDF
19	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
19	William M. Farmer	Biform Theories in Chiron.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
19	Patrice Perny, Olivier Spanjaard, Louis-Xavier Storme	A decision-theoretic approach to robust optimization in multivalued graphs.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Lorenz optima, k best solutions, Shortest path, Minimum spanning tree, Robust optimization, Multicriteria optimization
19	Predrag Janicic, Pedro Quaresma	System Description: GCLCprover + GeoThms.	IJCAR	2006	DBLP DOI BibTeX RDF
19	Daniel S. Yeung, Degang Chen 0002, Eric C. C. Tsang, John W. T. Lee, Xizhao Wang	On the generalization of fuzzy rough sets.	IEEE Trans. Fuzzy Syst.	2005	DBLP DOI BibTeX RDF
19	Miki Tanaka, John Power	A unified category-theoretic formulation of typed binding signatures.	MERLIN	2005	DBLP DOI BibTeX RDF	binding signature, pseudo-distributive law, substitution monoidal structure, variable binding, pseudo-monad
19	Xiao-Ping Yang	The Minimization of Axiom Sets Characterizing Generalized Fuzzy Rough Approximation Operators.	FSKD (1)	2005	DBLP DOI BibTeX RDF
19	Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo, Yahya Slimani	IGB: A New Informative Generic Base of Association Rules.	PAKDD	2005	DBLP DOI BibTeX RDF	Generic base, Axio-matic system, Association rules, Galois connection
19	Grace Tsai, Shuhua Wang	Using Program Transformations to Provide Safety Properties for Real-Time Systems.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	fault tolerance, real time systems, formal methods, temporal logic, program verification, executable assertions
19	John F. Lemmer, D. E. Gossink	Recursive noisy OR - a rule for estimating complex probabilistic interactions.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
19	Cristian Calude, Solomon Marcus	Mathematical Proofs at a Crossroad?	Theory Is Forever	2004	DBLP DOI BibTeX RDF
19	Gabriel Aguilera 0001, Pablo Cordero, Manuel Enciso, Ángel Mora 0001, Inmaculada Perez de Guzmán	A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.	SBIA	2004	DBLP DOI BibTeX RDF
19	Ángel Mora 0001, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán	An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm.	CAEPIA	2003	DBLP DOI BibTeX RDF
19	Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu	The Availability Semantics of Predicate Data Flow Diagram.	GCC (2)	2003	DBLP DOI BibTeX RDF
19	Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray	A Specification and Validation Technique Based on STATEMATE and FNLOG.	ICFEM	2002	DBLP DOI BibTeX RDF	Semi-formal methods, Real-time Systems, Verification, Formal methods, Integration, Specification, Temporal logic, Validation
19	Alex K. Simpson, Gordon D. Plotkin	Complete Axioms for Categorical Fixed-Point Operators.	LICS	2000	DBLP DOI BibTeX RDF	iteration theories, fixed points, domain theory, Categorical models
19	Klaus-Dieter Schewe, Bernhard Thalheim	A Generalization of Dijkstra's Calculus to Typed Program Specifications.	FCT	1999	DBLP DOI BibTeX RDF
19	Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard	Multi-Stage Programming: Axiomatization and Type Safety.	ICALP	1998	DBLP DOI BibTeX RDF
19	K. Rustan M. Leino	Recursive Object Types in a Logic of Object-Oriented Programs.	ESOP	1998	DBLP DOI BibTeX RDF
19	Gian Luca Cattani, John Power, Glynn Winskel	A Categorical Axiomatics for Bisimulation.	CONCUR	1998	DBLP DOI BibTeX RDF
19	Peter V. Homeier, David F. Martin	Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator.	TPHOLs	1994	DBLP DOI BibTeX RDF
19	Gian-Luigi Ferrari 0002, Ugo Montanari, Paola Quaglia	A Pi-Calculus with Explicit Substitutions: the Late Semantics.	MFCS	1994	DBLP DOI BibTeX RDF
19	Brian Knight, Jixin Ma 0001	Time representation: A taxonomy of temporal models.	Artif. Intell. Rev.	1993	DBLP DOI BibTeX RDF	time representation, temporal system, semantic analysis, axioms
19	José Meseguer 0001	Multiparadigm Logic Programming.	ALP	1992	DBLP DOI BibTeX RDF
19	Kastytis Gecas	A Compositional Proof System for Distributed Programs.	Baltic Computer Science	1991	DBLP DOI BibTeX RDF
19	Masaki Murakami	Proving Partial Correctness of Guarded Horn Clauses Programs.	LP	1987	DBLP DOI BibTeX RDF
19	Andrzej Salwicki	Axioms of Algorithmic Logic Univocally Determine Semantics of Programs.	MFCS	1980	DBLP DOI BibTeX RDF
19	Hans-Josef Jeanrond	Deciding Unique Termination of Permutative Rewriting Systems: Choose Your Term Algebra Carefully.	CADE	1980	DBLP DOI BibTeX RDF
18	Miguel Torres Ruiz, Serguei Levachkine, Rolando Quintero, Giovanni Guzmán, Marco Moreno 0001	Geospatial information integration based on the conceptualization of geographic domain.	GIS	2008	DBLP DOI BibTeX RDF	axiomatic relationships, geo-ontologies, iGIS, conceptualization
18	Adonai S. Sant'Anna, Gabriel Guerrer	Some problems concerning language and physics.	Synth.	2007	DBLP DOI BibTeX RDF	Axiomatic method, Foundations of physics, Formal language
18	André Minkus, Andreas Nobs, Sören Günther	Structuring Goals and Measures for Information Management.	APMS	2007	DBLP DOI BibTeX RDF	Axiomatic Design Framework, Information Management
18	Siegfried Gottwald	Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches.	Stud Logica	2006	DBLP DOI BibTeX RDF	higher level fuzzy sets, set theoretic universes, axiomatic set theories, categories of fuzzy sets, M-valued sets, fuzzy sets
18	Richard Bradley	Adams Conditionals and Non-Monotonic Probabilities.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	axiomatic probability theory, Adams' Thesis, Conditionals, non-monotonic logic
18	Sandro Morasca, Lionel C. Briand, Victor R. Basili, Elaine J. Weyuker, Marvin V. Zelkowitz	Comments on "Toward a Framework for Software Measurement Validation".	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	measurement scales, software complexity properties, Software measurement, measurement theory, axiomatic approaches
18	Beat Wüthrich	Probabilistic Knowledge Bases.	IEEE Trans. Knowl. Data Eng.	1995	DBLP DOI BibTeX RDF	Axiomatic probability theory, query optimization and approximation, stratified Datalog, data mining, knowledge discovery in databases, incomplete information
18	Tadao Takaoka	Parallel program verification with directed graphs.	SAC	1994	DBLP DOI BibTeX RDF	axiomatic method, logical independence, verification directed graph, parallel program
18	Uday S. Reddy	Programming with sequences.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF	abstract sequences, axiomatic reasoning, eight-queens problem, functional forms, operational reasoning, functional programming, dynamism, variables, recursion, fixed points, Procedural programming
18	Ulrich W. Kulisch	Mathematical Foundation of Computer Arithmetic.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	Axiomatic definition of computer arithmetic, rounding analysis, theory and implementation of computer arithmetic, interval arithmetic, numerical analysis, floating-point arithmetic
14	Angus Hammond, Zongyuan Liu, Thibaut Pérami, Peter Sewell, Lars Birkedal, Jean Pichon-Pharabod	An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
14	Jianzhang Wu 0001, Xue Zhang, Gleb Beliakov	Axiomatic representations for nonadditivity and nonmodularity indices: describing interactions of fuzzy measures.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
14	Adil Baykasoglu, Burcu Felekoglu, Ceylin Ünal	Perceived usability evaluation of learning management systems via axiomatic design with a real life application.	Kybernetes	2024	DBLP DOI BibTeX RDF
14	László Csató	How to choose a completion method for pairwise comparison matrices with missing entries: An axiomatic result.	Int. J. Approx. Reason.	2024	DBLP DOI BibTeX RDF
14	Yao Li, Meiqian Chen, Cong-Cong Li, Yucheng Dong, Francisco Herrera	Measuring Additive Consistency of Linguistic Preference Relations in a Personalized-Individual-Semantics Context: A Systematic Investigation With Axiomatic Design.	IEEE Trans. Syst. Man Cybern. Syst.	2024	DBLP DOI BibTeX RDF
14	Eric Raidl, Andrea Iacona, Vincenzo Crupi 0001	An Axiomatic System for Concessive Conditionals.	Stud Logica	2024	DBLP DOI BibTeX RDF
14	Zhili Feng, Michal Moshkovitz, Dotan Di Castro, J. Zico Kolter	An Axiomatic Approach to Model-Agnostic Concept Explanations.	CoRR	2024	DBLP DOI BibTeX RDF
14	Gijs Bellaard, Sei Sakata, Bart M. N. Smets, Remco Duits	PDE-CNNs: Axiomatic Derivations and Applications.	CoRR	2024	DBLP DOI BibTeX RDF
14	Lekshmi Kamal Kamalolbhavan-Sheela, Jeny Jacob, Manoj Changat	Weakly modular graphs with diamond condition, the interval function and axiomatic characterizations.	CoRR	2024	DBLP DOI BibTeX RDF
14	Guoliang Dong, Jun Sun, Richard Schumi, Bo Wang, Xinyu Wang	PTE: Axiomatic Semantics based Compiler Testing.	CoRR	2024	DBLP DOI BibTeX RDF
14	Shengjie Gong, Lingxiao Huang, Shuangping Huang, Yuyi Wang 0001, Zhiqi Wang, Tao Xiao, Xiang Yan, Chunxue Yang	A Unified Framework of Multi-Stage Multi-Winner Voting: An Axiomatic Exploration.	CoRR	2024	DBLP DOI BibTeX RDF
14	Antonio Palomares, Friedrich Pukelsheim, Victoriano Ramírez-González	Note on axiomatic properties of apportionment methods for proportional representation systems.	Math. Program.	2024	DBLP DOI BibTeX RDF
14	Rafael M. Frongillo, Maneesha Papireddygari, Bo Waggoner	An Axiomatic Characterization of CFMMs and Equivalence to Prediction Markets.	ITCS	2024	DBLP DOI BibTeX RDF
14	Lekshmi Kamal K. Sheela, Manoj Changat, Jeny Jacob	The Weak-Toll Function of a Graph: Axiomatic Characterizations and First-Order Non-definability.	CALDAM	2024	DBLP DOI BibTeX RDF
14	Gagan Biradar, Yacine Izza, Elita Lobo, Vignesh Viswanathan, Yair Zick	Axiomatic Aggregations of Abductive Explanations.	AAAI	2024	DBLP DOI BibTeX RDF
14	Manon Revel, Niclas Boehmer, Rachael Colley, Markus Brill, Piotr Faliszewski, Edith Elkind	Selecting Representative Bodies: An Axiomatic View.	AAMAS	2024	DBLP BibTeX RDF
14	William Thomson	Where should your daughter go to college? An axiomatic analysis.	Soc. Choice Welf.	2023	DBLP DOI BibTeX RDF
14	Zhou-Jing Wang, Shengchun Deng	Comments on "An uncertainty-induced axiomatic foundation of the analytic hierarchy process and its implication".	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
14	Siyu Xu, Keyun Qin, Xiaodong Pan, Chao Fu	Rough set model based on axiomatic fuzzy set.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
14	Sato Kentaro, Jan Walker	Finitist Axiomatic Truth.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
14	Ling-Shan Chou, Hui-Chuan Wei, Ai-Tzu Li, Wei-Ni Wang, Yu-Hsien Liao	Axiomatic Processes for Asymmetric Allocation Rules under Fuzzy Multicriteria Situations.	Axioms	2023	DBLP DOI BibTeX RDF
14	Tomasz Was, Oskar Skibski	Axiomatic characterization of PageRank.	Artif. Intell.	2023	DBLP DOI BibTeX RDF
14	Ismail Kandemir, Kadir Cicek	Development an instructional design model selection approach for maritime education and training using fuzzy axiomatic design.	Educ. Inf. Technol.	2023	DBLP DOI BibTeX RDF
14	Adam Jonsson	An axiomatic approach to Markov decision processes.	Math. Methods Oper. Res.	2023	DBLP DOI BibTeX RDF
14	Bowen Xu	A Model of Sequential Learning based on Non-Axiomatic Logic.	CoRR	2023	DBLP DOI BibTeX RDF
14	Manon Revel, Niclas Boehmer, Rachael Colley, Markus Brill, Piotr Faliszewski, Edith Elkind	Selecting Representative Bodies: An Axiomatic View.	CoRR	2023	DBLP DOI BibTeX RDF
14	Corby Rosset, Guoqing Zheng, Victor Dibia, Ahmed Awadallah 0001, Paul Bennett 0001	Axiomatic Preference Modeling for Longform Question Answering.	CoRR	2023	DBLP DOI BibTeX RDF
14	Daniel Lundström, Meisam Razaviyayn	Four Axiomatic Characterizations of the Integrated Gradients Attribution Method.	CoRR	2023	DBLP DOI BibTeX RDF
14	Gagan Biradar, Yacine Izza, Elita Lobo, Vignesh Viswanathan, Yair Zick	Axiomatic Aggregations of Abductive Explanations.	CoRR	2023	DBLP DOI BibTeX RDF
14	Jonathan Gorard, Julia Dannemann-Freitag	Axiomatic Quantum Field Theory in Discrete Spacetime via Multiway Causal Structure: The Case of Entanglement Entropies.	CoRR	2023	DBLP DOI BibTeX RDF
14	Lara Bargmann, Heike Wehrheim	View-Based Axiomatic Reasoning for PSO (Extended Version).	CoRR	2023	DBLP DOI BibTeX RDF
14	Miguel Monteiro, Fabio De Sousa Ribeiro, Nick Pawlowski, Daniel C. Castro, Ben Glocker	Measuring axiomatic soundness of counterfactual image models.	CoRR	2023	DBLP DOI BibTeX RDF
14	Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski	An Axiomatic Theory for Reversible Computation.	CoRR	2023	DBLP DOI BibTeX RDF
14	Antonielly Garcia Rodrigues, Eduardo Mario Dias	Proofs of valid categorical syllogisms in one diagrammatic and two symbolic axiomatic systems.	CoRR	2023	DBLP DOI BibTeX RDF
14	Gregor Svindland, Alexander Voß	Measures of Resilience to Cyber Contagion - An Axiomatic Approach for Complex Systems.	CoRR	2023	DBLP DOI BibTeX RDF
14	Rafael M. Frongillo, Maneesha Papireddygari, Bo Waggoner	An Axiomatic Characterization of CFMMs and Equivalence to Prediction Markets.	CoRR	2023	DBLP DOI BibTeX RDF
14	Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, Nicolas Maudet	An empirical and axiomatic comparison of ranking-based semantics for abstract argumentation.	J. Appl. Non Class. Logics	2023	DBLP DOI BibTeX RDF
14	Qiu Jin, Lingqiang Li	Several L-fuzzy variable precision rough sets and their axiomatic characterizations.	Soft Comput.	2023	DBLP DOI BibTeX RDF
14	Yan Sun, Bin Pang 0004, Ju-Sheng Mi	Axiomatic characterizations of (	Int. J. Gen. Syst.	2023	DBLP DOI BibTeX RDF
14	Qiu Jin, Lingqiang Li	The axiomatic characterization on fuzzy variable precision rough sets based on residuated lattice.	Int. J. Gen. Syst.	2023	DBLP DOI BibTeX RDF
14	Samson Abramsky, Luca Reggio	Arboreal Categories: An Axiomatic Theory of Resources.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
14	Shinichi Ishihara, Junnosuke Shino	Some Properties of Interval Shapley Values: An Axiomatic Analysis.	Games	2023	DBLP DOI BibTeX RDF
14	Qinghua Liu, Jiadui Chen, Kai Yang, Dan Liu, Ling He, Qing Qin, Yuqing Wang	An integrating spherical fuzzy AHP and axiomatic design approach and its application in human-machine interface design evaluation.	Eng. Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
14	George Georgescu	Reticulation of an integral complete l-groupoid: An axiomatic approach.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
14	James Fullwood	An Axiomatic Characterization of Mutual Information.	Entropy	2023	DBLP DOI BibTeX RDF
14	Paul W. Wilson 0002, Fabio Zanasi	An axiomatic approach to differentiation of polynomial circuits.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
14	Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere	Reconciling transparency, low Δ0-complexity and axiomatic weakness in undecidability proofs.	J. Log. Comput.	2023	DBLP DOI BibTeX RDF
14	Sylvain Béal, Stéphane Gonzalez, Philippe Solal, Peter Sudhölter	Axiomatic characterizations of the core without consistency.	Int. J. Game Theory	2023	DBLP DOI BibTeX RDF