The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Axiomatics with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1963-1990 (16) 1992-2000 (17) 2001-2007 (16) 2008-2014 (16) 2015-2023 (10)
Publication types (Num. hits)
article(36) incollection(2) inproceedings(37)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 56 occurrences of 47 keywords

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