Search results for "Axioms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Tomoko Ninomiya, Masao Mukaidono	Independence of the Axioms of Boolean Algebra in Multiple-Valued Logic. (PDF / PS)	ISMVL	2000	DBLP DOI BibTeX RDF	the Method of Indeterminate Coefficients, Independency of axioms, complete set of axioms, Boolean algebra
3	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
3	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
3	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
3	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
3	Tomoko Ninomiya, Masao Mukaidono	Clarifying the Axioms of Kleene Algebra based on the Method of Indeterminate Coefficients. (PDF / PS)	ISMVL	1999	DBLP DOI BibTeX RDF	the Method of Indeteminate Coefficients, Independency of axiom, Complete axioms, Kleene Algebra
3	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
2	Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev	DL-Lite with Temporalised Concepts, Rigid Axioms and Roles.	FroCos	2009	DBLP DOI BibTeX RDF
2	Murali Agastya, Arkadii M. Slinko	Axioms for a Class of Algorithms of Sequential Decision Making.	ADT	2009	DBLP DOI BibTeX RDF	ex-post rationality, fictitious play, multiset, sequential decision making
2	Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo	External Sources of Axioms in Automated Theorem Proving.	KI	2009	DBLP DOI BibTeX RDF
2	Ronan Cummins, Colm O'Riordan	Measuring constraint violations in information retrieval.	SIGIR	2009	DBLP DOI BibTeX RDF	information retrieval, constraints, axioms
2	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
2	Johanna Völker, Sebastian Rudolph	Lexico-Logical Acquisition of OWL DL Axioms.	ICFCA	2008	DBLP DOI BibTeX RDF
2	Jules Desharnais, Georg Struth	Domain Axioms for a Family of Near-Semirings.	AMAST	2008	DBLP DOI BibTeX RDF
2	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	2008	DBLP DOI BibTeX RDF
2	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
2	Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui	From Axioms to Analytic Rules in Nonclassical Logics.	LICS	2008	DBLP DOI BibTeX RDF	nonclassical logics, hypersequent calculi, semantic cut-elimination, sequent calculi
2	Rolf Grütter, Thomas Scharrenbach, Bettina Bauer-Messmer	Improving an RCC-Derived Geospatial Approximation by OWL Axioms.	International Semantic Web Conference	2008	DBLP DOI BibTeX RDF	Geospatial approximation, Region Connection Calculus, Web Ontology Language, hypothesis testing, consistency checking
2	Olivier Hermant, James Lipton	A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms.	CSL	2008	DBLP DOI BibTeX RDF
2	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
2	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
2	Jundi Ding, RuNing Ma, Songcan Chen, Jing-Yu Yang	Clustering Using Normalized Path-Based Metric.	ISNN	2008	DBLP DOI BibTeX RDF	Metric Axioms, Elongated Structure, Image Segmentation, Data Clustering, Linear Complexity
2	Yukiyoshi Kameyama	Axioms for control operators in the CPS hierarchy.	Higher-Order and Symbolic Computation	2007	DBLP DOI BibTeX RDF	Type system, Axiomatization, Delimited continuation, CPS translation, Control operator
2	Gonçalo Gutierres, Dirk Hofmann	Axioms for Sequential Convergence.	Applied Categorical Structures	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 54D55, 54A20, 18C15, 54B30
2	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
2	Johanna Völker, Pascal Hitzler, Philipp Cimiano	Acquisition of OWL DL Axioms from Lexical Resources.	ESWC	2007	DBLP DOI BibTeX RDF
2	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
2	Marta Takács	Axioms of the System Behavior in FLC Using Uninormas.	SACI	2007	DBLP DOI BibTeX RDF
2	Nick C. Fiala, Keith M. Agre	Searching for Shortest Single Axioms for Groups of Exponent 6.	J. Autom. Reasoning	2006	DBLP DOI BibTeX RDF	exponent, single axiom, group, automated theorem-proving
2	Joe Hendrix, José Meseguer, Hitoshi Ohsaki	A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms.	IJCAR	2006	DBLP DOI BibTeX RDF
2	Dejing Dou, Drew V. McDermott	Deriving axioms across ontologies.	AAMAS	2006	DBLP DOI BibTeX RDF	ontology translation, ontologies, agent communication, the Semantic web
2	Frédéric Fürst, Francky Trichet	Heavyweight Ontology Engineering.	OTM Workshops	2006	DBLP DOI BibTeX RDF	Heavyweight Ontology, Graph-Based Techniques, Conceptual Graphs, Axioms, Ontology Matching, Ontology Evaluation
2	Maria Bulinska	The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms.	Studia Logica	2005	DBLP DOI BibTeX RDF	Lambek, grammar, calculus, context-free
2	Marc Ehrig, York Sure	Ontology Mapping by Axioms (OMA).	Wissensmanagement (LNCS Volume)	2005	DBLP DOI BibTeX RDF
2	Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre	Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.	FATES	2005	DBLP DOI BibTeX RDF	proof tree normalization, conditional rewriting, algebraic specifications, Specification-based testing, unfolding, selection criteria
2	Scott McPeak, George C. Necula	Data Structure Specifications via Local Equality Axioms.	CAV	2005	DBLP DOI BibTeX RDF
2	Alon Altman, Moshe Tennenholtz	Ranking systems: the PageRank axioms.	ACM Conference on Electronic Commerce	2005	DBLP DOI BibTeX RDF	axiomatic theory, multi-agent systems, PageRank
2	Fabio 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
2	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
2	Dafa Li	The equality axioms are not independent.	SIGACT News	2004	DBLP DOI BibTeX RDF
2	Yukiyoshi Kameyama	Axioms for Delimited Continuations in the CPS Hierarchy.	CSL	2004	DBLP DOI BibTeX RDF
2	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
2	Paolo Bouquet, Luciano Serafini	On the Difference between Bridge Rules and Lifting Axioms.	CONTEXT	2003	DBLP DOI BibTeX RDF
2	Tomoko Ninomiya, Masao Mukaidono	Complete and Independent Sets of Axioms of Boolean Algebra. (PDF / PS)	ISMVL	2003	DBLP DOI BibTeX RDF
2	Michael Norrish	Mechanising Hankin and Barendregt using the Gordon-Melham axioms.	MERLIN	2003	DBLP DOI BibTeX RDF	higher order abstract syntax, interactive theorem-proving
2	Jan Brase, Mark Painter, Wolfgang Nejdl	Completing LOM - How Additional Axioms Increase the Utility of Learning Object Metadata.	ICALT	2003	DBLP DOI BibTeX RDF
2	Christine Golbreich, Olivier Dameron, Bernard Gibaud, Anita Burgun	Web Ontology Language Requirements w.r.t Expressiveness of Taxonomy and Axioms in Medicine.	International Semantic Web Conference	2003	DBLP DOI BibTeX RDF
2	Avik Sinha, Carol Smidts, Andrew Moran	Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications.	ISSRE	2003	DBLP DOI BibTeX RDF
2	Luís Mota, Luís Miguel Botelho, Hugo Mendes, António Lopes	O3F: an object oriented ontology framework.	AAMAS	2003	DBLP DOI BibTeX RDF	FIPA SL, action methods, arbitrary axioms, ontology representation framework, ontology, situation calculus
2	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
2	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
2	Didier Dubois, Hélène Fargier, Henri Prade, Patrice Perny	Qualitative decision theory: from savage's axioms to nonmonotonic reasoning.	J. ACM	2002	DBLP DOI BibTeX RDF	Comparative uncertainty, preference relations, qualitative decision theory, decision theory, nonmonotonic reasoning, possibility theory
2	Russell Impagliazzo, Nathan Segerlind	Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations.	ICALP	2002	DBLP DOI BibTeX RDF
2	Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir	Equational Axioms for Probabilistic Bisimilarity.	AMAST	2002	DBLP DOI BibTeX RDF
2	Tomoko Ninomiya, Masao Mukaidono	Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra. (PDF / PS)	ISMVL	2002	DBLP DOI BibTeX RDF
2	Athanassios Tzouvaras	Freiling's axioms of symmetry in a general setting and some applications.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03C62, 03H10
2	Joel David Hamkins	The Wholeness Axioms and V=HOD.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF
2	Masahito Hasegawa, Yoshihiko Kakutani	Axioms for Recursion in Call-by-Value.	FoSSaCS	2001	DBLP DOI BibTeX RDF
2	Joan Bagaria	Bounded forcing axioms as principles of generic absoluteness.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
2	Tomoko Ninomiya, Masao Mukaidono	Fundamental Properties on Axioms of Kleene Algebra.	ISMIS	2000	DBLP BibTeX RDF
2	Grégory Lafitte, Jacques Mazoyer	The Infinite Versions of LOGSPACE != P Are Consistent with the Axioms of Set Theory.	MFCS	2000	DBLP DOI BibTeX RDF
2	Herman Geuvers, Milad Niqui	Constructive Reals in Coq: Axioms and Categoricity.	TYPES	2000	DBLP DOI BibTeX RDF
2	Mehmet M. Dalkilic, Edward L. Robertson	Information Dependencies.	PODS	2000	DBLP DOI BibTeX RDF	Armstrong's Axioms, information dependency, entropy, functional dependency, multivalued dependency
2	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
2	Barbara J. Czerny, Mats Per Erik Heimdahl	Identifying Domain Axioms Using Binary Decision Diagrams. (PDF / PS)	HASE	1999	DBLP DOI BibTeX RDF	Static Requirements Analysis, Domain Axioms, Spurious Errors, Completeness Analysis, False Positives, Consistency Analysis, Binary Decision Diagrams (BDDs)
2	Fabio Gagliardi Cozman	Irrelevance and Independence Axioms in Quasi-Bayesian Theory.	ESCQARU	1999	DBLP DOI BibTeX RDF
2	Alex K. Simpson	Elementary Axioms for Categories of Classes.	LICS	1999	DBLP DOI BibTeX RDF
2	Joost Engelfriet, Tjalling Gelsema	Axioms for Generalized Graphs, Illustrated by a Cantor-Bernstein Proposition.	Acta Inf.	1998	DBLP DOI BibTeX RDF
2	Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger	Axioms for Real-Time Logics.	CONCUR	1998	DBLP DOI BibTeX RDF
2	Michael Thielscher	Towards State Update Axioms: Reifying Successor State Axioms.	JELIA	1998	DBLP DOI BibTeX RDF
2	Peter Selinger	First-Order Axioms for Asynchrony.	CONCUR	1997	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	Christoph Walther	Computing Induction Axioms.	LPAR	1992	DBLP DOI BibTeX RDF
2	William McCune, Larry Wos	Application of Automated Deduction to the Search for Single Axioms for Exponent Groups.	LPAR	1992	DBLP DOI BibTeX RDF
2	Yusuf Ozturk, Lawrence J. Henschen	Hyper Resolution and Equality Axioms without Function Substitutions.	CADE	1990	DBLP DOI BibTeX RDF
2	D. Sarkar, 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
2	Yizong Cheng, Rangasami L. Kashyap	An axiomatic approach for combining evidence from a variety of sources.	Journal of Intelligent and Robotic Systems	1988	DBLP DOI BibTeX RDF	Combining evidence, knowledge sources, ordered semigroups, belief assignment, expert system, Bayesian, axioms, likelihood
2	Jayadev Misra	Axioms for Memory Access in Asynchronous Hardware Systems.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
2	Jayadev Misra	Axioms for Memory Access in Asynchronous Hardware Systems.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
2	Eike Best, Agathe Merceron	Concurrency axioms and D-continuous posets.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
2	Klaus Drosten	Towards Executable Specifications Using Conditional Axioms.	STACS	1984	DBLP DOI BibTeX RDF
2	Andrzej Salwicki	Axioms of Algorithmic Logic Univocally Determine Semantics of Programs.	MFCS	1980	DBLP DOI BibTeX RDF
2	Hans-Josef Jeanrond	A Unique Termination Theorem for a Theory with Generalised Commutative Axioms.	ICALP	1979	DBLP DOI BibTeX RDF
2	John K. Dixon	Z-Resolution: Theorem-Proving with Compiled Axioms.	J. ACM	1973	DBLP DOI BibTeX RDF
1	David Sánchez, Antonio Moreno, Luis Del Vasto Terrientes	Learning relation axioms from text: An automatic Web-based approach.	Expert Syst. Appl.	2012	DBLP DOI BibTeX RDF
1	S. Ryuo, K. Sato, Y. Yamamoto	Parameterized fairness axioms on cycle-free graph games.	J. Global Optimization	2012	DBLP DOI BibTeX RDF
1	Benjamin Claverie, Ralf Schindler	Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁.	J. Symb. Log.	2012	DBLP BibTeX RDF
1	Karel Chvalovský	On the independence of axioms in BL and MTL.	Fuzzy Sets and Systems	2012	DBLP DOI BibTeX RDF
1	Michael Cox, Richard Kaye	Amphi-ZF : axioms for Conway games.	Arch. Math. Log.	2012	DBLP DOI BibTeX RDF
1	Huayou Si, Zhong Chen, Yun Zhao, Yong Deng	P2P-Based Publication and Sharing of Axioms in OWL Ontologies for SPARQL Query Processing in Distributed Environment.	APWeb	2012	DBLP DOI BibTeX RDF
1	Anselmo Peñas, Ekaterina Ovchinnikova	Unsupervised Acquisition of Axioms to Paraphrase Noun Compounds and Genitives.	CICLing	2012	DBLP DOI BibTeX RDF
1	Abhijit Dasgupta	A set of axioms for nonstandard extensions.	Math. Log. Q.	2011	DBLP DOI BibTeX RDF
1	Shiran Rachmilevitch	Disagreement point axioms and the egalitarian bargaining solution.	Int. J. Game Theory	2011	DBLP DOI BibTeX RDF
1	Jules Desharnais, Georg Struth	Internal axioms for domain semirings.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Jörg Stoye	Axioms for minimax regret choice correspondences.	J. Economic Theory	2011	DBLP DOI BibTeX RDF
1	Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas	Converse-PDL with regular inclusion axioms: a framework for MAS logics.	Journal of Applied Non-Classical Logics	2011	DBLP BibTeX RDF
1	Anya Helene Bagge, Valentin David, Magne Haveraaen	Testing with Axioms in C++ 2011.	Journal of Object Technology	2011	DBLP DOI BibTeX RDF
1	Amin Saif, Adem Kiliçman	On Lower Separation and Regularity Axioms in Fuzzy Topological Spaces.	Adv. Fuzzy Systems	2011	DBLP DOI BibTeX RDF