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