Embedding Logics in the Local Computation Framework

DOI10.3166/JANCL.11.239-267MaRDI QIDQ4443007zbMATH OpenOpenAlexFDO

Authors Nic Wilson, Jérôme Mengin

Publication date 8 January 2004

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.11.239-267

zbMATH Keywords

circumscriptioncomputation of logical deductionconditional logicsmodel structurestheorem provinguncertainty

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• scientific article; zbMATH DE number 1341465
• Logic programming for finding models in the logics of knowledge and its applications: a case study
• Generic local computation
• Dempster-shafer approach in propositional logic
• Local computation with valuations from a commutative semigroup

Cites work

• A circumscriptive theorem prover
• An algorithm to compute circumscription
• An approach to default reasoning based on a first-order conditional logic: Revised report
• Bucket elimination: A unifying framework for reasoning
• Consistency in Valuation-Based Systems
• scientific article; zbMATH DE number 48812 (Why is no real title available?)
• Linear resolution for consequence finding
• Nonmonotonic Logic II
• On the relationship between circumscription and negation as failure
• On the relationship between CWA, minimal model, and minimal herbrand model semantics
• Probability propagation
• Propositional information systems
• Semantical considerations on nonmonotonic logic

Cited in

(7)

• LoCo—A Logic for Configuration Problems
• Optimizing epistemic model checking using conditional independence (extended abstract)
• scientific article; zbMATH DE number 1341465 (Why is no real title available?)
• scientific article; zbMATH DE number 522843 (Why is no real title available?)
• Local computation in linear logic
• scientific article; zbMATH DE number 1453054 (Why is no real title available?)
• Hybrid possibilistic networks

This page was built for publication: Embedding Logics in the Local Computation Framework

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