Search results for "axiom"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	Kyriakos Keremedis	Disasters in topology without the axiom of choice.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Axiom of Choice, Countable axiom of choice, Countable axiom of Multiple choice, Countably compact, First countable, Second countable, Metrizable spaces, Compact, Separable
75	Hiroyuki Izumi, Yasuyoshi Inagaki, Namio Honda	A Complete Axiom System for Algebra of Closed-Regular Expression.	ICALP	1984	DBLP DOI BibTeX RDF
65	Victor Pambuccian	The Simplest Axiom System for Plane Hyperbolic Geometry.	Stud Logica	2004	DBLP DOI BibTeX RDF	constructive axiomatization, simplicity, Hyperbolic geometry, Euclidean geometry
65	Ivan Chajda, Miroslav Kolarík	Independence of axiom system of basic algebras.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Basic algebra, Axiom system, Double negation law, Independence
55	Xiangpeng Li, Qiang Tang 0011, Qing Liu 0011	An minimal axiom group of rough set based on generalized relation.	GrC	2005	DBLP DOI BibTeX RDF
55	Teodor Rus, John P. Le Peau	Language specification by multi-axiom grammars.	ICCL	1988	DBLP DOI BibTeX RDF
55	Jacob N. Smith, Gabriel Dos Reis, Jaakko Järvi	Algorithmic differentiation in Axiom.	ISSAC	2007	DBLP DOI BibTeX RDF	algorithmic differentiation, program transformation, axiom, symbolic-numeric computation
55	Paul Corazza	Consistency of V = HOD with the wholeness axiom.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF	Wholeness Axiom, Elementary embeddings -HOD- Regular classes, Laver sequences
50	Janis Barzdins, Rusins Freivalds, Carl H. Smith	Towards Axiomatic Basis of Inductive Inference.	FCT	2001	DBLP DOI BibTeX RDF
50	Edgar Knapp	Soundness and Completeness of UNITY Logic.	FSTTCS	1994	DBLP DOI BibTeX RDF	Classification Theory of Programming Languages, Logic in Computer Science, Theory of Parallel and Distributed Computation
46	Vasco Brattka, Matthias Schröder 0001	Computing with Sequences, Weak Topologies and the Axiom of Choice.	CSL	2005	DBLP DOI BibTeX RDF
46	Bernhard Banaschewski	The Axiom of Countable Choice and Pointfree Topology.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	zero-dimensional frames, completely regular frames, coreflections from Lindelöf frames, Axiom of Countable Choice
40	Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster 0001	Binary Refinement Implies Discrete Exponentiation.	Stud Logica	2006	DBLP DOI BibTeX RDF	Constructive set theory, Exponentiation axiom
40	Torben Braüner	Axioms for classical, intuitionistic, and paraconsistent hybrid logic.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	Axiom systems, Modal logic, Paraconsistent logic, Intuitionistic logic, Hybrid logic, Strong negation, Constructive logic
40	Jingyu Jin, Keyun Qin, Zheng Pei 0001	Reduction-Based Approaches Towards Constructing Galois (Concept) Lattices.	RSKT	2006	DBLP DOI BibTeX RDF	Galois (concept) lattices, CL–Axiom, attribute reduction
40	Akpodigha Filatei, Xin Li 0009, Marc Moreno Maza, Éric Schost	Implementation techniques for fast polynomial arithmetic in a high-level programming environment.	ISSAC	2006	DBLP DOI BibTeX RDF	Aldor, polynomials, high-performance, Axiom
40	Shu Li 0001	A Behavioral Choice Model When Computational Ability Matters.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	intuitive abilities, behavioural choice model, prominence effect, independence axiom, transitivity axiom
36	László Á. Kóczy	Measuring Voting Power: The Paradox of New Members vs. the Null Player Axiom.	Towards Intelligent Engineering and Information Technology	2009	DBLP DOI BibTeX RDF
36	Arnon Avron, Agata Ciabattoni, Anna Zamansky	Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism.	CSR	2009	DBLP DOI BibTeX RDF
36	Roberto Sebastiani, Michele Vescovi	Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis.	CADE	2009	DBLP DOI BibTeX RDF
36	Teruyuki Yorioka	Some weak fragments of Martin's axiom related to the rectangle refining property.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E50, 03E35
36	Lawrence C. Paulson	The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZF.	CiE	2008	DBLP DOI BibTeX RDF
36	Cory J. Butz, S. K. Michael Wong, Dan Wu 0006	A New Inference Axiom for Probabilistic Conditional Independence.	AI	2003	DBLP DOI BibTeX RDF
36	Guram Bezhanishvili, Ray Mines, Patrick J. Morandi	The Priestley Separation Axiom for Scattered Spaces.	Order	2002	DBLP DOI BibTeX RDF	Priestley space, scattered space, Stone space, quasi-order
36	Jan A. Bergstra, Jan Willem Klop	ACTtau: A Universal Axiom System for Process Specification.	Algebraic Methods	1987	DBLP DOI BibTeX RDF	1982 CR Categories F.1.2, F.4.3, D.3.3, F.3.2
36	Nicolas J. Doye	Automated Coercion for Axiom.	ISSAC	1999	DBLP DOI BibTeX RDF	AXIOM
36	Jean-Louis Boulanger	Object Oriented Method for Axiom.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	AXIOM
32	Thilo Weinert	The Bounded Axiom A Forcing Axiom.	Math. Log. Q.	2010	DBLP DOI BibTeX RDF
32	Alexander Abian, Wael A. Amin	An Equivalent of the Axiom of Choice in Finite Models of the Powerset Axiom.	Notre Dame J. Formal Log.	1990	DBLP DOI BibTeX RDF
32	Robert E. Beaudoin	Strong Analogues of Martin's Axiom Imply Axiom R.	J. Symb. Log.	1987	DBLP DOI BibTeX RDF
32	J. Barkley Rosser, Atwell R. Turquette	Axiom Schemes for M-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility.	J. Symb. Log.	1948	DBLP DOI BibTeX RDF
30	Franz Baader, Martin Knechtel, Rafael Peñaloza	A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms.	ISWC	2009	DBLP DOI BibTeX RDF
30	Renate A. Schmidt, Dmitry Tishkovsky	On combinations of propositional dynamic logic and doxastic modal logics.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Combinations of modal logics, Doxastic logic, Belief and knowledge, Epistemic logic, Dynamic logic, Reasoning about actions
30	Márta Takács	Axioms of the System Behavior in FLC Using Uninormas.	SACI	2007	DBLP DOI BibTeX RDF
30	Xin Li 0009, Marc Moreno Maza, Éric Schost	On the Virtues of Generic Programming for Symbolic Computation.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	fast arithmetic, polynomials, high performance, Generic programming, efficient implementation
30	Vladimir Pestov	Intrinsic dimension of a dataset: what properties does one expect?	IJCNN	2007	DBLP DOI BibTeX RDF
30	Arnold Beckmann	Proofs, Programs and Abstract Complexity.	CSL	2007	DBLP DOI BibTeX RDF
30	Yu Sun 0005, Yuefei Sui, Zhiping Li	One Axiomatic System for the Ontology Revision.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	Subsumption relation, Default inheritance, Ontologies, Belief revision
30	Abolghasem Karimi Feizabadi, M. Mehdi Ebrahimi	Point-Free Version of Kakutani Duality.	Order	2005	DBLP DOI BibTeX RDF	Kakutani duality, Riesz space, frame
30	Shigeru Furuichi	On uniqueness Theorems for Tsallis entropy and Tsallis relative entropy.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
30	Jean-Louis Krivine	The Curry-Howard Correspondence in Set Theory.	LICS	2000	DBLP DOI BibTeX RDF
30	Mario Bravetti, Roberto Gorrieri	A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors.	ICALP	2000	DBLP DOI BibTeX RDF
30	Kazumi Nakamatsu, Atsuyuki Suzuki	A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
30	Per Kreuger	Axioms in Definitional Calculi.	ELP	1993	DBLP DOI BibTeX RDF
30	Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka	Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
30	Jan Friso Groote	A New Strategy for Proving omega-Completeness applied to Process Algebra.	CONCUR	1990	DBLP DOI BibTeX RDF
30	Raymond Reiter	Equality and Domain Closure in First-Order Databases.	J. ACM	1980	DBLP DOI BibTeX RDF
30	David G. Cantor	On The Ambiguity Problem of Backus Systems.	J. ACM	1962	DBLP DOI BibTeX RDF
30	Zhenhua Duan, Nan Zhang 0001	A Complete Axiomatization of Propositional Projection Temporal Logic.	TASE	2008	DBLP DOI BibTeX RDF	temporal logic, completeness, projection, inference rules, axiom
30	Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet	Test Selection Criteria for Quantifier-Free First-Order Specifications.	FSEN	2007	DBLP DOI BibTeX RDF	quantifier-free first-order specifications, axiom coverage, proof tree normalization, Specification-based testing, unfolding, test purpose, selection criteria
30	Delphine Longuet, Marc Aiguier	Specification-Based Testing for CoCasl's Modal Specifications.	CALCO	2007	DBLP DOI BibTeX RDF	axiom unfolding, coalgebraic specifications, CoCasl, modal logic, Specification-based testing
30	Johan van Benthem	Modal Frame Correspondences and Fixed-Points.	Stud Logica	2006	DBLP DOI BibTeX RDF	Löb's Axiom, frame correspondence, modal ?-calculus, fixed-point
30	Frank Hampel	The Proper Fiducial Argument.	GTIT-C	2006	DBLP DOI BibTeX RDF	Fiducial argument, fiducial probability, R.A. Fisher, foundations of statistics, aleatory probabilities, epistemic probabilities, structure of epistemic probabilities, upper and lower probabilities, frequentist statistics, axiom of frequentist epistemic probability, intersubjective statistics, bets, odds, fair bets, successful bets, aposteriori interpretation of confidence intervals, Neyman-Pearson statistics, Behrens-Fisher problem, statistical inference, confidence interval, Bayesian statistics
30	Olegas Vasilecas, Diana Bugaite	Ontology-Based Information Systems Development: The Problem of Automation of Information Processing Rules.	ADVIS	2006	DBLP DOI BibTeX RDF	SQL trigger, Ontology, axiom, ECA rule
30	Miklós Ajtai	A conjecture about polynomial time computable lattice-lattice functions.	STOC	2004	DBLP DOI BibTeX RDF	axiom of choice, algorithm, lattice
30	Wilfred Ng	An extension of the relational data model to incorporate ordered domains.	ACM Trans. Database Syst.	2001	DBLP DOI BibTeX RDF	Axiom system, chase rules, language expressiveness, mixed ordering, nonuniform completeness, order-preserving database automorphism, ordered SQL, ordered functional dependencies, ordered relational model, partially ordered domains, partially ordered relational algebra, pointwise ordering, valuation mapping, tableaux, lexicographical ordering, ordered relations, implication problem
30	Ben C. Moszkowski	A Complete Axiomatization of Interval Temporal Logic with Infinite Time.	LICS	2000	DBLP DOI BibTeX RDF	complete axiom systems, Buechi-automata, temporal logic, regular expressions, finite-state automata, omega-automata
30	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
30	Seiki Akama, Yotaro Nakayama	A Three-Valued Semantics for Discourse Representations.	ISMVL	1995	DBLP DOI BibTeX RDF	three-valued semantics, discourse representation theory, sequent calculus LKD, identity axiom, Gentzen's LK, predicate logic formulas, Schutte valuations, natural languages, calculus, proof theory, ternary logic
30	Jan J. M. M. Rutten	Nonwellfounded Sets and Programming Language Semantics.	MFPS	1991	DBLP DOI BibTeX RDF	transition system specification, nonwellfounded sets, anti-foundation-axiom, interpretation, bisimulation, compositionality, labelled transition system, Structured operational semantics
26	Franz Baader, Rafael Peñaloza	Automata-Based Axiom Pinpointing.	IJCAR	2008	DBLP DOI BibTeX RDF
26	Franz Baader, Rafael Peñaloza	Axiom Pinpointing in General Tableaux.	TABLEAUX	2007	DBLP DOI BibTeX RDF
26	Petr Cintula	Short note: on the redundancy of axiom (A3) in BL and MTL.	Soft Comput.	2005	DBLP DOI BibTeX RDF
26	Frédéric Fürst, Francky Trichet	Axiom-based ontology matching.	K-CAP	2005	DBLP DOI BibTeX RDF	semantic web, knowledge representation, knowledge engineering, conceptual graphs, ontology matching
26	Sergei Soloviev 0001	A Complete Axiom System for Isomorphism of Types in Closed Categories.	LPAR	1993	DBLP DOI BibTeX RDF
26	Joseph Y. Halpern	A Good Hoare Axiom System for an Algol-like Language.	POPL	1984	DBLP DOI BibTeX RDF	ALGOL
26	Edmund M. Clarke	Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems.	POPL	1977	DBLP DOI BibTeX RDF
20	Tomasz Jarmuzek, Andrzej Pietruszczak	The Tense Logic for Master Argument in Prior's Reconstruction.	Stud Logica	2009	DBLP DOI BibTeX RDF	Master Argument of Diodorus Cronus, time and modalities, logical structures of time, modal and tense logics
20	Sebastian Sequoiah-Grayson	Mono-Agent Dynamics.	LORI	2009	DBLP DOI BibTeX RDF
20	Michael Winter 0001	Complements in Distributive Allegories.	RelMiCS	2009	DBLP DOI BibTeX RDF
20	Spyros Galanis	Syntactic foundations for unawareness of theorems.	TARK	2009	DBLP DOI BibTeX RDF	bounded perception, uncertainty, modal logic, knowledge, unawareness, interactive epistemology
20	Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova	An axiomatic approach to algebrization.	STOC	2009	DBLP DOI BibTeX RDF	algebrization, independence, relativization
20	Marc Bezem, Dimitri Hendriks	On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Coherent logic, Proof objects, Hessenberg’s theorem, Automated theorem proving
20	Alasdair McAndrew	Teaching cryptography with open-source software.	SIGCSE	2008	DBLP DOI BibTeX RDF	cryptography, computer science education, open-source software, discrete mathematics, exploratory learning
20	Sheau-Farn Max Liang	An Axiomatic Method for Cross Cultural Usability Analysis.	HCI (10)	2007	DBLP DOI BibTeX RDF	Axiomatic Design, Culture Similarities, Cross Cultural Usability
20	Wanwei Liu, Ji Wang 0001, Wei Dong 0006, Huowang Chen	Axiomatizing Extended Temporal Logic Fragments Via Instantiation.	ICTAC	2007	DBLP DOI BibTeX RDF
20	Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn	Pinpointing in the Description Logic EL+.	KI	2007	DBLP DOI BibTeX RDF
20	Francesco Ciraulo, Giovanni Sambin	Finiteness in a Minimalist Foundation.	TYPES	2007	DBLP DOI BibTeX RDF	minimalist foundation, finite subsets, type theory, constructive mathematics, finite sets
20	Andrew Schumann	Non-Archimedean Fuzzy Reasoning.	FSKD (1)	2007	DBLP DOI BibTeX RDF
20	Xin Li 0009, Marc Moreno Maza, Éric Schost	Fast arithmetic for triangular sets: from theory to practice.	ISSAC	2007	DBLP DOI BibTeX RDF	high-performance, multiplication, triangular set
20	Dejing Dou, Drew V. McDermott	Deriving axioms across ontologies.	AAMAS	2006	DBLP DOI BibTeX RDF	ontology translation, ontologies, agent communication, the Semantic web
20	Michael Beeson, Robert Veroff, Larry Wos	Double-Negation Elimination in Some Propositional Logics.	Stud Logica	2005	DBLP DOI BibTeX RDF
20	Russell O'Connor	Essential Incompleteness of Arithmetic Verified by Coq.	TPHOLs	2005	DBLP DOI BibTeX RDF
20	Gerard Allwein, Hilmi Demir, Lee Pike	Logics for Classes of Boolean Monoids.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	algebras of relations, Boolean monoids, correspondence theory, Kripke frames, relative modalities, CMOS circuits
20	Alan Stewart, Maurice Clint, Joaquim Gabarró	Barrier synchronisation: Axiomatisation and relaxation.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Global synchronisation, Operation relaxation, High performance computing, Hoare logic, BSP
20	Jean-François Monin	Proof Pearl: From Concrete to Functional Unparsing.	TPHOLs	2004	DBLP DOI BibTeX RDF
20	Alexandre Miquel	lamda-Z: Zermelo's Set Theory as a PTS with 4 Sorts.	TYPES	2004	DBLP DOI BibTeX RDF
20	Lutz Straßburger, François Lamarche	On Proof Nets for Multiplicative Linear Logic with Units.	CSL	2004	DBLP DOI BibTeX RDF
20	Olivier Brunet	A Labelled Sequent-Calculus for Observation Logic.	TABLEAUX	2003	DBLP DOI BibTeX RDF
20	Miklós Ajtai	Random Lattices and a Conjectured 0 - 1 Law about Their Polynomial Time Computable Properties.	FOCS	2002	DBLP DOI BibTeX RDF
20	Petr Cintula	About axiomatic systems of product fuzzy logic.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Product logic, Fuzzy logic, Many-valued logic
20	Chris Fox, Shalom Lappin	A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations.	LACL	2001	DBLP DOI BibTeX RDF
20	Joan Bagaria	Bounded forcing axioms as principles of generic absoluteness.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
20	Hui Wang 0001, David A. Bell, Fionn Murtagh	Axiomatic Approach to Feature Subset Selection Based on Relevance.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	Machine learning, entropy, knowledge discovery, relevance, feature subset selection
20	Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton	Formal Methods for Extensions to CAS.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
20	Femke van Raamsdonk	Higher-Order Rewriting.	RTA	1999	DBLP DOI BibTeX RDF
20	Jacek Chrzaszcz	Polymorphic Subtyping Without Distributivity.	MFCS	1998	DBLP DOI BibTeX RDF
20	Holger Hermanns, Markus Lohrey	Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract).	CONCUR	1998	DBLP DOI BibTeX RDF
20	Xudong Luo, Chengqi Zhang	A Unified Algebraic Structure for Uncertain Reasoning.	PRICAI	1996	DBLP DOI BibTeX RDF
20	Manfred Droste, Paul Gastin	Asynchronous Cellular Automata for Pomsets Without Auto-concurrency.	CONCUR	1996	DBLP DOI BibTeX RDF