Search results for "axioms"

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