Information and evidence in logic systems

DOI10.1080/09528139408953787zbMATH Open0807.68084OpenAlexW2026799317MaRDI QIDQ4297221FDOQ4297221

Eliezer L. Lozinskii

Publication date: 3 July 1994

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/09528139408953787

zbMATH Keywords

non-monotonic reasoningplausible semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Mathematical Theory of Communication
• Upper and Lower Probabilities Induced by a Multivalued Mapping
• Information Theory and Statistical Mechanics
• The complexity of computing the permanent
• Probabilistic logic
• A logic for default reasoning
• An analysis of first-order logics of probability
• Circumscription - a form of non-monotonic reasoning
• Approximate inclusion-exclusion
• Evidential support logic programming
• Generality in artificial intelligence
• Counting propositional models

Cited In (19)

• Interacting explicit evidence systems
• Measuring Instability in Normal Residuated Logic Programs: Discarding Information
• A positive information logic for inferential information
• Informational logic for automated reasoning
• Is there an alternative to parsimonious semantics?
• Information and Logical Discrimination
• A practical measure of the information in a logical theory
• Title not available (Why is that?)
• On knowledge evolution: acquisition, revision, contraction
• Philosophical Conceptions of Information
• A quantified logic of evidence
• Another look at the phenomenon of phase transition
• Analysing inconsistent first-order knowledgebases
• Approximate reasoning with credible subsets
• Resolving contradictions: A plausible semantics for inconsistent systems
• Extracting Information from Logical Proofs
• Explaining by evidence
• Handling and measuring inconsistency in non-monotonic logics
• Logics of Complementarity in Information Systems

This page was built for publication: Information and evidence in logic systems

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