Defaults as Generalized Quantifiers

DOI10.1093/LOGCOM/5.4.473MaRDI QIDQ4847379zbMATH OpenOpenAlexFDO

Authors K. Schlechta

Publication date 6 June 1996

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/5.4.473

zbMATH Keywords

nonmonotonic reasoningdefaultsgeneralized quantifierdefault logicautomatic query-answering systemsIBM LILAC projectsufficiently large subsettourist information

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1269576
• General default logic
• General Default Logic
• scientific article; zbMATH DE number 994065
• scientific article; zbMATH DE number 140378

Cited in

(18)

• A modal logic for subjective default reasoning
• SIZE AND LOGIC
• On first-order conditional logics
• Default consequence relations from topology and measure theory
• Knowledge means `all', belief means `most'
• In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
• On the Structure of Natural Deduction Derivations for “Generally”
• Making the right exceptions
• New techniques and completeness results for preferential structures
• Defaults in update semantics
• Probabilistic Modeling of Default Reasoning
• In all, but finitely many, possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
• Conditional entailment: bridging two approaches to default reasoning.
• Roadmap for preferential logics
• A modal logic of knowledge, belief, and estimation
• Knowledge means ‘all’, belief means ‘most’
• Sequent calculi for `generally'
• Evaluating the effect of semi-normality on the expressiveness of defaults

This page was built for publication: Defaults as Generalized Quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4847379)