Search results for "axiomatization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	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
58	Yukiyoshi Kameyama, Masahito Hasegawa	A sound and complete axiomatization of delimited continuations.	ICFP	2003	DBLP DOI BibTeX RDF	continuation, axiomatization, CPS-translation
48	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir	Ready to Preorder: Get Your BCCSP Axiomatization for Free!	CALCO	2007	DBLP DOI BibTeX RDF
48	Philippe Balbiani	Axiomatization and Completeness of Lexicographic Products of Modal Logics.	FroCoS	2009	DBLP DOI BibTeX RDF	lexicographic product, axiomatization/completeness, Modal logic
48	Szymon Jaroszewicz, Dan A. Simovici	On Axiomatization of Conditional Entropy of Functions Between Finite Sets.	ISMVL	1999	DBLP DOI BibTeX RDF	functions between finite sets, entropy, axiomatization, logic functions, conditional entropy
48	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
48	Reiner Hähnle	Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.	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
42	Marco Hollenberg	Equational Axioms of Test Algebra.	CSL	1997	DBLP DOI BibTeX RDF
41	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
41	Melvin Fitting	FOIL Axiomatized.	Stud Logica	2006	DBLP DOI BibTeX RDF	modal logic, predicate abstraction, axiomatization, tableaux, intensional logic
41	Robert Veroff, Matthew Spinks	Axiomatizing the Skew Boolean Propositional Calculus.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	skew Boolean propositional calculus (SBPC), proof sketches, axiomatization, automated deduction
38	Mika Cohen, Mads Dam	A Complete Axiomatization of Knowledge and Cryptography.	LICS	2007	DBLP DOI BibTeX RDF
38	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
38	Jos C. M. Baeten, Mario Bravetti	A Ground-Complete Axiomatization of Finite State Processes in Process Algebra.	CONCUR	2005	DBLP DOI BibTeX RDF
38	Augusto Parma, Roberto Segala	Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes.	QEST	2004	DBLP DOI BibTeX RDF
38	Mojtaba Aghaei, Mohammad Ardeshir	A Gentzen-style axiomatization for basic predicate calculus.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
38	Toon Calders, Jan Paredaens	Axiomatization of Frequent Sets.	ICDT	2001	DBLP DOI BibTeX RDF
38	Joachim Parrow, Peter Sjödin	The Complete Axiomatization of Cs-congruence.	STACS	1994	DBLP DOI BibTeX RDF
38	Rob Gerth	A Sound and Complete Hoare Axiomatization of the Ada-Rendevous.	ICALP	1982	DBLP DOI BibTeX RDF
37	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
31	Zurab Khasidashvili, Mahmoud Kinanah, Andrei Voronkov	Verifying equivalence of memories using a first order logic theorem prover.	FMCAD	2009	DBLP DOI BibTeX RDF
31	Mario R. F. Benevides, Luis Menasché Schechter	A Propositional Dynamic Logic for CCS Programs.	WoLLIC	2008	DBLP DOI BibTeX RDF
31	Taolue Chen, Wan J. Fokkink	On the Axiomatizability of Impossible Futures: Preorder versus Equivalence.	LICS	2008	DBLP DOI BibTeX RDF
31	Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Ingólfsdóttir	On the Axiomatizability of Priority.	ICALP (2)	2006	DBLP DOI BibTeX RDF
31	Eugene W. Stark, Rance Cleaveland, Scott A. Smolka	Probabilistic I/O Automata: Theories of Two Equivalences.	CONCUR	2006	DBLP DOI BibTeX RDF	process equivalences, continuous-time Markov chains, equational theories, stochastic process algebras, complete axiomatizations
31	Dirk Koschützki, Katharina Anna Lehmann, Dagmar Tenfelde-Podehl, Oliver Zlotowski	Advanced Centrality Concepts.	Network Analysis	2004	DBLP DOI BibTeX RDF
31	Furio Honsell, Marina Lenisa	"Wave-Style" Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models.	TYPES	2003	DBLP DOI BibTeX RDF	(linear) graph model, traced monoidal category, weak linear category, categorical geometry of interaction
31	Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir	Equational Axioms for Probabilistic Bisimilarity.	AMAST	2002	DBLP DOI BibTeX RDF
31	Paolo Bouquet, Luciano Serafini	Two Formalizations of Context: A Comparison.	CONTEXT	2001	DBLP DOI BibTeX RDF
31	Fiora Pirri, Raymond Reiter	Some Contributions to the Metatheory of the Situation Calculus.	J. ACM	1999	DBLP DOI BibTeX RDF	programming languages for the situation calculus, theorem-proving, regression, situation calculus
31	Anna Mikhajlova, Joakim von Wright	Proving Isomorphism of First-Order Logic Proof Systems in HOL.	TPHOLs	1998	DBLP DOI BibTeX RDF
31	Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger	Axioms for Real-Time Logics.	CONCUR	1998	DBLP DOI BibTeX RDF
31	Jens Chr. Godskesen, Kim Guldstrand Larsen	Real-Time Calculi and Expansion Theorems.	FSTTCS	1992	DBLP DOI BibTeX RDF
31	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
31	Francesc Esteva, Lluís Godo, Franco Montagna	Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras.	Stud Logica	2004	DBLP DOI BibTeX RDF	t-norm algebras, axiomatization, varieties, Bl-algebras
31	Valentin Goranko	The Basic Algebra of Game Equivalences.	Stud Logica	2003	DBLP DOI BibTeX RDF	game operations, game algebra, game identities, completeness, modal logic, axiomatization
31	Michele Boreale, Daniele Gorla	On Compositional Reasoning in the Spi-calculus.	FoSSaCS	2002	DBLP DOI BibTeX RDF	reasoning on security, process calculi, axiomatization
31	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
31	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
31	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
31	Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan	A logic for distributed transition systems.	REX Workshop	1988	DBLP DOI BibTeX RDF	concurrent step, distributed transition systems, completeness, soundness, axiomatization
27	Daniel Kifer, Bing-Rong Lin	Towards an axiomatization of statistical privacy and utility.	PODS	2010	DBLP DOI BibTeX RDF	privacy, utility, axioms
27	Aoi Honda, Yoshiaki Okazaki	An Axiomatization of Shapley Values of Games on Set Systems.	MDAI	2007	DBLP DOI BibTeX RDF
27	Didier Dubois, Hélène Fargier, Barbara Vantaggi	An Axiomatization of Conditional Possibilistic Preference Functionals.	ECSQARU	2007	DBLP DOI BibTeX RDF
27	Dan A. Simovici	On the Axiomatization of Generalized Entropic Metrics.	ISMVL	2007	DBLP DOI BibTeX RDF
27	Luca Aceto, Anna Ingólfsdóttir	The Saga of the Axiomatization of Parallel Composition.	CONCUR	2007	DBLP DOI BibTeX RDF
27	Ivo G. Rosenberg, Dan A. Simovici	An Abstract Axiomatization of the Notion of Entropy.	ISMVL	2005	DBLP DOI BibTeX RDF
27	Yingcang Ma, Huacan He	The Axiomatization for 0-Level Universal Logic.	ICMLC	2005	DBLP DOI BibTeX RDF
27	Mizuhito Ogawa	Complete Axiomatization of an Algebraic Construction of Graphs.	FLOPS	2004	DBLP DOI BibTeX RDF
27	Francesc Esteva, Lluís Godo, Franco Montagna	Axiomatization of Anz Residuated Fuzzy Logic Defined bz a Continuous T-norm.	IFSA	2003	DBLP DOI BibTeX RDF
27	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)
27	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
27	Mario Bravetti, Roberto Gorrieri	A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors.	ICALP	2000	DBLP DOI BibTeX RDF
27	Peter Dybjer, Anton Setzer	A Finite Axiomatization of Inductive-Recursive Definitions.	TLCA	1999	DBLP DOI BibTeX RDF
27	Manuel Núñez 0001	An Axiomatization of Probabilistic Testing.	ARTS	1999	DBLP DOI BibTeX RDF
27	Allan Cheng, Dexter Kozen	A Complete Gentzen-Style Axiomatization for Set Constraints.	ICALP	1996	DBLP DOI BibTeX RDF
27	Jerzy Tiuryn	Equational Axiomatization of Bicoercibility for Polymorphic Types.	FSTTCS	1995	DBLP DOI BibTeX RDF
27	François Bronsard, Uday S. Reddy	Axiomatization of a Functional Logic Language.	ALP	1990	DBLP DOI BibTeX RDF
27	Martín Abadi	An Axiomatization of Lamport's Temporal Logic of Actions.	CONCUR	1990	DBLP DOI BibTeX RDF
21	Christiana Panayiotou, Brandon Bennett	Critical thinking attitudes for reasoning with points of view.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
21	Yoshihiro Maruyama	Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic.	ICLA	2009	DBLP DOI BibTeX RDF
21	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
21	Zoltán Ésik	Iteration Semirings.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
21	Pavel Naumov	Upper bounds on complexity of Frege proofs with limited use of certain schemata.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF
21	Florian Rabe 0001	First-Order Logic with Dependent Types.	IJCAR	2006	DBLP DOI BibTeX RDF
21	Riccardo Pucella	The finite and the infinite in temporal logic.	SIGACT News	2005	DBLP DOI BibTeX RDF
21	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik	Finite Equational Bases in Process Algebra: Results and Open Questions.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
21	Thomas Ågotnes, Michal Walicki	Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures.	CLIMA	2005	DBLP DOI BibTeX RDF
21	Oliver Schulte, James P. Delgrande	Representing von Neumann-Morgenstern Games in the Situation Calculus.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	reasoning about actions and change, game theory, knowledge representation, multiagent systems, decision theory
21	Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín	On the quantifier complexity of bigtriangleupn+1 (T)? induction.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	n+1, Quantifier complexity, Induction, formulas
21	Jan A. Bergstra, Inge Bethke	Polarized Process Algebra and Program Equivalence.	ICALP	2003	DBLP DOI BibTeX RDF
21	Stefan Blom, Wan J. Fokkink, Sumit Nain	On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces.	ICALP	2003	DBLP DOI BibTeX RDF
21	Roger Villemaire	An Approximation Semantics for the Propositional Mu-Calculus.	MFCS	2002	DBLP DOI BibTeX RDF
21	Miguel García-Díaz, Susana Nieva	Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms.	FLOPS	2002	DBLP DOI BibTeX RDF	hereditary Harrop formulas, finite symbolic trees, first-order logic, real numbers, constraint systems
21	Gerald Lüttgen, Michael Mendler	Axiomatizing an Algebra of Step Reactions for Synchronous Languages.	CONCUR	2002	DBLP DOI BibTeX RDF
21	Gabriele Kern-Isberner	The Principle of Conditional Preservation in Belief Revision.	FoIKS	2002	DBLP DOI BibTeX RDF
21	Luigi Santocanale	On the Equational Definition of the Least Prefixed Point.	MFCS	2001	DBLP DOI BibTeX RDF
21	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir	2-Nested Simulation Is Not Finitely Equationally Axiomatizable.	STACS	2001	DBLP DOI BibTeX RDF
21	Jef Wijsen	Temporal FDs on Complex Objects.	ACM Trans. Database Syst.	1999	DBLP DOI BibTeX RDF	temporal databases, functional dependency, object-identity, time granularity, database constraints
21	Zoltán Ésik, Michael Bertol	Nonfinite Axiomatizability of the Equational Theory of Shuffle.	Acta Informatica	1998	DBLP DOI BibTeX RDF
21	Hajime Sawamura, Daisaku Asanuma	Mechanizing Relevant Logics with HOL.	TPHOLs	1998	DBLP DOI BibTeX RDF
21	Bernhard Heinemann	Separating Sets by Modal Formulas.	AMAST	1998	DBLP DOI BibTeX RDF
21	Zoltán Ésik	Axiomatizing the Equational Theory of Regular Tree Languages (Extended Anstract).	STACS	1998	DBLP DOI BibTeX RDF
21	Xiaoyang Sean Wang, Claudio Bettini, Alexander Brodsky 0001, Sushil Jajodia	Logical Design for Temporal Databases with Multiple Granularities.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF	Boyce-Codd normal form, graularity, temporal modules, temporal databases, normalization, temporal relations, third normal form
21	Wan J. Fokkink	Axiomatizations for the Perpetual Loop in Process Algebra.	ICALP	1997	DBLP DOI BibTeX RDF
21	Reinhard Bündgen, Wolfgang Küchlin, Werner Lauterbach	Verification of the Sparrow Processor.	ECBS	1996	DBLP DOI BibTeX RDF	symbolic hardware simulation, equational specifications, term rewriting, Hardware verification
21	Henrik Reif Andersen, Michael Mendler	An Asynchronous Algebra with Multiple Clocks.	ESOP	1994	DBLP DOI BibTeX RDF
21	Rocco De Nicola, Anna Labella	A Completeness Theorem fro Nondeterministic Kleene Algebras.	MFCS	1994	DBLP DOI BibTeX RDF
21	Véronique Royer, Joachim Quantz	On Intuitionistic Query Answering in Description Bases.	CADE	1994	DBLP DOI BibTeX RDF	Intuitionistic Sequent Calculus, Least Fixed Point Semantics, Description Logics, Query Answering
21	Gian-Luigi Ferrari 0002, Roberto Gorrieri, Ugo Montanari	An Extended Expansion Theorem.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
21	José Carmo, Amílcar Sernadas	Inevitability in Branching Time.	Logic at Botik	1989	DBLP DOI BibTeX RDF
21	Joseph Y. Halpern	A Good Hoare Axiom System for an Algol-like Language.	POPL	1984	DBLP DOI BibTeX RDF	ALGOL
21	Hans-Juergen Boehm	A Logic for Expressions with Side-Effects.	POPL	1982	DBLP DOI BibTeX RDF
21	David Harel, Vaughan R. Pratt	Nondeterminism in Logics of Programs.	POPL	1978	DBLP DOI BibTeX RDF
20	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
20	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
20	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
20	Luc Habert, Michel Pocchiola	Arrangements of double pseudolines: extended abstract.	SCG	2009	DBLP DOI BibTeX RDF	double pseudolines, pseudolines, duality, convexity, arrangements, axiomatization
20	Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely	Axiomatizing Relativistic Dynamics without Conservation Postulates.	Stud Logica	2008	DBLP DOI BibTeX RDF	relativistic dynamics, equivalence of mass and energy, foundation of relativity, first-order logic, axiomatization
20	Xiaoju Dong, Yuxi Fu	Barbed Congruence of Asymmetry and Mismatch.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	bisimulation, axiomatization, process calculus