Search results for "axiomatization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Mark Reynolds 0001	An axiomatization of PCTL*.	Inf. Comput.	2005	DBLP DOI BibTeX RDF
17	Vítor Estêvão Silva Souza, Ricardo de Almeida Falbo	Supporting Ontology Axiomatization and Evaluation in ODEd.	CIbSE	2005	DBLP BibTeX RDF
17	Raphaël Giraud	Objective Imprecise Probabilistic Information, Second Order Beliefs and Ambiguity Aversion: an Axiomatization.	ISIPTA	2005	DBLP BibTeX RDF
17	Khalil Djelloul	Complete First-Order Axiomatization of the Construction of Trees On an Ordered Set.	FCS	2005	DBLP BibTeX RDF
17	Salem Benferhat, Sylvain Lagrue, Odile Papini	Revision of Partially Ordered Information: Axiomatization, Semantics and Iteration.	IJCAI	2005	DBLP BibTeX RDF
17	Symeon Bozapalidis, Antonios Kalampakas	An axiomatization of graphs.	Acta Informatica	2004	DBLP DOI BibTeX RDF
17	Gabriele Kern-Isberner	A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF
17	Martin Peterson	From Outcomes to Acts: A Non-Standard Axiomatization of the Expected Utility Principle.	J. Philos. Log.	2004	DBLP DOI BibTeX RDF
17	Encarnación Algaba Durán, Jesús Mario Bilbao, René van den Brink, Andrés Jiménez-Losada	An axiomatization of the Banzhaf value for cooperative games on antimatroids.	Math. Methods Oper. Res.	2004	DBLP DOI BibTeX RDF
17	Robert Charles Koons	The Logic of Causal Explanation An Axiomatization.	Stud Logica	2004	DBLP DOI BibTeX RDF	causal explanation, strong Kleene, Quine, Kim, Davidson, Barwise, Etchemendy, facta, causal relata, actuality, truth-makers, ontology, modal logic, events, modality, three-valued logic, mereology, facts, causation, situation theory
17	Philippe Fortemps, Marc Pirlot	Conjoint axiomatization of Min, DiscriMin and LexiMin.	Fuzzy Sets Syst.	2004	DBLP DOI BibTeX RDF
17	C. F. M. Vermeulen	Axiomatization of a Denotational Semantics for First-order Logic.	Log. J. IGPL	2004	DBLP DOI BibTeX RDF
17	F. William Lawvere	Foundations and applications: axiomatization and education.	Bull. Symb. Log.	2003	DBLP DOI BibTeX RDF
17	Toon Calders, Jan Paredaens	Axiomatization of frequent itemsets.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
17	S. V. Coox	Axiomatization of the Evolution of XML Database Schema.	Program. Comput. Softw.	2003	DBLP DOI BibTeX RDF
17	Athanassios Tzouvaras	An Axiomatization of 'Very' within systiems of Set Theory.	Stud Logica	2003	DBLP DOI BibTeX RDF
17	Philippe Balbiani, Dimiter Vakarelov	PDL with Intersection of Programs: A Complete Axiomatization.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
17	Yves Le Traon, Farid Ouabdesselam, Chantal Robach, Benoit Baudry	From diagnosis to diagnosability: axiomatization, measurement and application.	J. Syst. Softw.	2003	DBLP DOI BibTeX RDF
17	Stephen A. Cook, Yongmei Liu 0001	A Complete Axiomatization for Blocks World.	J. Log. Comput.	2003	DBLP DOI BibTeX RDF
17	Howard Bowman, Simon J. Thompson	A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection.	J. Log. Comput.	2003	DBLP DOI BibTeX RDF
17	Solange Coupet-Grimal	An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions.	J. Log. Comput.	2003	DBLP DOI BibTeX RDF
17	Geoffroy de Clippel	An axiomatization of the inner core.	Int. J. Game Theory	2003	DBLP DOI BibTeX RDF
17	Mohamed Larbi Rebaiaia, Jihad Mohamad Al Ja'am, Ahmad Hasnah	An efficient model checker based on the axiomatization of propositional temporal logic in rewriting logic.	ICECS	2003	DBLP DOI BibTeX RDF
17	Aldo Gangemi, Roberto Navigli, Paola Velardi	The OntoWordNet Project: Extension and Axiomatization of Conceptual Relations in WordNet.	OTM	2003	DBLP DOI BibTeX RDF
17	Ryo-ichi Nagahisa, Makoto Tanaka	An axiomatization of the Kalai-Smorodinsky solution when the feasible sets can be finite.	Soc. Choice Welf.	2002	DBLP DOI BibTeX RDF
17	Anne van den Nouweland, Stef Tijs, Myrna Holtz Wooders	Axiomatization of ratio equilibria in public good economies.	Soc. Choice Welf.	2002	DBLP DOI BibTeX RDF
17	Magdalena Kacprzak	A Complete Axiomatization of Process Temporal Logic.	Fundam. Informaticae	2002	DBLP BibTeX RDF
17	Dan A. Simovici, Szymon Jaroszewicz	An axiomatization of partition entropy.	IEEE Trans. Inf. Theory	2002	DBLP DOI BibTeX RDF
17	Peter Sudhölter, Bezalel Peleg	A Note on an Axiomatization of the Core of Market Games.	Math. Oper. Res.	2002	DBLP DOI BibTeX RDF
17	Anirban Kar	Axiomatization of the Shapley Value on Minimum Cost Spanning Tree Games.	Games Econ. Behav.	2002	DBLP DOI BibTeX RDF
17	Flavio Corradini, Rocco De Nicola, Anna Labella	An Equational Axiomatization of Bisimulation over Regular Expressions.	J. Log. Comput.	2002	DBLP DOI BibTeX RDF
17	René van den Brink	An axiomatization of the Shapley value using a fairness property.	Int. J. Game Theory	2002	DBLP DOI BibTeX RDF
17	Katsushige Fujimoto	Representation of interactions among attributes, and its axiomatization.	FUZZ-IEEE	2002	DBLP DOI BibTeX RDF
17	Jochen Burghardt	Axiomatization of Finite Algebras.	KI	2002	DBLP DOI BibTeX RDF
17	Stephen A. Cook, Yongmei Liu 0001	A Complete Axiomatization for Blocks World.	AI&M	2002	DBLP BibTeX RDF
17	Philippe Balbiani, Dimiter Vakarelov	Iteration-free PDL with Intersection: a Complete Axiomatization.	Fundam. Informaticae	2001	DBLP BibTeX RDF
17	Mark Reynolds 0001	An Axiomatization of Full Computation Tree Logic.	J. Symb. Log.	2001	DBLP DOI BibTeX RDF
17	Victor Pambuccian	Constructive Axiomatization of Plane Hyperbolic Geometry.	Math. Log. Q.	2001	DBLP DOI BibTeX RDF
17	Siegfried Gottwald, Sándor Jenei	A new axiomatization for involutive monoidal t-norm-based logic.	Fuzzy Sets Syst.	2001	DBLP DOI BibTeX RDF
17	Mustafa Ilker Sözat, Adnan Yazici	A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations.	Fuzzy Sets Syst.	2001	DBLP DOI BibTeX RDF
17	Wojciech Zielonka	Cut-Rule Axiomatization of the Syntactic Calculus L0.	J. Log. Lang. Inf.	2001	DBLP DOI BibTeX RDF
17	Koji Takamiya	The consistency principle and an axiomatization of the α-core.	Int. J. Game Theory	2001	DBLP DOI BibTeX RDF
17	M. Josune Albizuri	An axiomatization of the modified Banzhaf Coleman index.	Int. J. Game Theory	2001	DBLP DOI BibTeX RDF
17	Zoltán Ésik, Werner Kuich	A Generation of Kozen's Axiomatization of the Equational Theory of the Regular Sets.	Words, Semigroups, and Transductions	2001	DBLP BibTeX RDF
17	Dan A. Simovici, Szymon Jaroszewicz	An Axiomatization of Generalized Entropy of Partitions.	ISMVL	2001	DBLP DOI BibTeX RDF
17	Victor Pambuccian	Another Constructive Axiomatization of Euclidean Planes.	Math. Log. Q.	2000	DBLP DOI BibTeX RDF
17	Dafa Li, Peifa Jia, Xinxin Li	Simplifying von Plato's Axiomatization of Constructive Apartness Geometry.	Ann. Pure Appl. Log.	2000	DBLP DOI BibTeX RDF
17	Wojciech Zielonka	Cut-Rule Axiomatization of the Syntactic Calculus NL0.	J. Log. Lang. Inf.	2000	DBLP DOI BibTeX RDF
17	Hubert Comon, Robert Nieuwenhuis	Induction=I-Axiomatization+First-Order Consistency.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
17	Victor Chepoi, Bernard Fichet	Three-way Metrics: Axiomatization and Properties.	Electron. Notes Discret. Math.	1999	DBLP DOI BibTeX RDF
17	Pierre-Yves Schobbens, Jean-François Raskin	The Logic of "Initially" and "Next": Complete Axiomatization and Complexity.	Inf. Process. Lett.	1999	DBLP DOI BibTeX RDF
17	Luca Aceto, Jan Friso Groote	A Complete Equational Axiomatization for MPA with String Iteration.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
17	Dmitrij P. Skvortsov	Remark on a finite axiomatization of finite intermediate propositional logics.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
17	Flavio Corradini, Rocco De Nicola, Anna Labella	A finite axiomatization of nondeterministic regular expressions.	RAIRO Theor. Informatics Appl.	1999	DBLP DOI BibTeX RDF
17	Antonino Salibra, Robert Goldblatt	A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus.	Inf. Comput.	1999	DBLP DOI BibTeX RDF
17	Dorel Lucanu	Axiomatization of the Coherence Property for Categories of Symmetries.	FCT	1999	DBLP DOI BibTeX RDF
17	Michael Brandt, Fritz Henglein	Coinductive Axiomatization of Recursive Type Equality and Subtyping.	Fundam. Informaticae	1998	DBLP DOI BibTeX RDF
17	Francesco M. Malvestuto	A Complete Axiomatization of Full Acyclic Join Dependencies.	Inf. Process. Lett.	1998	DBLP DOI BibTeX RDF
17	Vladimiro Sassone	An Axiomatization of the Category of Petri Net Computations.	Math. Struct. Comput. Sci.	1998	DBLP BibTeX RDF
17	Maria Concetta Di Maio, Alberto Zanardo	A Gabbay-Rule Free Axiomatization of T×W Validity.	J. Philos. Log.	1998	DBLP DOI BibTeX RDF
17	Reiner Hähnle	Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.	Stud Logica	1998	DBLP DOI BibTeX RDF
17	Philippe Balbiani, Luis Fariñas del Cerro	Complete axiomatization of a relative modal logic with composition and intersection.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
17	Beata Bugajska-Jaszczolt	Axiomatization of the Logic Determined by some Finite Relational Systems.	Reports Math. Log.	1998	DBLP BibTeX RDF
17	Henri Korver, M. P. A. Sellink	A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF
17	David Nowak, Jean-René Beauvais, Jean-Pierre Talpin	Co-inductive Axiomatization of a Synchronous Language.	TPHOLs	1998	DBLP DOI BibTeX RDF
17	Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard	Multi-Stage Programming: Axiomatization and Type Safety.	ICALP	1998	DBLP DOI BibTeX RDF
17	Wan J. Fokkink	An Axiomatization for Regular Processes in Times Branching Bisimulation.	Fundam. Informaticae	1997	DBLP DOI BibTeX RDF
17	Marco Forti, Furio Honsell, Marina Lenisa	An Axiomatization of Partial n-Place Operations.	Math. Struct. Comput. Sci.	1997	DBLP DOI BibTeX RDF
17	Fabio Bellissima, Saverio Cittadini	Minimal Axiomatization in Modal Logic.	Math. Log. Q.	1997	DBLP DOI BibTeX RDF
17	Marco Hollenberg	An Equational Axiomatization of Dynamic Negation and Relational Composition.	J. Log. Lang. Inf.	1997	DBLP DOI BibTeX RDF
17	Marcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso	A Finite Axiomatization for Fork Algebras.	Log. J. IGPL	1997	DBLP DOI BibTeX RDF
17	Andrzej S. Nowak	On an axiomatization of the banzhaf value without the additivity axiom.	Int. J. Game Theory	1997	DBLP DOI BibTeX RDF
17	Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee 0001	A Complete Axiomatization of Finite-State ACSR Processes.	Inf. Comput.	1997	DBLP DOI BibTeX RDF
17	Luca Aceto, Wan J. Fokkink	An Equational Axiomatization for Multi-Exit Iteration.	Inf. Comput.	1997	DBLP DOI BibTeX RDF
17	Michael Brandt, Fritz Henglein	Coinductive Axiomatization of Recursive Type Equality and Subtyping.	TLCA	1997	DBLP DOI BibTeX RDF
17	John Launchbury, Amr Sabry	Monadic State: Axiomatization and Type Safety.	ICFP	1997	DBLP DOI BibTeX RDF	Haskell
17	Ronen I. Brafman, Moshe Tennenholtz	On the Axiomatization of Qualitative Decision Criteria.	AAAI/IAAI	1997	DBLP BibTeX RDF
17	Wan J. Fokkink	A Complete Axiomatization for Prefix Iteration in Branching Bisimulation.	Fundam. Informaticae	1996	DBLP DOI BibTeX RDF
17	Ivan Kramosil	An axiomatization of extensional probability measures.	Kybernetika	1996	DBLP BibTeX RDF
17	Vladimiro Sassone	An Axiomatization of the Algebra of Petri Net Concatenable Processes.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
17	Lennart Åqvist	Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization.	J. Philos. Log.	1996	DBLP DOI BibTeX RDF
17	Luca Aceto, Anna Ingólfsdóttir	An Equational Axiomatization of Observation Congruence for Prefix Iteration.	AMAST	1996	DBLP DOI BibTeX RDF
17	Wojciech Penczek, Marian Srebrny	A complete axiomatization of a first-order temporal logic over trace systems.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
17	Dieter Fensel, Rix Groenboom	MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems.	ECAI	1996	DBLP BibTeX RDF
17	Rolf Backofen	A Complete Axiomatization of a Theory with Feature and Arity Constraints.	J. Log. Program.	1995	DBLP DOI BibTeX RDF
17	Joseph Y. Halpern, Gerhard Lakemeyer	Levesque's Axiomatization of only Knowing is Incomplete.	Artif. Intell.	1995	DBLP DOI BibTeX RDF
17	Luca Aceto, Alan Jeffrey	A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
17	Mirko Malekovic	A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules.	Informatica (Slovenia)	1995	DBLP BibTeX RDF
17	Chris Snijders	Axiomatization of the Nucleolus.	Math. Oper. Res.	1995	DBLP DOI BibTeX RDF
17	Rolf Backofen, James Rogers, K. Vijay-Shanker	A First-Order Axiomatization of the Theory of Finite Trees.	J. Log. Lang. Inf.	1995	DBLP DOI BibTeX RDF
17	Wan J. Fokkink, Steven Klusener	An Effective Axiomatization for Real Time ACP.	Inf. Comput.	1995	DBLP DOI BibTeX RDF
17	Randal J. Peters, M. Tamer Özsu	Axiomatization of Dynamic Schema Evolution in Objectbases.	ICDE	1995	DBLP DOI BibTeX RDF
17	Jan von Plato	Organization and Development of a Constructive Axiomatization.	TYPES	1995	DBLP DOI BibTeX RDF
17	Nicholas Asher, Laure Vieu	Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology.	IJCAI (1)	1995	DBLP BibTeX RDF
17	Francesco M. Malvestuto	An Axiomatization of Loglinear Models with an Application to the Model-Search Problem.	AISTATS	1995	DBLP DOI BibTeX RDF
17	Wan J. Fokkink	A Complete Equational Axiomatization for Prefix Iteration.	Inf. Process. Lett.	1994	DBLP DOI BibTeX RDF
17	Guoqing Chen, Etienne E. Kerre, Jacques Vandenbulcke	A computational algorithm for the FFD transitive closure and a complete axiomatization of fuzzy functional dependence (FFD).	Int. J. Intell. Syst.	1994	DBLP DOI BibTeX RDF
17	Luc Lismont, Philippe Mongin	A Non-Minimal But Very Weak Axiomatization of Common Belief.	Artif. Intell.	1994	DBLP DOI BibTeX RDF
17	Jordi Rebagliato, Ventura Verdú	A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus.	Math. Log. Q.	1994	DBLP DOI BibTeX RDF
17	Marc Gengler, Giovanni Coray	A Parallel Best-first B&B Algorithm and its Axiomatization.	Parallel Algorithms Appl.	1994	DBLP DOI BibTeX RDF