Search results for "CL–Axiom"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Ulrich Höhle, Tomasz Kubiak	Approximating Orders in Meet-Continuous Lattices and Regularity Axioms in Many Valued Topology.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06B23, 54A40, 54D10
10	Jiye Liang, Yuhua Qian	Information granules and entropy theory in information systems.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	rough set, information systems, entropy, information granule, information granulation
10	Wojciech Buszkowski, Ewa Palka	Infinitary Action Logic: Complexity, Models and Grammars.	Stud Logica	2008	DBLP DOI BibTeX RDF	action algebra, relation algebra, Kleene algebra, categorial grammar
10	Gerhard Schurz, Hannes Leitgeb	Finitistic and Frequentistic Approximation of Probability Measures with or without sigma-Additivity.	Stud Logica	2008	DBLP DOI BibTeX RDF	finite additivity, ?-additivity, frequency theory, finitistic approximation, Probability
10	Andrea Mesiarová-Zemánková	Semi-divisible triangular norms.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Residual implication, Ordinal sum, Triangular norm
10	Petr Hájek 0001, Radko Mesiar	On copulas, quasicopulas and fuzzy logic.	Soft Comput.	2008	DBLP DOI BibTeX RDF
10	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
10	Christian Urban	Nominal Techniques in Isabelle/HOL.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Nominal logic work, Lambda-calculus, Theorem provers
10	Balasubramaniam Jayaram	On the Law of Importation (x wedge y) longrightarrow z equiv (x longrightarrow (y longrightarrow z)) in Fuzzy Logic.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
10	Arthur W. Apter, Peter Koepke	Making all cardinals almost Ramsey.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E02, 03E25, 03E55, 03E35, 03E45
10	Fabrizio Caruso, Jacopo D'Aurizio, Alasdair McAndrew	Efficient Finite Fields in the Maxima Computer Algebra System.	WAIFI	2008	DBLP DOI BibTeX RDF	modular roots, Maxima, finite fields, primitive element
10	Yasuo Kawahara, Michael Winter 0001	Cardinality in Allegories.	RelMiCS	2008	DBLP DOI BibTeX RDF
10	John C. Reynolds	Readable Formal Proofs.	VSTTE	2008	DBLP DOI BibTeX RDF
10	Rastislav Bodík	Software synthesis with sketching.	PEPM	2008	DBLP DOI BibTeX RDF	synthesis
10	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
10	Alireza Attar, Mohammad Reza Nakhai, A. Hamid Aghvami	Cognitive Radio Game: A Framework for Efficiency, Fairness and QoS Guarantee.	ICC	2008	DBLP DOI BibTeX RDF
10	Junehee Lee	In-band mobile digital TV transmission technology for advanced television systems committee.	ASP-DAC	2008	DBLP DOI BibTeX RDF
10	Arnon Avron	A Framework for Formalizing Set Theories Based on the Use of Static Set Terms.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
10	Jan A. Bergstra, Yoram Hirshfeld, John V. Tucker	Fields, Meadows and Abstract Data Types.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
10	Florian Schoppmann	The Power of Small Coalitions in Cost Sharing.	WINE	2008	DBLP DOI BibTeX RDF
10	Yih-Kuen Tsay, Bow-Yaw Wang	Automated Compositional Reasoning of Intuitionistically Closed Regular Properties.	CIAA	2008	DBLP DOI BibTeX RDF
10	Roman Kuznets	Self-referentiality of Justified Knowledge.	CSR	2008	DBLP DOI BibTeX RDF
10	Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer	LogAnswer - A Deduction-Based Question Answering System (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
10	Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil	MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance.	IJCAR	2008	DBLP DOI BibTeX RDF
10	Franz Baader, Felix Distel	A Finite Basis for the Set of EL-Implications Holding in a Finite Model.	ICFCA	2008	DBLP DOI BibTeX RDF
10	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
10	Jie Zhao, Guohua Zhan, Juan Feng	Disputed Authorship in C Program Code after Detection of Plagiarism.	CSSE (1)	2008	DBLP DOI BibTeX RDF
10	Andrew Schumann	Non-well-Founded Probabilities on Streams.	SMPS	2008	DBLP DOI BibTeX RDF
10	Mikel Egaña, Alan L. Rector, Robert Stevens 0001, Erick Antezana	Applying Ontology Design Patterns in Bio-ontologies.	EKAW	2008	DBLP DOI BibTeX RDF
10	Yi Zhou 0013, Yan Zhang 0003	Rule Calculus: Semantics, Axioms and Applications.	JELIA	2008	DBLP DOI BibTeX RDF
10	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
10	Péter L. Erdös, Lajos Soukup	How To Split Antichains In Infinite Posets.	Comb.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 06A07, 03E05
10	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
10	Darrell P. Rowbottom	The Insufficiency of the Dutch Book Argument.	Stud Logica	2007	DBLP DOI BibTeX RDF	Dutch Book, probabilistic theories of rationality, subjective interpretation of probability, coherence, degrees of belief
10	Qing Liu 0011, Hui Sun	The Impact of Rough Set Research in China: In Commemoration of Professor Zdzislaw Pawlak.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF
10	Una-May O'Reilly, Martin Hemberg	Integrating generative growth and evolutionary computation for form exploration.	Genet. Program. Evolvable Mach.	2007	DBLP DOI BibTeX RDF	Architecture, L-systems, Evolutionary design, Grammatical evolution, Interactive evolutionary computation
10	Jean-Louis Krivine	A call-by-name lambda-calculus machine.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Lambda-calculus machine, Control instruction, Curry-Howard correspondence
10	Thomas E. Forster, John Kenneth Truss	Ramsey's theorem and König's Lemma.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E25
10	Paul Corazza	Lifting elementary embeddings j: Vlambda -> Vlambda.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 03E55, Secondary 03E40
10	Luigi Santocanale, Yde Venema	Completeness for Flat Modal Fixpoint Logics.	LPAR	2007	DBLP DOI BibTeX RDF	fixpoint logic, completeness, modal algebra
10	Ikumi Horie, Kazunori Yamaguchi, Kenji Kashiwabara	Pattern detection from web using AFA set theory.	WIDM	2007	DBLP DOI BibTeX RDF	AFA, common substructure, non-well-founded set theory, link analysis, web graph
10	Jorma K. Mattila	Possibility Based Modal Semantics for Graded Modifiers.	IFSA (1)	2007	DBLP DOI BibTeX RDF	metalogic, Semantics of Modal Logic, Semantics of Modifier Logic, Modifier system, Modality, Modifier
10	Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra	Propositional Goedel Logic and Delannoy Paths.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
10	An Lu, Wilfred Ng	Handling Inconsistency of Vague Relations with Functional Dependencies.	ER	2007	DBLP DOI BibTeX RDF
10	Adam Megacz	A coinductive monad for prop-bounded recursion.	PLPV	2007	DBLP DOI BibTeX RDF	coinductive types, type theory
10	Lisa Allali	Algorithmic Equality in Heyting Arithmetic Modulo.	TYPES	2007	DBLP DOI BibTeX RDF
10	Vladimir Lifschitz, David Pearce 0001, Agustín Valverde	A Characterization of Strong Equivalence for Logic Programs with Variables.	LPNMR	2007	DBLP DOI BibTeX RDF
10	Fachao Li 0001, Chenxia Jin	Fuzzy Genetic Algorithm Based on Principal Operation and Inequity Degree.	ICIC (2)	2007	DBLP DOI BibTeX RDF	fuzzy inequity degree, principal index, BPO&ID-FGA, Markov chain, Fuzzy optimization, fuzzy genetic algorithm
10	Geoff Sutcliffe	TPTP, TSTP, CASC, etc.	CSR	2007	DBLP DOI BibTeX RDF
10	Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv	Labelled Clauses.	CADE	2007	DBLP DOI BibTeX RDF
10	Xuerui Tan, Julong Deng, Sifeng Liu, Hongxing Pan	Multi-stratum medical grey relational theory and its application research.	SMC	2007	DBLP DOI BibTeX RDF
10	Ryo Ishigaki, Kentaro Kikuchi	Tree-Sequent Methods for Subintuitionistic Predicate Logics.	TABLEAUX	2007	DBLP DOI BibTeX RDF
10	Shifei Ding, Zhongzhi Shi, Shixiong Xia, Fengxiang Jin	Studies on Fuzzy Information Measures.	FSKD (3)	2007	DBLP DOI BibTeX RDF
10	Adrian Giurca, Gerd Wagner 0001	Rule Modeling and Interchange.	SYNASC	2007	DBLP DOI BibTeX RDF
10	Ulf Johansson, Tuve Löfström, Lars Niklasson	The Importance of Diversity in Neural Network Ensembles - An Empirical Investigation.	IJCNN	2007	DBLP DOI BibTeX RDF
10	Rajeev Goré, Linh Anh Nguyen	Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs.	CLIMA	2007	DBLP DOI BibTeX RDF
10	Marc Aiguier, Delphine Longuet	Test Selection Criteria for Modal Specifications of Reactive Systems.	TASE	2007	DBLP DOI BibTeX RDF	dynamic specifications, proof tree normalisation, Specification-based testing, unfolding, coalgebras, exhaustivity, selection criteria
10	Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells	Narrative Structure of Mathematical Texts.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
10	Horacio L. Arló-Costa, Isaac Levi	Contraction: On the Decision-Theoretical Origins of Minimal Change and Entrenchment.	Synth.	2006	DBLP DOI BibTeX RDF	entrenchment, withdrawal, contraction, decision theory, belief revision
10	Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo	Decidability results for sets with atoms.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem
10	Stephen A. Cook, Neil Thapen	The strength of replacement in weak arithmetic.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	cryptography, PV, Bounded arithmetic
10	Larisa Maksimova	Projective Beth Property in Extensions of Grzegorczyk Logic.	Stud Logica	2006	DBLP DOI BibTeX RDF	projective Beth's property, epimorphisms surjectivity, modal logic, decidability, intuitionistic logic
10	Wei-Zhi Wu 0001, Yee Leung, Wen-Xiu Zhang	On Generalized Rough Fuzzy Approximation Operators.	Trans. Rough Sets	2006	DBLP DOI BibTeX RDF	fuzzy topological spaces, rough sets, fuzzy sets, belief functions, binary relations, approximation operators, neighborhood systems, rough fuzzy sets
10	Douglas A. Hanes, Gin McCollum	Variables Contributing to the Coordination of Rapid Eye/Head Gaze Shifts.	Biol. Cybern.	2006	DBLP DOI BibTeX RDF	Gaze shift, Midline, Head-free, Mathematical, Saccade
10	Gregory R. Wheeler	Rational Acceptance and Conjunctive/Disjunctive Absorption.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	rational acceptance, the lottery paradox, System P, bounded uncertain reasoning, probabilistic logic
10	Jeffry L. Hirst	Reverse mathematics of separably closed sets.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Separably closed sets, Closed sets, ACA, Reverse mathematics
10	Pavel Naumov	Upper bounds on complexity of Frege proofs with limited use of certain schemata.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF
10	Jakob Kellner	Preserving Non-null with Suslin+ Forcings.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E40, 03E17
10	Julien Narboux	Mechanical Theorem Proving in Tarski's Geometry.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
10	Ernie Cohen	Weak Kleene Algebra and Computation Trees.	RelMiCS	2006	DBLP DOI BibTeX RDF
10	Jixin Ma 0001, Brian Knight	Using Set Operations to Deal with the Frame Problem.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
10		Formalization of Capability for Command-Based Agent.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
10	Shifei Ding, Zhongzhi Shi, Fengxiang Jin	Studies on Fuzzy Information Measures.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
10	Jiandong Jiang, Fang Xu 0002, Xinrong Zhen, Xian Zhang, Yangyu Wang, Libin Zhang	Axiomatic Design Using Ontology Modeling for Interoperability in Small Agriculture Machinery Product Development.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Small agricultural machinery, Axiomatic design, Ontology, Gearbox
10	Nikolai Tillmann, Feng Chen 0006, Wolfram Schulte	Discovering Likely Method Specifications.	ICFEM	2006	DBLP DOI BibTeX RDF
10	Dejing Dou, Drew V. McDermott	Towards Theory Translation.	DALT	2006	DBLP DOI BibTeX RDF
10	Stéphanie Delaune, Pascal Lafourcade 0001, Denis Lugiez, Ralf Treinen	Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or.	ICALP (2)	2006	DBLP DOI BibTeX RDF
10	Lawrence S. Moss	Uniform Functors on Sets.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
10	Healfdene Goguen, Conor McBride, James McKinna	Eliminating Dependent Pattern Matching.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
10	Ergün Eraslan, Diyar Akay, Mustafa Kurt	Usability Ranking of Intercity Bus Passenger Seats Using Fuzzy Axiomatic Design Theory.	CDVE	2006	DBLP DOI BibTeX RDF	Fuzzy Axiomatic Design, Usability, Conformance Testing, Cooperative Engineering
10	Wilfred Ng	Preference Functional Dependencies for Managing Choices.	ER	2006	DBLP DOI BibTeX RDF
10	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
10	Aditya Kalyanpur, Bijan Parsia, Evren Sirin, Bernardo Cuenca Grau	Repairing Unsatisfiable Concepts in OWL Ontologies.	ESWC	2006	DBLP DOI BibTeX RDF
10	Florent Kirchner	A Finite First-Order Theory of Classes.	TYPES	2006	DBLP DOI BibTeX RDF
10	Danko Ilik	Zermelo's Well-Ordering Theorem in Type Theory.	TYPES	2006	DBLP DOI BibTeX RDF
10	Dung Nguyen Xuan, Ladjel Bellatreche, Guy Pierra	A Versioning Management Model for Ontology-Based Data Warehouses.	DaWaK	2006	DBLP DOI BibTeX RDF
10	Benjamin Werner	On the Strength of Proof-Irrelevant Type Theories.	IJCAR	2006	DBLP DOI BibTeX RDF
10	Sebastian Link	A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
10	Shan-Li Hu, Chun-Yi Shi	A Multi-subset Possible World Semantics for Intention Operator of Agent.	PRIMA	2006	DBLP DOI BibTeX RDF	multi-subset possible world semantics, Agent, semantics, intention
10	Adam Koprowski	Certified Higher-Order Recursive Path Ordering.	RTA	2006	DBLP DOI BibTeX RDF
10	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
10	David E. Cardoze, Gary L. Miller, Todd Phillips	Representing Topological Structures Using Cell-Chains.	GMP	2006	DBLP DOI BibTeX RDF	cell tuple, cell chain, computational topology, cell complex
10	Jiye Liang, Yuhua Qian	Axiomatic Approach of Knowledge Granulation in Information System.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	partial relation, knowledge granulation, Information system
10	Simon Colton, Pedro Torres 0001, Paul A. Cairns, Volker Sorge	Managing Automatically Formed Mathematical Theories.	MKM	2006	DBLP DOI BibTeX RDF
10	Benedikt Löwe	A Global Wellordering of Norms Defined via Blackwell Games.	Order	2005	DBLP DOI BibTeX RDF	Martin’s conjecture on the equivalence of determinancy and Blackwell determinancy, prewellorderings, imperfect information games, First Periodicity Theorem
10	He Wei	Remarks on Completely Regular Lindelöf Reflection of Locales.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	completely regular Lindelöf reflection of locales, l-ring, real-valued continuous functions on locales, cozero sets
10	Tadeusz Litak, Frank Wolter	All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete.	Stud Logica	2005	DBLP DOI BibTeX RDF	frame incompleteness, computational complexity, temporal logic, NP-completeness, tense logic
10	Athanassios Tzouvaras	Cardinality without Enumeration.	Stud Logica	2005	DBLP DOI BibTeX RDF	Cardinality notion, wellordering, generic class, separation class, nonstandard model of arithmetic, choice, quantum mechanics
10	Witold A. Pogorzelski, Piotr Wojtylak	A Proof System for Classical Logic.	Stud Logica	2005	DBLP DOI BibTeX RDF	Inferential rule, Consequence operation, Classical logic
10	Torben Braüner	Natural Deduction for First-Order Hybrid Logic.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	First-order hybrid logic, first-order modal logic, natural deduction