Search results for "Axiomatics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
105	Antonia Sinachopoulos	Partial Order Logics for Elementary Net Systems: State- and Event-approaches.	CONCUR	1990	DBLP DOI BibTeX RDF	Partial Order Logics, Next Operator, Case Graphs, Action Graphs, Specific Axiomatics, State Approach, Action Approach, Petri Nets, Specification, Elementary Net Systems
58	Robert Demolombe	Validity Queries and Completeness Queries.	ISMIS	1996	DBLP DOI BibTeX RDF	Uncertainty, Epistemic Logic, Intelligent Information Systems
47	Lars Kulik	A Geometric Theory of Vague Boundaries Based on Supervaluation.	COSIT	2001	DBLP DOI BibTeX RDF	Geometry, Spatial Reasoning, Axiomatics, Vagueness, Geography
47	Lars Kulik, Alexander Klippel	Reasoning about Cardinal Directions Using Grids as Qualitative Geographic Coordinates.	COSIT	1999	DBLP DOI BibTeX RDF	Map Projections, Inferences, Geometry, Axiomatics, Qualitative Spatial Reasoning, Geography, Spatial Structure
47	Carola Eschenbach	A Predication Calculus for Qualitative Spatial Representations.	COSIT	1999	DBLP DOI BibTeX RDF	Topology, Inferences, Axiomatics, Qualitative Spatial Reasoning, Spatial Structure, Predication Calculus, Mereology
45	Patrick Blackburn, Balder ten Cate	Pure Extensions, Proof Rules, and Hybrid Axiomatics.	Stud Logica	2006	DBLP DOI BibTeX RDF	completeness, modal logic, Hybrid logic, proof rules, axiomatisation, nominals
39	Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001	Well-Founded and Partial Stable Semantics Logical Aspects.	CSR	2009	DBLP DOI BibTeX RDF	partial stable models, equilibrium logic, partial equilibrium logic, well-founded semantics
39	Robert Demolombe, Maria del Pilar Pozos Parra	A Simple and Tractable Extension of Situation Calculus to Epistemic Logic.	ISMIS	2000	DBLP DOI BibTeX RDF
39	Jean Serra	Set Connections and Discrete Filtering (Invited Paper).	DGCI	1999	DBLP DOI BibTeX RDF
27	Sergei P. Odintsov	On Axiomatizing Shramko-Wansing's Logic.	Stud Logica	2009	DBLP DOI BibTeX RDF	generalized truth value, twist-structure, axiomatics
27	E. Allen Emerson, Jai Srinivasan	Branching time temporal logic.	REX Workshop	1988	DBLP DOI BibTeX RDF	Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
26	Satyanad Kichenassamy	Axiomatics of the Observer Manifold and Relativity.	Axioms	2023	DBLP DOI BibTeX RDF
26	Jenny Hamer, Jake Valladares, Vignesh Viswanathan, Yair Zick	Simple Steps to Success: Axiomatics of Distance-Based Algorithmic Recourse.	CoRR	2023	DBLP DOI BibTeX RDF
26	Roland Carl Backhouse, Ed Voermans	The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra.	CoRR	2023	DBLP DOI BibTeX RDF
26	Juan D. Moreno-Ternero	William Thomson: "How to divide when there isn't enough: from Aristotle, the Talmud and Maimonides to the axiomatics of resource allocation".	Soc. Choice Welf.	2021	DBLP DOI BibTeX RDF
26	Arianna Novaro, Umberto Grandi, Dominique Longin, Emiliano Lorini	Goal-Based Collective Decisions: Axiomatics and Computational Complexity.	IJCAI	2018	DBLP DOI BibTeX RDF
26	Bruno Miguel Antunes Dinis, Imme Pieter van den Berg	Axiomatics for the external numbers of nonstandard analysis.	J. Log. Anal.	2017	DBLP BibTeX RDF
26	Henri Prade, Gilles Richard	Boolean Analogical Proportions - Axiomatics and Algorithmic Complexity Issues.	ECSQARU	2017	DBLP DOI BibTeX RDF
26	Dmitry A. Shvarts	Axiomatics for power indices in the weighted games.	Autom. Remote. Control.	2015	DBLP DOI BibTeX RDF
26	Dmitriy Bui, Anna Puzikova	Axiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness Criteria.	DepCoS-RELCOMEX	2015	DBLP DOI BibTeX RDF
26	Chee-Keng Yap	Soft Subdivision Search in Motion Planning, II: Axiomatics.	FAW	2015	DBLP DOI BibTeX RDF
26	Iris Loeb	Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics.	Synth.	2014	DBLP DOI BibTeX RDF
26	Christian Ronse	Axiomatics for oriented connectivity.	Pattern Recognit. Lett.	2014	DBLP DOI BibTeX RDF
26	Gordana Dodig Crnkovic, Mark Burgin	Unconventional Algorithms: Complementarity of Axiomatics and Construction.	Entropy	2012	DBLP DOI BibTeX RDF
26	Vedat Tavsanoglu	On the teaching of the axiomatics of physical systems.	ISCAS	2012	DBLP DOI BibTeX RDF
26	Dirk Schlimm	On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others.	Synth.	2011	DBLP DOI BibTeX RDF
26	Antonio Quesada	Axiomatics for the Hirsch index and the Egghe index.	J. Informetrics	2011	DBLP DOI BibTeX RDF
26	Tony Lindeberg	Generalized Gaussian Scale-Space Axiomatics Comprising Linear Scale-Space, Affine Scale-Space and Spatio-Temporal Scale-Space.	J. Math. Imaging Vis.	2011	DBLP DOI BibTeX RDF
26	Antonio Quesada	More axiomatics for the Hirsch index.	Scientometrics	2010	DBLP DOI BibTeX RDF
26	Diederik Aerts	Operational Quantum Mechanics, Quantum Axiomatics and Quantum Structures.	Compendium of Quantum Physics	2009	DBLP DOI BibTeX RDF
26	Philippe Balbiani, Andreas Herzig, Nicolas Troquard	Alternative Axiomatics and Complexity of Deliberative STIT Theories.	J. Philos. Log.	2008	DBLP DOI BibTeX RDF
26	Philippe Balbiani, Andreas Herzig, Nicolas Troquard	Alternative axiomatics and complexity of deliberative STIT theories	CoRR	2007	DBLP BibTeX RDF
26	John Power, Miki Tanaka	Axiomatics for Data Refinement in Call by Value Programming Languages.	MFCSIT	2006	DBLP DOI BibTeX RDF
26	Miki Tanaka, John Power	Pseudo-distributive laws and axiomatics for variable binding.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Binding signatures, Pseudo-distributive law, Substitution monoidal structure, Context, Initial algebra semantics, Pseudo-monad
26	Bob Coecke	De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure.	QPL	2005	DBLP DOI BibTeX RDF
26	Carsten Pontow	A note on the axiomatics of theories in parthood.	Data Knowl. Eng.	2004	DBLP DOI BibTeX RDF
26	Christopher Gunaseelan Jesudason	Some Consequences of an Analysis of the Kelvin-Clausius Entropy Formulation Based on Traditional Axiomatics.	Entropy	2003	DBLP DOI BibTeX RDF
26	Xiaodong Liu 0001, Witold Pedrycz, Qingling Zhang 0001	Axiomatics fuzzy sets logic.	FUZZ-IEEE	2003	DBLP DOI BibTeX RDF
26	P. V. Andreev, E. I. Gordon	An Axiomatics for Nonstandard Set Theory, Based on von Neumann-Bernays-Gödel Theory.	J. Symb. Log.	2001	DBLP DOI BibTeX RDF
26	William H. E. Day, Fred R. McMorris	Axiomatics in group choice and bioconsensus.	Bioconsensus	2001	DBLP DOI BibTeX RDF
26	Emilio Calvo, Hans Peters	Dynamics and axiomatics of the equal area bargaining solution.	Int. J. Game Theory	2000	DBLP DOI BibTeX RDF
26	Marian Boykan Pour-El	From Axiomatics to Intrinsic Characterization: Some Open Problems in Computable Analysis.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
26	John Power, Hiroshi Watanabe 0002	An axiomatics for categories of coalgebras.	CMCS	1998	DBLP DOI BibTeX RDF
26	Michel Balinski, Niousha Shahidi	A simple approach to the product rate variation problem via axiomatics.	Oper. Res. Lett.	1998	DBLP DOI BibTeX RDF
26	Nehad N. Morsi, Mohammed Mostafa Yakout	Axiomatics for fuzzy rough sets.	Fuzzy Sets Syst.	1998	DBLP DOI BibTeX RDF
26	Marcelo P. Fiore, Kohei Honda 0001	Recursive Types in Games: Axiomatics and Process Representation.	LICS	1998	DBLP DOI BibTeX RDF
26	Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe 0002, James Worrell 0001	An Axiomatics for Categories of Transition Systems as Coalgebras.	LICS	1998	DBLP DOI BibTeX RDF
26	Gian Luca Cattani, John Power, Glynn Winskel	A Categorical Axiomatics for Bisimulation.	CONCUR	1998	DBLP DOI BibTeX RDF
26	Joachim Weickert, Seiji Ishikawa, Atsushi Imiya	On the History of Gaussian Scale-Space Axiomatics.	Gaussian Scale-Space Theory	1997	DBLP DOI BibTeX RDF
26	Hans Schmekel	Application of Axiomatics in Product Modeling.	PROLAMAT	1992	DBLP BibTeX RDF
26	Wojciech Zielonka	Linear axiomatics of commutative product-free Lambek calculus.	Stud Logica	1990	DBLP DOI BibTeX RDF
26	Stephen D. Brookes	Semantically Based Axiomatics.	MFPS	1987	DBLP DOI BibTeX RDF
26	Michel De Glas	An axiomatics for fuzzy information.	IPMU	1986	DBLP DOI BibTeX RDF
26	Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi	A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses	Inf. Control.	1984	DBLP DOI BibTeX RDF
26	John Stelzer	Analogy and Axiomatics.	Int. J. Man Mach. Stud.	1983	DBLP DOI BibTeX RDF
26	Oleg Arkhipoff	An introduction to the axiomatics of procedures of aggregation.	Math. Soc. Sci.	1980	DBLP DOI BibTeX RDF
26	David Meredith 0002	Axiomatics for implication.	Notre Dame J. Formal Log.	1979	DBLP DOI BibTeX RDF
26	John C. Cherniavsky, Samuel N. Kamin	A Complete and Consistent Hoare Axiomatics for a Simple Programming Language.	J. ACM	1979	DBLP DOI BibTeX RDF
26	Andrei P. Ershov	Axiomatics for Memory Allocation.	Acta Informatica	1976	DBLP DOI BibTeX RDF
26	Robert K. Meyer	New axiomatics for relevant logics, I.	J. Philos. Log.	1974	DBLP DOI BibTeX RDF
26	Bruno Courcelle, Jean Vuillemin	Semantics and Axiomatics of a Simple Recursive Language	STOC	1974	DBLP DOI BibTeX RDF
26	C. A. Meredith, A. N. Prior	Notes on the axiomatics of the propositional calculus.	Notre Dame J. Formal Log.	1963	DBLP DOI BibTeX RDF
19	Erik Rissanen, David Brossard, Adriaan Slabbert	Distributed Access Control Management - A XACML-Based Approach.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF	security, SOA, access control, authorization, XACML
19	Anders Kock	Affine Connections, and Midpoint Formation.	DGCI	2009	DBLP DOI BibTeX RDF
19	Michael H. F. Wilkinson	Hyperconnectivity, Attribute-Space Connectivity and Path Openings: Theoretical Relationships.	ISMM	2009	DBLP DOI BibTeX RDF
19	Michael H. F. Wilkinson	An Axiomatic Approach to Hyperconnectivity.	ISMM	2009	DBLP DOI BibTeX RDF
19	Arthur Buchsbaum, Tarcisio H. C. Pequeno, Marcelino Pequeno	A logical expression of reasoning.	Synth.	2007	DBLP DOI BibTeX RDF	Ampliative reasoning, Complex reasoning, Epistemic modalities, Default logic, Non-monotonic logic, Paraconsistency
19	Samson Abramsky	Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories.	CALCO	2005	DBLP DOI BibTeX RDF
19	Marco Gaertler	Clustering.	Network Analysis	2004	DBLP DOI BibTeX RDF
19	Didier Dubois, Hélène Fargier, Régis Sabbadin	Qualitative Decision Rules under Uncertainty.	ECSQARU	2003	DBLP DOI BibTeX RDF
19	Ladislav J. Kohout, Eunjin Kim	The role of BK-products of relations in soft computing.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Relational BK-products, Fuzzy relational computations, Distributed computing, Knowledge discovery, Neuro-fuzzy
19	Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck	Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
19	Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi	Belief Reconstruction in Cooperative Dialogues.	AIMSA	1998	DBLP DOI BibTeX RDF
19	Oscar H. Ibarra, Louis E. Rosier	The Equivalence Problem and Correctness Formulas for a Simple Class of Programs (Extended Abstract).	MFCS	1984	DBLP DOI BibTeX RDF
19	Stephen D. Brookes, William C. Rounds	Behavioural Equivalence Relations Induced by Programming Logics.	ICALP	1983	DBLP DOI BibTeX RDF