Search results for "CL–Axiom"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Arthur W. Apter	On a problem of Foreman and Magidor.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Supercompact cardinal, Indestructibility, Almost huge cardinal, Mutual stationarity, Symmetric inner model
10	Athanassios Tzouvaras	Forcing and antifoundation.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
10	Michael Rathjen	An ordinal analysis of parameter free Pi12-comprehension.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
10	Michael Rathjen	An ordinal analysis of stability.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
10	Maria Taboada, Julio Des, Diego Martínez Hernández, José Mira	Aligning Reference Terminologies and Knowledge Bases in the Health Care Domain.	IWINAC (1)	2005	DBLP DOI BibTeX RDF	ontologies and terminology systems, knowledge representation, knowledge bases
10	Michael A. Trick	Formulations and Reformulations in Integer Programming.	CPAIOR	2005	DBLP DOI BibTeX RDF
10	Daniel A. Ashlock, Stephen P. Gent, Kenneth Mark Bryden	Evolution of L-systems for compact virtual landscape generation.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
10	François Lamarche, Lutz Straßburger	Constructing Free Boolean Categories.	LICS	2005	DBLP DOI BibTeX RDF
10	Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego	Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.	CAEPIA	2005	DBLP DOI BibTeX RDF
10	Pablo Sáez	Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus.	MICAI	2005	DBLP DOI BibTeX RDF
10	Christian Urban, Christine Tasson	Nominal Techniques in Isabelle/HOL.	CADE	2005	DBLP DOI BibTeX RDF	theorem-assistants, Lambda-calculus, nominal logic, structural induction
10	Dan E. Willard	On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency.	TABLEAUX	2005	DBLP DOI BibTeX RDF
10	Shunsuke Yatabe, Hiroyuki Inaoka	Vagueness and Extensionality.	FSKD (1)	2005	DBLP DOI BibTeX RDF
10	Fernando Flores	The future of media, blogs and innovation: new IR challenges?	SIGIR	2005	DBLP DOI BibTeX RDF
10	Jos C. M. Baeten, Mario Bravetti	A Ground-Complete Axiomatization of Finite State Processes in Process Algebra.	CONCUR	2005	DBLP DOI BibTeX RDF
10	Aaron Stump, Li-Yang Tan	The Algebra of Equality Proofs.	RTA	2005	DBLP DOI BibTeX RDF
10	Bjørnar Solhaug, Arild Waaler	Logical Spaces in Multi-agent Only Knowing Systems.	CLIMA	2005	DBLP DOI BibTeX RDF
10	Clemens Grabmayer	Using Proofs by Coinduction to Find "Traditional" Proofs.	CALCO	2005	DBLP DOI BibTeX RDF
10	Antonina Kolokolova	Closure Properties of Weak Systems of Bounded Arithmetic.	CSL	2005	DBLP DOI BibTeX RDF
10	Taolue Chen, Tingting Han 0001, Jian Lu 0001	On the Bisimulation Congruence in chi-Calculus.	FSTTCS	2005	DBLP DOI BibTeX RDF
10	Carlo A. Furia, Matteo Rossi 0001, Dino Mandrioli, Angelo Morzenti	Automated Compositional Proofs for Real-Time Systems.	FASE	2005	DBLP DOI BibTeX RDF
10	Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt	Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic.	Stud Logica	2004	DBLP DOI BibTeX RDF	Agent logic, knowledge, decidability, commitments, actions, dynamic logic, multi-modal logic, abilities, soundness and completeness
10	Nikolaos Galatos, James G. Raftery	Adding Involution to Residuated Structures.	Stud Logica	2004	DBLP DOI BibTeX RDF	mingle, RW, contraction, negation, residuated lattice, Residuation, expansion, involution
10	Jonas Eliasson	Ultrapowers as sheaves on a category of ultrafilters.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF
10	Irina Georgescu	Consistency Conditions for Fuzzy Choice Functions.	Fuzzy Days	2004	DBLP DOI BibTeX RDF
10	Murdoch Gabbay, James Cheney	A Sequent Calculus for Nominal Logic.	LICS	2004	DBLP DOI BibTeX RDF
10	Phuong Nguyen, Stephen A. Cook	VTC circ: A Second-Order Theory for TCcirc.	LICS	2004	DBLP DOI BibTeX RDF
10	Ulrich Berger 0001	A Computational Interpretation of Open Induction.	LICS	2004	DBLP DOI BibTeX RDF
10	Stephen A. Cook, Neil Thapen	The Strength of Replacement in Weak Arithmetic.	LICS	2004	DBLP DOI BibTeX RDF
10	Ioannis Z. Emiris, Elias P. Tsigaridas	Comparing Real Algebraic Numbers of Small Degree.	ESA	2004	DBLP DOI BibTeX RDF
10	Gerald Lüttgen, Walter Vogler	Bisimulation on Speed: Lower Time Bounds.	FoSSaCS	2004	DBLP DOI BibTeX RDF
10	Liping Shen, Ruimin Shen	Learning Content Recommendation Service Based-On Simple Sequencing Specification.	ICWL	2004	DBLP DOI BibTeX RDF	Competency Gap Analysis, Sequencing Rule, Protégé-2000, Recommendation, Knowledge Base, Learning Object
10	Mario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso	On Modalities for Vague Notions.	SBIA	2004	DBLP DOI BibTeX RDF	vague notions, most, knowledge representation, filter, Modal logic
10	Hu Li, Maozhong Jin, Chao Liu 0002, Zhongyi Gao	Test Criteria for Context-Free Grammars.	COMPSAC	2004	DBLP DOI BibTeX RDF
10	K. P. Cheng, Daniel C. Y. Yip, K. H. Lau, Stuart Barnes	Development of a Generic Computer Aided Deductive Algorithm for Process Parameter Design.	KES	2004	DBLP DOI BibTeX RDF	Process parameter optimization, Deduction, Process simulation
10	Katsumi Inoue, Haruka Saito	Circumscription Policies for Induction.	ILP	2004	DBLP DOI BibTeX RDF
10	Vinay K. Chaudhri, Kenneth S. Murray, John Pacheco, Peter Clark, Bruce W. Porter, Patrick J. Hayes	Graph-Based Acquisition of Expressive Knowledge.	EKAW	2004	DBLP DOI BibTeX RDF	knowledge-acquisition tools, authoring tools
10	Agata Ciabattoni	Automated Generation of Analytic Calculi for Logics with Linearity.	CSL	2004	DBLP DOI BibTeX RDF
10	Millist W. Vincent, Michael Schrefl, Jixue Liu, Chengfei Liu, Solen Dogen	Generalized Inclusion Dependencies in XML.	APWeb	2004	DBLP DOI BibTeX RDF
10	Roberto Cignoli, Antoni Torrens	Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
10	Michael Rathjen	Realizing Mahlo set theory in type theory.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
10	G. S. Mendick, John Kenneth Truss	A notion of rank in set theory without choice.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
10	Grigori Mints, Darko Sarenac	Completeness of indexed epsilon-calculus.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Epsilon calculus, Finite choice, Completeness
10	M. Lange	Satisfiability and Completeness of Converse-PDL Replayed.	KI	2003	DBLP DOI BibTeX RDF
10	Ramón P. Otero	Embracing Causality in Inducing the Effects of Actions.	CAEPIA	2003	DBLP DOI BibTeX RDF
10	Yoav Zibin, Joseph Gil, Jeffrey Considine	Efficient algorithms for isomorphisms of simple types.	POPL	2003	DBLP DOI BibTeX RDF	first order isomorphism, linear isomorphism, non-recursive types, simple types, type signature
10	Jin Uemura, Masako Sato	Learning of Erasing Primitive Formal Systems from Positive Examples.	ALT	2003	DBLP DOI BibTeX RDF
10	Jonathan Lawry, Jordi Recasens	A Random set Model for Fuzzy Labels.	ECSQARU	2003	DBLP DOI BibTeX RDF
10	Frank M. Brown	Logistica 2.0: A Technology for Implementing Automatic Deduction Systems.	TABLEAUX	2003	DBLP DOI BibTeX RDF
10	Michael Benedikt, Wenfei Fan, Gabriel M. Kuper	Structural Properties of XPath Fragments.	ICDT	2003	DBLP DOI BibTeX RDF
10	Georg Moser, Richard Zach	The Epsilon Calculus (Tutorial).	CSL	2003	DBLP DOI BibTeX RDF
10	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Goal-Directed Calculli for Gödel-Dummett Logics.	CSL	2003	DBLP DOI BibTeX RDF	Gödel Logics, Hypersequents, Goal-Directed Calculi, Fuzzy Logics, Intermediate Logics
10	Tomek Bartoszynski, Andrzej Roslanowski	Towards Martins minimum.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
10	Pierre Matet, Cédric Péan, Stevo Todorcevic	Prime ideals on P omega (lambda) with the partition property.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
10	Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir	Equational Axioms for Probabilistic Bisimilarity.	AMAST	2002	DBLP DOI BibTeX RDF
10	Jochen Burghardt	Axiomatization of Finite Algebras.	KI	2002	DBLP DOI BibTeX RDF
10	Amal J. Ahmed 0001, Andrew W. Appel, Roberto Virga	A Stratified Semantics of General References A Stratified Semantics of General References.	LICS	2002	DBLP DOI BibTeX RDF
10	Krysia Broda	A Decidable CLDS for Some Propositional Resource Logics.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
10	Wilfred Ng	Maintaining Consistency of Integrated XML Trees.	WAIM	2002	DBLP DOI BibTeX RDF
10	Simon Colton	The HR Program for Theorem Generation.	CADE	2002	DBLP DOI BibTeX RDF
10	Thomas Hillenbrand, Bernd Löchner	The Next W ALDMEISTER Loop.	CADE	2002	DBLP DOI BibTeX RDF
10	Linh Anh Nguyen	Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief.	TABLEAUX	2002	DBLP DOI BibTeX RDF
10	Dan E. Willard	Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem.	TABLEAUX	2002	DBLP DOI BibTeX RDF
10	Óscar Corcho, Mariano Fernández-López, Asunción Gómez-Pérez, Óscar Vicente	WebODE: An Integrated Workbench for Ontology Representation, Reasoning, and Exchange.	EKAW	2002	DBLP DOI BibTeX RDF
10	Robin N. Banerjee, Andrés Bujosa	Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings.	FoIKS	2002	DBLP DOI BibTeX RDF
10	Chuchang Liu, Maris A. Ozols	Consistency of Trust Theories.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
10	Elisabetta Fortuna, Patrizia M. Gianni, Paola Parenti, Carlo Traverso	Computing the topology of real algebraic surfaces.	ISSAC	2002	DBLP DOI BibTeX RDF
10	Renaud Rioboo	Towards faster real algebraic numbers.	ISSAC	2002	DBLP DOI BibTeX RDF	algebraic integers, real closure, sub-resultants, fractions, algebraic numbers, real closed fields
10	Christopher Doble, Jean-Paul Doignon, Jean-Claude Falmagne, Peter C. Fishburn	Almost Connected Orders.	Order	2001	DBLP DOI BibTeX RDF	almost connected order, well graded family, upgradable family, downgradable family, weak order, semiorder
10	Jan A. Bergstra, Alban Ponse	Register-machine based processes.	J. ACM	2001	DBLP DOI BibTeX RDF	Kleene star, push-down operation, concurrency, computability, process algebra, expressivity, iteration, Bisimulation equivalence
10	Kamila Bendová	On ordering and multiplication of natural numbers.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF
10	Joel David Hamkins	The Wholeness Axioms and V=HOD.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF
10	Francesc Esteva, Lluís Godo, Franco Montagna	The LPL\Pi and LP1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF
10	Herman Geuvers	Induction Is Not Derivable in Second Order Dependent Type Theory.	TLCA	2001	DBLP DOI BibTeX RDF
10	Gilles Dowek	The Stratified Foundations as a Theory Modulo.	TLCA	2001	DBLP DOI BibTeX RDF
10	Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina	Verifying an Applicative ATP Using Multiset Relations.	EUROCAST	2001	DBLP DOI BibTeX RDF
10	Julio César Arpírez Vega, Óscar Corcho, Mariano Fernández-López, Asunción Gómez-Pérez	WebODE: a scalable workbench for ontological engineering.	K-CAP	2001	DBLP DOI BibTeX RDF	WebODE, integration and merge, ontology engineering workbench, translation, ontology building
10	Michael Johnson, Christopher N. G. Dampney	On category theory as a (meta) ontology for information systems research.	FOIS	2001	DBLP DOI BibTeX RDF	ontology, information systems, data modeling, category theory, view update, interoperating systems
10	Lawrence C. Paulson	Mechanizing UNITY in Isabelle.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	concurrency, UNITY, Isabelle, compositional reasoning
10	Arthur W. Apter	On a problem of Woodin.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
10	Tomoko Ninomiya, Masao Mukaidono	Fundamental Properties on Axioms of Kleene Algebra.	ISMIS	2000	DBLP DOI BibTeX RDF
10	Xinjie Chang, Krishnappa R. Subramanian	A Cooperative Game Theory Approach to Resource Allocation in Wireless ATM Networks.	NETWORKING	2000	DBLP DOI BibTeX RDF
10	John N. Zigman, Stephen M. Blackburn, J. Eliot B. Moss	TMOS: A Transactional Garbage Collector.	POS	2000	DBLP DOI BibTeX RDF
10	Wilfred Ng	Using an Ordered Key Attribute in Database Design.	DEXA	2000	DBLP DOI BibTeX RDF
10	Maria Emilia Maietti, Valeria de Paiva, Eike Ritter	Categorical Models for Intuitionistic and Linear Type Theory.	FoSSaCS	2000	DBLP DOI BibTeX RDF
10	James H. Davenport	Abstract Data Types in Computer Algebra.	MFCS	2000	DBLP DOI BibTeX RDF
10	Samson Abramsky, Marina Lenisa	Axiomatizing Fully Complete Models for ML Polymorphic Types.	MFCS	2000	DBLP DOI BibTeX RDF
10	Peter Aczel, Nicola Gambino	Collection Principles in Dependent Type Theory.	TYPES	2000	DBLP DOI BibTeX RDF
10	Hans-Peter Störr, Michael Thielscher	A New Equational Foundation for the Fluent Calculus.	Computational Logic	2000	DBLP DOI BibTeX RDF
10	Thomas Schiex	Arc Consistency for Soft Constraints.	CP	2000	DBLP DOI BibTeX RDF
10	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
10	M. Victoria Marshall, M. Gloria Schwarze	Rank in set theory without foundation.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF
10	Wilfred Ng	Lexicographically Ordered Functional Dependencies and Their Application to Temporal Relations.	IDEAS	1999	DBLP DOI BibTeX RDF
10	Henning Bordihn, Jürgen Dassow, György Vaszil	Grammar Systems as Language Analyzers and Recursively Enumerable Languages.	FCT	1999	DBLP DOI BibTeX RDF
10	Peter Nordin, Anders Eriksson, Mats G. Nordahl	Genetic Reasoning: Evolutionary Induction of Mathematical Proofs.	EuroGP	1999	DBLP DOI BibTeX RDF
10	Suzana Andova	Process Algebra with Probabilistic Choice.	ARTS	1999	DBLP DOI BibTeX RDF
10	Manuel Núñez 0001	An Axiomatization of Probabilistic Testing.	ARTS	1999	DBLP DOI BibTeX RDF
10	Beverly A. Sanders	Data Refinement of Mixed Specifications.	Acta Informatica	1998	DBLP DOI BibTeX RDF
10	Agata Ciabattoni, Dov M. Gabbay, Nicola Olivetti	Cut-free proof systems for logics of weak excluded middle.	Soft Comput.	1998	DBLP DOI BibTeX RDF
10	Huo Yan Chen, T. H. Tse, F. T. Chan, Tsong Yueh Chen	In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs.	ACM Trans. Softw. Eng. Methodol.	1998	DBLP DOI BibTeX RDF	software-testing methodologies, object-oriented programming, abstract data types, algebraic specification, observational equivalence