Search results for "axiomatization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Philippe Balbiani	Axiomatization and Completeness of Lexicographic Products of Modal Logics.	FroCos	2009	DBLP DOI BibTeX RDF	lexicographic product, axiomatization/completeness, Modal logic
3	Yukiyoshi Kameyama, Masahito Hasegawa	A sound and complete axiomatization of delimited continuations.	ICFP	2003	DBLP DOI BibTeX RDF	continuation, axiomatization, CPS-translation
3	Szymon Jaroszewicz, Dan A. Simovici	On Axiomatization of Conditional Entropy of Functions Between Finite Sets. (PDF / PS)	ISMVL	1999	DBLP DOI BibTeX RDF	functions between finite sets, entropy, axiomatization, logic functions, conditional entropy
3	Michael Kifer	On the Decidability and Axiomatization of Query Finiteness in Deductive Databases.	J. ACM	1998	DBLP DOI BibTeX RDF	finite queries, finiteness constraints, horizontal decompositions, partial constraints, query processing, computability, axiomatization
3	Reiner Hähnle	Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. (PDF / PS)	ISMVL	1996	DBLP DOI BibTeX RDF	commodious axiomatization, distribution quantifiers, lattice-based quantifiers, skolemized signed formulas, Boolean set lattices, Boolean functions, filters, multivalued logic, multiple-valued logic, quantifiers
2	Daniel Kifer, Bing-Rong Lin	Towards an axiomatization of statistical privacy and utility.	PODS	2010	DBLP DOI BibTeX RDF	privacy, utility, axioms
2	Luca Aceto, Anna Ingólfsdóttir	The Saga of the Axiomatization of Parallel Composition.	CONCUR	2007	DBLP DOI BibTeX RDF
2	Aoi Honda, Yoshiaki Okazaki	An Axiomatization of Shapley Values of Games on Set Systems.	MDAI	2007	DBLP DOI BibTeX RDF
2	Didier Dubois, Hélène Fargier, Barbara Vantaggi	An Axiomatization of Conditional Possibilistic Preference Functionals.	ECSQARU	2007	DBLP DOI BibTeX RDF
2	Dan A. Simovici	On the Axiomatization of Generalized Entropic Metrics.	ISMVL	2007	DBLP DOI BibTeX RDF
2	Zhiguo Zhang, Yunfei Jiang	Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization.	APPT	2007	DBLP DOI BibTeX RDF	Parallel actions, First-order logic, Expressiveness, Dynamic logic, Axiomatization
2	Mika Cohen, Mads Dam	A Complete Axiomatization of Knowledge and Cryptography.	LICS	2007	DBLP DOI BibTeX RDF
2	Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir	Ready to Preorder: Get Your BCCSP Axiomatization for Free!	CALCO	2007	DBLP DOI BibTeX RDF
2	Walker M. White, Mirek Riedewald, Johannes Gehrke, Alan J. Demers	What is "next" in event processing?	PODS	2007	DBLP DOI BibTeX RDF	events, axiomatization, temporal models
2	Stephen J. Hegner	The complexity of embedded axiomatization for a class of closed database views.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	complexity, database, view
2	Shuvendu K. Lahiri, Shaz Qadeer	Verifying properties of well-founded linked lists.	POPL	2006	DBLP DOI BibTeX RDF	first-order axiomatization, heap abstraction, well-founded linked lists, decision procedure, automated theorem proving
2	Robert Veroff, Matthew Spinks	Axiomatizing the Skew Boolean Propositional Calculus.	J. Autom. Reasoning	2006	DBLP DOI BibTeX RDF	skew Boolean propositional calculus (SBPC), proof sketches, axiomatization, automated deduction
2	Melvin Fitting	FOIL Axiomatized.	Studia Logica	2006	DBLP DOI BibTeX RDF	modal logic, predicate abstraction, axiomatization, tableaux, intensional logic
2	Jos C. M. Baeten, Mario Bravetti	A Ground-Complete Axiomatization of Finite State Processes in Process Algebra.	CONCUR	2005	DBLP DOI BibTeX RDF
2	Ivo G. Rosenberg, Dan A. Simovici	An Abstract Axiomatization of the Notion of Entropy.	ISMVL	2005	DBLP DOI BibTeX RDF
2	Yingcang Ma, Huacan He	The Axiomatization for 0-Level Universal Logic.	ICMLC	2005	DBLP DOI BibTeX RDF
2	Mizuhito Ogawa	Complete Axiomatization of an Algebraic Construction of Graphs.	FLOPS	2004	DBLP DOI BibTeX RDF
2	Augusto Parma, Roberto Segala	Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes.	QEST	2004	DBLP DOI BibTeX RDF
2	Francesc Esteva, Lluis Godo, Franco Montagna	Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras.	Studia Logica	2004	DBLP DOI BibTeX RDF	t-norm algebras, axiomatization, varieties, Bl-algebras
2	Mojtaba Aghaei, Mohammad Ardeshir	A Gentzen-style axiomatization for basic predicate calculus.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
2	Francesc Esteva, Lluis Godo, Franco Montagna	Axiomatization of Anz Residuated Fuzzy Logic Defined bz a Continuous T-norm.	IFSA	2003	DBLP DOI BibTeX RDF
2	Valentin Goranko	The Basic Algebra of Game Equivalences.	Studia Logica	2003	DBLP DOI BibTeX RDF	game operations, game algebra, game identities, completeness, modal logic, axiomatization
2	Michele Boreale, Daniele Gorla	On Compositional Reasoning in the Spi-calculus.	FoSSaCS	2002	DBLP DOI BibTeX RDF	reasoning on security, process calculi, axiomatization
2	Francis Oger	Axiomatization of abelian-by-G groups for a finite group G.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 20A05 (03C60, 16G70, 20F22)
2	Toon Calders, Jan Paredaens	Axiomatization of Frequent Sets.	ICDT	2001	DBLP DOI BibTeX RDF
2	Mario Bravetti, Roberto Gorrieri	A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors.	ICALP	2000	DBLP DOI BibTeX RDF
2	Ben C. Moszkowski	A Complete Axiomatization of Interval Temporal Logic with Infinite Time.	LICS	2000	DBLP DOI BibTeX RDF	complete axiom systems, Buechi-automata, temporal logic, regular expressions, finite-state automata, omega-automata
2	Peter Dybjer, Anton Setzer	A Finite Axiomatization of Inductive-Recursive Definitions.	TLCA	1999	DBLP DOI BibTeX RDF
2	Manuel Núñez	An Axiomatization of Probabilistic Testing.	ARTS	1999	DBLP DOI BibTeX RDF
2	Fritz Henglein, Jakob Rehof	The Complexity of Subtype Entailment for Simple Types.	LICS	1997	DBLP DOI BibTeX RDF	subtype entailment complexity, atomic entailment, coNP-completeness, complexity-theoretic marker, exponential explosion, subtype inference, structural complexity bounds, computability, satisfiability, axiomatization, linear-time algorithm
2	Allan Cheng, Dexter Kozen	A Complete Gentzen-Style Axiomatization for Set Constraints.	ICALP	1996	DBLP DOI BibTeX RDF
2	Jerzy Tiuryn	Equational Axiomatization of Bicoercibility for Polymorphic Types.	FSTTCS	1995	DBLP DOI BibTeX RDF
2	Joachim Parrow, Peter Sjödin	The Complete Axiomatization of Cs-congruence.	STACS	1994	DBLP DOI BibTeX RDF
2	Nicolien J. Drost	Algebraic Formulations of Trace Theory.	CONCUR	1991	DBLP DOI BibTeX RDF	trace models, infinite processes, verification, concurrency, process algebra, alternating bit protocol, complete axiomatization
2	Martín Abadi	An Axiomatization of Lamport's Temporal Logic of Actions.	CONCUR	1990	DBLP DOI BibTeX RDF
2	François Bronsard, Uday S. Reddy	Axiomatization of a Functional Logic Language.	ALP	1990	DBLP DOI BibTeX RDF
2	Heikki Tuominen	Elementary net systems and dynamic logic.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	axiomatization of properties, model checking, Petri nets, temporal logic, Dynamic logic, elementary net systems, model synthesis
2	Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan	A logic for distributed transition sytems.	REX Workshop	1988	DBLP DOI BibTeX RDF	concurrent step, distributed transition systems, completeness, soundness, axiomatization
2	Rob Gerth	A Sound and Complete Hoare Axiomatization of the Ada-Rendevous.	ICALP	1982	DBLP DOI BibTeX RDF
2	Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou	Inclusion Dependencies and Their Interaction with Functional Dependencies.	PODS	1982	DBLP DOI BibTeX RDF	relational database, functional dependency, PSPACE-complete, inclusion dependency, complete axiomatization
1	Erich-Peter Klement, Radko Mesiar	On the axiomatization of some classes of discrete universal integrals.	Knowl.-Based Syst.	2012	DBLP DOI BibTeX RDF
1	David Fernández Duque	A sound and complete axiomatization for Dynamic Topological Logic	CoRR	2012	DBLP BibTeX RDF
1	Olivier Bournez, Nachum Dershowitz, Evgenia Falkovich	Towards an Axiomatization of Simple Analog Algorithms.	TAMC	2012	DBLP DOI BibTeX RDF
1	Kolja B. Knauer, Juan José Montellano-Ballesteros, Ricardo Strausz	A graph-theoretical axiomatization of oriented matroids.	Electronic Notes in Discrete Mathematics	2011	DBLP DOI BibTeX RDF
1	Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane	Metrics for weighted transition systems: Axiomatization and complexity.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Philippe Balbiani	Axiomatization and completeness of lexicographic products of modal logics.	Journal of Applied Non-Classical Logics	2011	DBLP BibTeX RDF
1	Ziqiu Yun, Xun Ge, Xiaole Bai	Axiomatization and conditions for neighborhoods in a covering to form a partition.	Inf. Sci.	2011	DBLP DOI BibTeX RDF
1	Alexandra Silva, Ana Sokolova	Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Mariusz Giero	The Axiomatization of Propositional Linear Time Temporal Logic.	Formalized Mathematics	2011	DBLP DOI BibTeX RDF
1	Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry	Applying causality principles to the axiomatization of probabilistic cellular automata	CoRR	2011	DBLP BibTeX RDF
1	Henry Martyn Mulder, Beth Novick	An axiomatization of the median procedure on the n-cube.	Discrete Applied Mathematics	2011	DBLP DOI BibTeX RDF
1	Fritz Henglein, Lasse Nielsen	Regular expression containment: coinductive axiomatization and computational interpretation.	POPL	2011	DBLP DOI BibTeX RDF
1	Patrick Bosc, Olivier Pivert	On three fuzzy connectives for flexible data retrieval and their axiomatization.	SAC	2011	DBLP DOI BibTeX RDF
1	Luca Cardelli, Kim G. Larsen, Radu Mardare	Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas.	CSL	2011	DBLP DOI BibTeX RDF
1	Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry	Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata.	CiE	2011	DBLP DOI BibTeX RDF
1	Yoshio Kamijo, Takumi Kongo	Axiomatization of the Shapley value using the balanced cycle contributions property.	Int. J. Game Theory	2010	DBLP DOI BibTeX RDF
1	Dragan Doder, Zoran Ognjanovic, Zoran Markovic	An Axiomatization of a First-order Branching Time Temporal Logic.	J. UCS	2010	DBLP BibTeX RDF
1	Murdoch James Gabbay, Aad Mathijssen	A Nominal Axiomatization of the Lambda Calculus.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
1	Jasper Berendsen, David N. Jansen, Julien Schmaltz, Frits W. Vaandrager	The axiomatization of override and update.	J. Applied Logic	2010	DBLP DOI BibTeX RDF
1	Amélie Gheerbrant	Complete Axiomatization of the Stutter-invariant Fragment of the Linear Time mu-calculus.	Advances in Modal Logic	2010	DBLP BibTeX RDF
1	Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre	Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving.	STAIRS	2010	DBLP DOI BibTeX RDF
1	Xiaonan Li, Sanyang Liu	A new approach to the axiomatization of rough sets.	FSKD	2010	DBLP DOI BibTeX RDF
1	Javier Álvez, Francisco Javier López-Fraguas	A Complete Axiomatization of Strict Equality.	FLOPS	2010	DBLP DOI BibTeX RDF
1	Isil Dillig, Thomas Dillig, Alex Aiken	Symbolic heap abstraction with demand-driven axiomatization of memory invariants.	OOPSLA	2010	DBLP DOI BibTeX RDF
1	Yukiyoshi Kameyama, Asami Tanaka	Equational axiomatization of call-by-name delimited control.	PPDP	2010	DBLP DOI BibTeX RDF
1	Hong-xia Sun, Qiang Zhang	Axiomatization of Fuzzy Core in Games with Fuzzy Coalition.	ACFIE	2010	DBLP DOI BibTeX RDF
1	Sven Hartmann, Sebastian Link	When data dependencies over SQL tables meet the logics of paradox and S-3.	PODS	2010	DBLP DOI BibTeX RDF	logic of paradox, s-3 logic, data dependency, axiomatization, implication, null value
1	Aquinas Hobor, Robert Dockins, Andrew W. Appel	A theory of indirection via approximation.	POPL	2010	DBLP DOI BibTeX RDF	indirection theory, step-indexed models
1	Steve Barker	Personalizing access control by generalizing access control.	SACMAT	2010	DBLP DOI BibTeX RDF	integrity, privacy policies, access control models
1	Julio González-Díaz, Estela Sánchez-Rodríguez	Towards an axiomatization of the core-center.	European Journal of Operational Research	2009	DBLP DOI BibTeX RDF
1	István Németi, A. Simon	Weakly higher order cylindric algebras and finite axiomatization of the representables.	Studia Logica	2009	DBLP DOI BibTeX RDF	quasi-projective relation algebra, non-well-founded set theory, finitization problem, algebraic logic, cylindric algebra
1	Moshe Koppel, Abraham Diskin	Measuring disproportionality, volatility and malapportionment: axiomatization and solutions.	Social Choice and Welfare	2009	DBLP DOI BibTeX RDF
1	Mingfen Wu	Algorithm and axiomatization of rough fuzzy sets based finite dimensional fuzzy vectors.	Frontiers of Computer Science in China	2009	DBLP DOI BibTeX RDF
1	Luc Habert, Michel Pocchiola	Arrangements of double pseudolines: extended abstract.	Symposium on Computational Geometry	2009	DBLP DOI BibTeX RDF	double pseudolines, pseudolines, duality, convexity, arrangements, axiomatization
1	Sven Hartmann, Sebastian Link	Efficient reasoning about a robust XML key fragment.	ACM Trans. Database Syst.	2009	DBLP DOI BibTeX RDF	XML key, reachability, axiomatization, implication, XML data
1	Balder ten Cate, Maarten Marx	Axiomatizing the Logical Core of XPath 2.0.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	XML, XPath, Query rewriting, Axiomatization
1	Thomas Gazagnaire, Vincent Hanquez	OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons.	ICFP	2009	DBLP DOI BibTeX RDF	databases, concurrency, transactions, prefix trees
1	Tetsuo Ida	Symbolic and algebraic methods in computational origami: invited talk.	ISSAC	2009	DBLP DOI BibTeX RDF	gröbner bases, graph rewriting, origami
1	Ivano Ciardelli, Floris Roelofsen	Generalized inquisitive logic: completeness via intuitionistic Kripke models.	TARK	2009	DBLP DOI BibTeX RDF
1	Joseph Y. Halpern, Leandro Chaves Rêgo	Reasoning about knowledge of unawareness revisited.	TARK	2009	DBLP DOI BibTeX RDF
1	Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge	A logic of propositional control for truthful implementations.	TARK	2009	DBLP DOI BibTeX RDF
1	Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind	Tableau calculus for preference-based conditional logics: PCL and its extensions.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Tableaux calculi, conditional logics
1	Giuseppe Castagna, Nils Gesbert, Luca Padovani	A theory of contracts for Web services.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	explicit coercions, must testing, Web services, contracts, subtyping, type theory, ccs, concurrency theory
1	Zurab Khasidashvili, Mahmoud Kinanah, Andrei Voronkov	Verifying equivalence of memories using a first order logic theorem prover.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Christiana Panayiotou, Brandon Bennett	Critical thinking attitudes for reasoning with points of view.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
1	Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva	An Algebra for Kripke Polynomial Coalgebras.	LICS	2009	DBLP DOI BibTeX RDF
1	Samuel Mimram	The Structure of First-Order Causality.	LICS	2009	DBLP DOI BibTeX RDF
1	Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic	Qualitative Possibilities and Necessities.	ECSQARU	2009	DBLP DOI BibTeX RDF
1	Julian Gutierrez	Logics and Bisimulation Games for Concurrency, Causality and Conflict.	FOSSACS	2009	DBLP DOI BibTeX RDF	Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics
1	Patrick Girard, Jeremy Seligman	An Analytic Logic of Aggregation.	ICLA	2009	DBLP DOI BibTeX RDF	preference logic, lexicographic aggregation, hybrid modal logic, analytic proof theory, sequent calculus
1	Yoshihiro Maruyama	Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic.	ICLA	2009	DBLP DOI BibTeX RDF
1	Rajdeep Niyogi, Ramaswamy Ramanujam	An Epistemic Logic for Planning with Trials.	LORI	2009	DBLP DOI BibTeX RDF
1	Suzana Andova, Sonja Georgievska	On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems.	SOFSEM	2009	DBLP DOI BibTeX RDF
1	George Metcalfe, Nicola Olivetti	Proof Systems for a Gödel Modal Logic.	TABLEAUX	2009	DBLP DOI BibTeX RDF
1	Koen V. Hindriks, John-Jules Ch. Meyer	Toward a programming theory for rational agents.	Autonomous Agents and Multi-Agent Systems	2009	DBLP DOI BibTeX RDF	Verification logic, State-based semantics, Programming theory, Denotational semantics, Rational agents