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 |
|