Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Antony Galton |
The Mereotopology of Discrete Space. |
COSIT |
1999 |
DBLP DOI BibTeX RDF |
Discrete Space, Artificial Intelligence, Connection, Regions, Adjacency, Mereotopology |
15 | Rob J. van Glabbeek, Peter Rittgen |
Scheduling Algebra. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Uwe Waldmann |
Superposition for Divisible Torsion-Free Abelian Groups. |
CADE |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Matteo Baldoni, Laura Giordano 0001, Alberto Martelli |
A Tableau for Multimodal Logics and Some (Un)Decidability Results. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
Multimodal logics, Prefixed Tableaux methods, Decidability, Formal Grammars |
15 | Colin Potts, Wendy Newstetter |
Naturalistic Inquiry and Requirements Engineering: Reconciling Their Theoretical Foundations. |
RE |
1997 |
DBLP DOI BibTeX RDF |
naturalistic inquiry, social and contextual factors, formal specification, requirements engineering, ethnography |
15 | John Penix, Perry Alexander, Klaus Havelund |
Declarative Specification of Software Architectures. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
interconnected components, component variation, task coordination architecture, multi-threaded plan execution system, software architectures, formal specification, formal methods, abstraction, system requirements, declarative specification |
15 | Ajay D. Kshemkalyani |
Causality between Nonatomic Poset Events in Distributed Computations. |
FTDCS |
1997 |
DBLP DOI BibTeX RDF |
Distributed system, Synchronization, Time, Atomicity, Causality |
15 | Dongha Shin, Michael L. Hilton |
Compilation of Disjunctive Logic Programs Using an Extended WAM. |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Theo W. C. Huibers, Iadh Ounis, Jean-Pierre Chevallet |
Conceptual Graph Aboutness. |
ICCS |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Brandon Bennett |
Carving Up Space: Steps Towards Construction of an Absolutely Complete Theory of Spatial Regions. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Jürgen Stuber |
Superposition Theorem Proving for Albelian Groups Represented as Integer Modules. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Borgida, John Mylopoulos, Raymond Reiter |
On the Frame Problem in Procedure Specifications. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
frame assertion, semantics of specification languages, specifications, languages, inheritance, Formal, proof obligations |
15 | Burghard von Karger |
An Algebraic Approach to Temporal Logic. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Henry M. Kim, Mark S. Fox, Michael Grüninger |
An Ontology of Quality for Enterprise Modelling. |
WETICE |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Laurent Vigneron |
Positive Deduction modulo Regular Theories. |
CSL |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Raúl Monroy, Alan Bundy, Andrew Ireland |
Proof Plans for the Correction of False Conjectures. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Regimantas Pliuskevicius |
Saturation Replaces Induction for a Miniscoped Linear Temporal Logic. |
Formal Methods in Programming and Their Applications |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Hans Jürgen Ohlbach |
Optimized Translation of Multi Modal Logic into Predicate Logic. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Joachim Parrow, Davide Sangiorgi |
Algebraic Theories for Name-Passing Calculi. |
REX School/Symposium |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Valery A. Nepomniaschy, A. A. Sulimov |
Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Steffen Hölldobler |
On Deductive Planning and the Frame Problem. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Dino Karabeg, Victor Vianu |
Simplification Rules and Complete Axiomatization for Relational Update Transactions. |
ACM Trans. Database Syst. |
1991 |
DBLP DOI BibTeX RDF |
performance |
15 | Sjouke Mauw, Gert J. Veltink |
A Proof Assistant for PSF. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Françoise Debart, Patrice Enjalbert, Madeleine Lescot |
Multi-Modal Logic Programming using Equational and Order-Sorted Logic. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
Order-sorted Logic, Equationnal Methods, E-Resolution, Logic Programming, Modal Logic, Unification |
15 | Jean-Pierre Jouannaud |
Syntactic Theories. |
MFCS |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Ambuj K. Singh |
An Axiomatization of Wait-Freedom and Low-Atomicity. |
ICCI |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Jan Friso Groote |
A New Strategy for Proving omega-Completeness applied to Process Algebra. |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Catriel Beeri, Philip A. Bernstein, Nathan Goodman |
A model for concurrency in nested transactions systems. |
J. ACM |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Frank D. Anger |
On Lamport's Interprocessor Communication Model. |
ACM Trans. Program. Lang. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Egidio Astesiano, Maura Cerioli |
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications. |
TAPSOFT, Vol.1 |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Ana Pasztor |
Does "N+1 Times" Prove More Programs Correct Than "N Times"? |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Peter Wegner |
Granularity of modules in object-based concurrent systems. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Rick L. Stevens |
Challenge Problems from Nonassociative Rings for Theorem Provers. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Ernie Manes |
Assertional Categories. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Vincent J. Digricoli, Malcolm C. Harrison |
Equality-based binary resolution. |
J. ACM |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Eliezer L. Lozinskii |
A Problem-Oriented Inferential Database System. |
ACM Trans. Database Syst. |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Ludwik Czaja |
Making nets abstract and structures. |
Applications and Theory in Petri Nets |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Peter Dybjer |
Domain Algebras. |
ICALP |
1984 |
DBLP DOI BibTeX RDF |
|
15 | Stephen D. Brookes |
On the Relationship of CCS and CSP. |
ICALP |
1983 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Pierre Jouannaud |
Confluent and Coherent Equational Term Rewriting Systems: Application to Proofs in Abstract Data Types. |
CAAP |
1983 |
DBLP DOI BibTeX RDF |
|
15 | Andrzej Salwicki |
Algorithmic Theories of Data Structures. |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
15 | Petr Hájek 0001 |
Making Dynamic Logic First-Order. |
MFCS |
1981 |
DBLP DOI BibTeX RDF |
|
15 | David R. Musser |
On Proving Inductive Properties of Abstract Data Types. |
POPL |
1980 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Borgida, Sol J. Greenspan |
Data and Activities: Exploiting Hierarchies of Classes. |
Workshop on Data Abstraction, Databases and Conceptual Modelling |
1980 |
DBLP DOI BibTeX RDF |
|
15 | W. W. Bledsoe, Larry M. Hines |
Variable Elimination and Chaining in a Resolution-based Prover for Inequalities. |
CADE |
1980 |
DBLP DOI BibTeX RDF |
|
15 | Jean H. Gallier |
Recursion Schemes and Generalized Interpretations (Extended Abstract). |
ICALP |
1979 |
DBLP DOI BibTeX RDF |
|
15 | Edmund M. Clarke |
Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems. |
POPL |
1977 |
DBLP DOI BibTeX RDF |
|
15 | Gregory J. Chaitin |
Information-Theoretic Limitations of Formal Systems. |
J. ACM |
1974 |
DBLP DOI BibTeX RDF |
|
15 | C. A. R. Hoare |
An Axiomatic Basis for Computer Programming. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
axiomatic method, formal language definition, machine-independent programming, program documentation, theory of programming' proofs of programs, programming language design |
15 | Simon Guilloud, Viktor Kuncak |
Orthologic with Axioms. |
Proc. ACM Program. Lang. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Michela Ceria, Relinde P. M. J. Jurrius |
Alternatives for the q-matroid axioms of independent spaces, bases, and spanning spaces. |
Adv. Appl. Math. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Valentin Blot, Gilles Dowek, Thomas Traversié, Théo Winterhalter |
From Rewrite Rules to Axioms in the λΠ-Calculus Modulo Theory. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Andrea Aveni, Ludovico Crippa, Giulio Principi |
On the Weighted Top-Difference Distance: Axioms, Aggregation, and Approximation. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Davide Castelnovo, Marino Miculan |
On The Axioms Of M, N-Adhesive Categories. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Martin Durand, Fanny Pascual |
Collective schedules: axioms and algorithms. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Igor Gorbunov, Dmitry Shkatov |
Extensions of Solovay's system S without independent sets of axioms. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Gabriel Goldberg |
Measurable cardinals and choiceless axioms. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Pierre Lairez |
Axioms for a theory of signature bases. |
J. Symb. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Valentin Blot, Gilles Dowek, Thomas Traversié, Théo Winterhalter |
From Rewrite Rules to Axioms in the $\lambda \varPi $-Calculus Modulo Theory. |
FoSSaCS (2) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Caleb Schultz Kisby, Saúl A. Blanco, Lawrence S. Moss |
What Do Hebbian Learners Learn? Reduction Axioms for Iterated Hebbian Learning. |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Ali Ballout, Célia da Costa Pereira, Andrea G. B. Tettamanzi |
Scalable Prediction of Atomic Candidate OWL Class Axioms Using a Vector-Space Dimension Reduced Approach. |
ICAART (2) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Satoshi Nakata |
Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Xuechong Guan |
Comparison of two types of separation axioms in soft topological spaces. |
J. Intell. Fuzzy Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Tobias Fritz, Tomás Gonda, Nicholas Gauguin Houghton-Larsen, Antonio Lorenzin, Paolo Perrone, Dario Stein |
Dilations and information flow axioms in categorical probability. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Salah M. Elsayed, Keng Meng Ng |
Computable soft separation axioms. |
Math. Struct. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Pavel Chebotarev |
Selection of centrality measures using Self-consistency and Bridge axioms. |
J. Complex Networks |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Timothy van Bremen, Ondrej Kuzelka |
Lifted inference with tree axioms. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mieczyslaw Alojzy Klopotek, Robert Albert Klopotek |
On the Discrepancy between Kleinberg's Clustering Axioms and k-Means Clustering Algorithm Behavior. |
Mach. Learn. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Joshua A. Grochow |
Polynomial-Time Axioms of Choice and Polynomial-Time Cardinality. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zhechen Li, Ao Liu, Lirong Xia, Yongzhi Cao, Hanpin Wang |
Trading Off Voting Axioms for Privacy. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Markus Brill, Jannik Peters 0001 |
Robust and Verifiable Proportionality Axioms for Multiwinner Voting. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Fernando Zhapa-Camacho, Robert Hoehndorf |
From axioms over graphs to vectors, and back again: evaluating the properties of graph-based ontology embeddings. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Boldizsár Poór, Robert I. Booth, Titouan Carette, John van de Wetering, Lia Yeh |
The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification. |
QPL |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mieczyslaw A. Klopotek |
Wide Gaps and Clustering Axioms. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Gilles Dowek |
Axioms vs. rewrite rules: from completeness to cut elimination. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Simon Guilloud, Viktor Kuncak |
Orthologic with Axioms. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Joshua A. Grochow |
Polynomial-Time Axioms of Choice and Polynomial-Time Cardinality. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Pavel Chebotarev |
Selection of Centrality Measures Using Self-Consistency and Bridge Axioms. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | James Willson, Tandy J. Warnow |
Axioms for Distanceless Graph Partitioning. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sagar Malhotra, Luciano Serafini |
Weighted First Order Model Counting with Directed Acyclic Graph Axioms. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Balbiani, Wiebe van der Hoek, Louwe B. Kuijer |
Simple Axioms for Local Properties. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Piyu Li, Wen-Li Liu, Lei Mou, Zhi-Fang Guo |
On separation axioms of topological rough groups. |
Soft Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Arthur J. Parzygnat, Francesco Buscemi |
Axioms for retrodiction: achieving time-reversal symmetry with a prior. |
Quantum |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Christopher Henney-Turner, Philipp Schlicht |
Forcing axioms via ground model interpretations. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Nicolás Madrid, Chris Cornelis |
Kitainik axioms do not characterize the class of inclusion measures based on contrapositive fuzzy implications. |
Fuzzy Sets Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Igor Arrieta, Javier Gutiérrez García, Ulrich Höhle |
Enriched lower separation axioms and the principle of enriched continuous extension. |
Fuzzy Sets Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot |
Correction: Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. |
J. Autom. Reason. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ryo Hatano, Katsuhiko Sano |
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers. |
J. Log. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Claudio E. A. Pizzi |
Axioms for a Logic of Consequential Counterfactuals. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jan A. Bergstra, John V. Tucker |
On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness. |
Comput. J. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Tugçe Aydin, Serdar Enginoglu, Ahmet Mollaogullari |
Clarifying Soft Semi-Separation Axioms Using the Concept of Soft Element. |
New Math. Nat. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ismail A. Mageed |
The Consistency Axioms of The Stable M/G/1 Queue's Za, b Non-Extensive Maximum Entropy Formalism with M/G/1 Theory Applications to 6G Networks and Multimedia Applications. |
ICCA |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sandra Müller |
Determinacy Axioms and Large Cardinals. |
ICLA |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Fernando Zhapa-Camacho, Robert Hoehndorf |
From Axioms over Graphs to Vectors, and Back Again: Evaluating the Properties of Graph-based Ontology Embeddings. |
NeSy |
2023 |
DBLP BibTeX RDF |
|
15 | Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita |
Strategies in Conditional Narrowing Modulo SMT Plus Axioms. |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Taylor Olson, Kenneth D. Forbus |
Mitigating Adversarial Norm Training with Moral Axioms. |
AAAI |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Johannes Niederhauser, Nao Hirokawa, Aart Middeldorp |
Left-Linear Completion with AC Axioms. |
CADE |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Markus Brill, Jannik Peters 0001 |
Robust and Verifiable Proportionality Axioms for Multiwinner Voting. |
EC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jan Christoph Schlegel, Mateusz Kwasnicki, Akaki Mamageishvili |
Axioms for Constant Function Market Makers. |
EC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alcides Lopes, Joel Luis Carbonera, Mara Abel |
Disjointness axioms between top-level ontology concepts as a heuristic for word similarity evaluation. |
ICTAI |
2023 |
DBLP DOI BibTeX RDF |
|