Search results for "axioms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
81	Tomoko Ninomiya, Masao Mukaidono	Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra.	ISMVL	2002	DBLP DOI BibTeX RDF
79	Frédéric Fürst, Francky Trichet	Heavyweight Ontology Engineering.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF	Heavyweight Ontology, Graph-Based Techniques, Conceptual Graphs, Axioms, Ontology Matching, Ontology Evaluation
72	Anya Helene Bagge, Valentin David, Magne Haveraaen	The axioms strike back: testing with concepts and axioms in C++.	GPCE	2009	DBLP DOI BibTeX RDF	axiom-based testing, C++, program transformation, test generation, generative programming, unit testing, algebraic specification, concepts, axioms, mouldable programming, C++0x
70	Axioms Editorial Office	Acknowledgment to the Reviewers of Axioms in 2022.	Axioms	2023	DBLP DOI BibTeX RDF
70	Axioms Editorial Office	Acknowledgment to Reviewers of Axioms in 2021.	Axioms	2022	DBLP DOI BibTeX RDF
70	Axioms Editorial Office	Acknowledgment to Reviewers of Axioms in 2020.	Axioms	2021	DBLP DOI BibTeX RDF
70	Axioms Editorial Office	Acknowledgement to Reviewers of Axioms in 2019.	Axioms	2020	DBLP DOI BibTeX RDF
70	Axioms Editorial Office	Acknowledgement to Reviewers of Axioms in 2018.	Axioms	2019	DBLP DOI BibTeX RDF
69	Tomoko Ninomiya, Masao Mukaidono	Independence of the Axioms of Boolean Algebra in Multiple-Valued Logic.	ISMVL	2000	DBLP DOI BibTeX RDF	the Method of Indeterminate Coefficients, Independency of axioms, complete set of axioms, Boolean algebra
67	Walker M. White, Mirek Riedewald, Johannes Gehrke, Alan J. Demers	What is "next" in event processing?	PODS	2007	DBLP DOI BibTeX RDF	events, axiomatization, temporal models
62	Horst Zuse	Foundations of object-oriented software measures.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	object-oriented software measures, binary operations, extensive structure, qualitative criteria, Dempster-Shafer belief function, Kolmogoroff axioms, DeFinetti axioms, software measurement theory, concatenation operations, dominance axiom, object-oriented programming, software metrics, methods, inference mechanisms, object-oriented methods, programming theory, classes, uncertainty handling, weak order, belief maintenance, numbers
59	Tomoko Ninomiya, Masao Mukaidono	Complete and Independent Sets of Axioms of Boolean Algebra.	ISMVL	2003	DBLP DOI BibTeX RDF
52	Larry M. Hines	Hyper-Chaining and Knowledge-Based Theorem Proving.	CADE	1988	DBLP DOI BibTeX RDF
52	Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem	Logical and algebraic view of Huzita's origami axioms with applications to computational origami.	SAC	2007	DBLP DOI BibTeX RDF	constraint solving, first-order predicate logic, origami, geometric theorem proving
52	Herman Geuvers, Milad Niqui	Constructive Reals in Coq: Axioms and Categoricity.	TYPES	2000	DBLP DOI BibTeX RDF
52	John K. Dixon	Z-Resolution: Theorem-Proving with Compiled Axioms.	J. ACM	1973	DBLP DOI BibTeX RDF
52	Michael Thielscher	Towards State Update Axioms: Reifying Successor State Axioms.	JELIA	1998	DBLP DOI BibTeX RDF
50	Anthony J. Roy, John G. Stell	Convexity in Discrete Space.	COSIT	2003	DBLP DOI BibTeX RDF	Convexity axioms, alignment spaces, affine spaces, convex spaces, matroid algorithms, convex hull, discrete geometry, cell complexes, oriented matroids
50	Luís Mota, Luís Miguel Botelho, Hugo Mendes, António Lopes 0001	O3F: an object oriented ontology framework.	AAMAS	2003	DBLP DOI BibTeX RDF	FIPA SL, action methods, arbitrary axioms, ontology representation framework, ontology, situation calculus
49	Russell Impagliazzo, Nathan Segerlind	Constant-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Modular counting axioms, Nullstellensatz refutations, propositional proof complexity
49	Tomoko Ninomiya, Masao Mukaidono	Clarifying the Axioms of Kleene Algebra based on the Method of Indeterminate Coefficients.	ISMVL	1999	DBLP DOI BibTeX RDF	the Method of Indeteminate Coefficients, Independency of axiom, Complete axioms, Kleene Algebra
44	Francisco Durán 0001, Salvador Lucas, José Meseguer 0001	Termination Modulo Combinations of Equational Theories.	FroCoS	2009	DBLP DOI BibTeX RDF
44	Joey Sik Chun Lam, Derek H. Sleeman, Jeff Z. Pan, Wamberto Weber Vasconcelos	A Fine-Grained Approach to Resolving Unsatisfiable Ontologies.	J. Data Semantics	2008	DBLP DOI BibTeX RDF	Description Logics reasoning, Ontologies
44	Fiora Pirri, Raymond Reiter	Some Contributions to the Metatheory of the Situation Calculus.	J. ACM	1999	DBLP DOI BibTeX RDF	programming languages for the situation calculus, theorem-proving, regression, situation calculus
44	Martin Suda 0001, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo	External Sources of Axioms in Automated Theorem Proving.	KI	2009	DBLP DOI BibTeX RDF
44	Dejing Dou, Drew V. McDermott	Deriving axioms across ontologies.	AAMAS	2006	DBLP DOI BibTeX RDF	ontology translation, ontologies, agent communication, the Semantic web
42	Sergio Antoy, John D. Gannon	Using Term Rewriting to Verify Software.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction
42	Magne Haveraaen, Karl Trygve Kalleberg	JAxT and JDI: the simplicity of junit applied to axioms and data invariants.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	data invariants, java, program transformation, unit testing, test data generation, axioms, junit, mouldable programming
42	Anya Helene Bagge, Valentin David, Magne Haveraaen	Testing with concepts and axioms in C++.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	C++, specifications, program transformation, test generation, generative programming, unit testing, concepts, axioms, mouldable programming, C++0x
41	Shu-Kun Lin	Tenth Volume of Axioms and Why Axioms Was Launched.	Axioms	2021	DBLP DOI BibTeX RDF
37	Andreas Blass, Yuri Gurevich	Abstract state machines capture parallel algorithms: Correction and extension.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	ASM thesis, postulates for parallel computation, Parallel algorithm, parallel programming, abstract state machine
37	Reid Andersen, Christian Borgs, Jennifer T. Chayes, Uriel Feige, Abraham D. Flaxman, Adam Kalai, Vahab S. Mirrokni, Moshe Tennenholtz	Trust-based recommendation systems: an axiomatic approach.	WWW	2008	DBLP DOI BibTeX RDF	recommendation systems, reputation systems, trust networks, axiomatic approach
37	Sik Chun Lam, Jeff Z. Pan, Derek H. Sleeman, Wamberto Weber Vasconcelos	A Fine-Grained Approach to Resolving Unsatisfiable Ontologies.	Web Intelligence	2006	DBLP DOI BibTeX RDF
37	Prakash P. Shenoy, Glenn Shafer	Axioms for Probability and Belief-Function Propagation.	Classic Works of the Dempster-Shafer Theory of Belief Functions	2008	DBLP DOI BibTeX RDF
37	Huo Yan Chen, Lin Tan, T. H. Tse	A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing.	CSSE (2)	2008	DBLP DOI BibTeX RDF
37	Yukiyoshi Kameyama	Axioms for control operators in the CPS hierarchy.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Type system, Axiomatization, Delimited continuation, CPS translation, Control operator
37	Marc Ehrig, York Sure	Ontology Mapping by Axioms (OMA).	Wissensmanagement (LNCS Volume)	2005	DBLP DOI BibTeX RDF
37	Yukiyoshi Kameyama	Axioms for Delimited Continuations in the CPS Hierarchy.	CSL	2004	DBLP DOI BibTeX RDF
37	Paolo Bouquet, Luciano Serafini	On the Difference between Bridge Rules and Lifting Axioms.	CONTEXT	2003	DBLP DOI BibTeX RDF
37	Tomoko Ninomiya, Masao Mukaidono	Fundamental Properties on Axioms of Kleene Algebra.	ISMIS	2000	DBLP DOI BibTeX RDF
37	Christoph Walther	Computing Induction Axioms.	LPAR	1992	DBLP DOI BibTeX RDF
37	Yusuf Ozturk, Lawrence J. Henschen	Hyper Resolution and Equality Axioms without Function Substitutions.	CADE	1990	DBLP DOI BibTeX RDF
37	Jayadev Misra	Axioms for Memory Access in Asynchronous Hardware Systems.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
37	Jayadev Misra	Axioms for Memory Access in Asynchronous Hardware Systems.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
35	Anya Helene Bagge, Valentin David, Magne Haveraaen	Axiom-based testing for C++.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	C++, specifications, program transformation, test generation, generative programming, unit testing, concepts, axioms, mouldable programming, C++0x
35	Witold Abramowicz, Maria Vargas-Vera, Marek Wisniewski	Axiom-Based Feedback Cycle for Relation Extraction in Ontology Learning from Text.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	feedback cycle, Ontology learning, axioms, relation extraction
35	Gerhard Gröger, Lutz Plümer	How to Get 3-D for the Price of 2-D-Topology and Consistency of 3-D Urban GIS.	GeoInformatica	2005	DBLP DOI BibTeX RDF	2.5-D, 2.8-D, GIS, maps, consistency, topology, completeness, correctness, axioms, 3-D
35	Fábio Gagliardi Cozman, Peter Walley	Graphoid properties of epistemic irrelevance and independence.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	credal set, epistemic independence, graphoid axioms, lower prevision, imprecise probability, conditional independence
35	Gerhard Gröger, Lutz Plümer	Exploiting 2D concepts to achieve consistency in 3D GIS applications.	GIS	2003	DBLP DOI BibTeX RDF	GIS, maps, consistency, completeness, 3D, correctness, axioms
35	Michel Wermelinger	Conceptual Graphs and First-Order Logic.	ICCS	1995	DBLP DOI BibTeX RDF	Key phrases logical foundations of Conceptual Structures, logical axioms, higher-order types, meta-level reasoning, operator, inference rules
35	Yizong Cheng, Rangasami L. Kashyap	An axiomatic approach for combining evidence from a variety of sources.	J. Intell. Robotic Syst.	1988	DBLP DOI BibTeX RDF	Combining evidence, knowledge sources, ordered semigroups, belief assignment, expert system, Bayesian, axioms, likelihood
35	Barbara J. Czerny, Mats Per Erik Heimdahl	Identifying Domain Axioms Using Binary Decision Diagrams.	HASE	1999	DBLP DOI BibTeX RDF	Static Requirements Analysis, Domain Axioms, Spurious Errors, Completeness Analysis, False Positives, Consistency Analysis, Binary Decision Diagrams (BDDs)
30	Sreenivas Gollapudi, Aneesh Sharma	An axiomatic approach for result diversification.	WWW	2009	DBLP DOI BibTeX RDF	axiomatic framework, facility dispersion, approximation algorithms, search engine, wikipedia, diversification
30	Hakki C. Cankaya, Dan I. Moldovan	Method for extracting commonsense knowledge.	K-CAP	2009	DBLP DOI BibTeX RDF	commonsense knowledge, knowledge acquisition
30	Agata Ciabattoni, Lutz Straßburger, Kazushige Terui	Expanding the Realm of Systematic Proof Theory.	CSL	2009	DBLP DOI BibTeX RDF
30	Marc Pauly	On the role of language in social choice theory.	Synth.	2008	DBLP DOI BibTeX RDF	Logic, Judgment aggregation, Social choice theory
30	Matthew Horridge, Bijan Parsia, Ulrike Sattler	Laconic and Precise Justifications in OWL.	ISWC	2008	DBLP DOI BibTeX RDF
30	Ronan Cummins, Colm O'Riordan	An axiomatic comparison of learned term-weighting schemes in information retrieval: clarifications and extensions.	Artif. Intell. Rev.	2007	DBLP DOI BibTeX RDF	Axiomatic constraints, Information retrieval, Genetic programming
30	Pavel Naumov	Upper bounds on complexity of Frege proofs with limited use of certain schemata.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF
30	Gary T. Leavens	Invited Talk: JML framed!	PASTE	2004	DBLP DOI BibTeX RDF
30	Chris Giannella	An Axiomatic Approach to Defining Approximation Measures for Functional Dependencies.	ADBIS	2002	DBLP DOI BibTeX RDF
30	Nir Friedman, Joseph Y. Halpern	Plausibility measures and default reasoning.	J. ACM	2001	DBLP DOI BibTeX RDF	?-semantics, ?-rankings, plausibility measures, preferential orderings nonmonotonic inference, default reasoning, possibility measures, Conditional logic
30	Chuchang Liu, Maris A. Ozols, Anthony Cant	An Axiomatic Basis for Reasoning about Trust in PKIs.	ACISP	2001	DBLP DOI BibTeX RDF	CA (Certificate Authority), PKI (Public Key Infrastructure), trust theory, certificate verification, trust, information security, certificate
30	Joseph Y. Halpern, Nir Friedman	Plausibility Measures and Default Reasoning: An Overview.	LICS	1999	DBLP DOI BibTeX RDF
30	Michiel Hagedoorn, Remco C. Veltkamp	Measuring Resemblance of Complex Patterns.	DGCI	1999	DBLP DOI BibTeX RDF
30	Yuxi Fu	Open Bisimulations on Chi Processes.	CONCUR	1999	DBLP DOI BibTeX RDF
30	Michael J. Maher	A CLP View of Logic Programming.	ALP	1992	DBLP DOI BibTeX RDF
30	Olivier Hermant, James Lipton	A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms.	CSL	2008	DBLP DOI BibTeX RDF
30	Frédéric Fürst, Francky Trichet	Ontology Matching Based on the Comparison of Axioms Represented with Conceptual Graphs.	CISIS	2008	DBLP DOI BibTeX RDF
30	Márta Takács	Axioms of the System Behavior in FLC Using Uninormas.	SACI	2007	DBLP DOI BibTeX RDF
30	Olegas Vasilecas, Diana Bugaite	An algorithm for the automatic transformation of ontology axioms into a rule model.	CompSysTech	2007	DBLP DOI BibTeX RDF	ontology, conceptual model, rule, axiom, automatic transformation
30	Johanna Völker, Pascal Hitzler, Philipp Cimiano	Acquisition of OWL DL Axioms from Lexical Resources.	ESWC	2007	DBLP DOI BibTeX RDF
30	Maria Bulinska	The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms.	Stud Logica	2005	DBLP DOI BibTeX RDF	Lambek, grammar, calculus, context-free
30	Scott McPeak, George C. Necula	Data Structure Specifications via Local Equality Axioms.	CAV	2005	DBLP DOI BibTeX RDF
30	Dafa Li	The equality axioms are not independent.	SIGACT News	2004	DBLP DOI BibTeX RDF
30	Avik Sinha, Carol S. Smidts, Andrew Moran	Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications.	ISSRE	2003	DBLP DOI BibTeX RDF
30	Michael Norrish	Mechanising Hankin and Barendregt using the Gordon-Melham axioms.	MERLIN	2003	DBLP DOI BibTeX RDF	higher order abstract syntax, interactive theorem-proving
30	Joan Bagaria	Bounded forcing axioms as principles of generic absoluteness.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
30	Fábio Gagliardi Cozman	Irrelevance and Independence Axioms in Quasi-Bayesian Theory.	ESCQARU	1999	DBLP DOI BibTeX RDF
30	Olaf Kummer, Mark-Oliver Stehr	Petri's Axioms of Concurrency- A Selection of Recent Results.	ICATPN	1997	DBLP DOI BibTeX RDF	Topics Axiomatic theory of concurrency/causality
30	William McCune, Larry Wos	Application of Automated Deduction to the Search for Single Axioms for Exponent Groups.	LPAR	1992	DBLP DOI BibTeX RDF
30	Eike Best, Agathe Merceron	Concurrency axioms and D-continuous posets.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
29	Guillaume Aucher	Intricate Axioms as Interaction Axioms.	Stud Logica	2015	DBLP DOI BibTeX RDF
29	Guillaume Aucher	Axioms .2 and .4 as Interaction Axioms.	KR	2014	DBLP BibTeX RDF
29	Lingqiang Li, Qiu Jin	On stratified L-convergence spaces: Pretopological axioms and diagonal axioms.	Fuzzy Sets Syst.	2012	DBLP DOI BibTeX RDF
29	Wei Yao 0004, Fu-Gui Shi	Bases axioms and circuits axioms for fuzzifying matroids.	Fuzzy Sets Syst.	2010	DBLP DOI BibTeX RDF
29	Ross T. Brady	The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic.	Notre Dame J. Formal Log.	1972	DBLP DOI BibTeX RDF
27	Ronan Cummins, Colm O'Riordan	Measuring constraint violations in information retrieval.	SIGIR	2009	DBLP DOI BibTeX RDF	information retrieval, constraints, axioms
27	Jundi Ding, RuNing Ma, Songcan Chen, Jing-Yu Yang 0001	Clustering Using Normalized Path-Based Metric.	ISNN (2)	2008	DBLP DOI BibTeX RDF	Metric Axioms, Elongated Structure, Image Segmentation, Data Clustering, Linear Complexity
27	Eleni Tomai, Marinos Kavouras	From "Onto-GeoNoesis" to "Onto-Genesis": The Design of Geographic Ontologies.	GeoInformatica	2004	DBLP DOI BibTeX RDF	ontology generation, axioms, semantic relations, semantic properties, geographic ontologies
27	Mehmet M. Dalkilic, Edward L. Robertson	Information Dependencies.	PODS	2000	DBLP DOI BibTeX RDF	Armstrong's Axioms, information dependency, entropy, functional dependency, multivalued dependency
27	Marisa A. Sanchez, Juan Carlos Augusto	Testing an Implementation of a Temporal Logic Language.	SCCC	2000	DBLP DOI BibTeX RDF	temporal logic language, language implementation testing, Temporal Prolog, Hilbert model, formal specification, logic programming, temporal logic, temporal logic, PROLOG, program testing, specification-based testing, inference rules, axioms, program errors
27	Dipankar Sarkar 0001, S. C. De Sarkar	Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	flowchart programs, first-order rules, algebraic expressions, proof construction process, human thought process, user provided axioms, verification, theorem proving, program verification, inference mechanisms, inference rules, theorem prover, integer arithmetic
26	Hans J. Haubold	Henri Poincaré's Comment on Calculus and Albert Einstein's Comment on Entropy: Mathematical Physics on the Tenth Anniversary of Axioms.	Axioms	2023	DBLP DOI BibTeX RDF
26	Christophe Chesneau	Introduction to the Special Issue in Axioms Titled Current Research on Mathematical Inequalities.	Axioms	2023	DBLP DOI BibTeX RDF
26	Natália Martins, Ricardo Almeida 0001, Cristiana J. Silva, Moulay Rchid Sidi Ammi	Editorial for the Special Issue of Axioms "Calculus of Variations, Optimal Control and Mathematical Biology: A Themed Issue Dedicated to Professor Delfim F. M. Torres on the Occasion of His 50th Birthday".	Axioms	2023	DBLP DOI BibTeX RDF
26	Queralt Viladevall, Salvador Linares-Mustarós, Maria Antonia Huertas, Joan Carles Ferrer-Comalat	Understanding the Axioms and Assumptions of Logical Mathematical Systems through Raster Images: Application to the Construction of a Likert Scale.	Axioms	2023	DBLP DOI BibTeX RDF
26	Khalaf S. Sultan, Nashmiah R. AL-Shamari	Some Axioms and Identities of L-Moments from Logistic Distribution with Generalizations.	Axioms	2023	DBLP DOI BibTeX RDF
26	Oscar Castillo 0001	Special Issue for the 10th Anniversary of Axioms: Logic.	Axioms	2023	DBLP DOI BibTeX RDF
26	Ibrahim Gürler, Ozan Çakir, Bora Gündüzyeli	Some Generalized Results on Grey Number Operations Based on Liu-Lin Axioms of Greyness Degree and Information Content.	Axioms	2022	DBLP DOI BibTeX RDF