Results 181 to 190 of about 1,192,263 (231)
Some of the next articles are maybe not open access.
On the Logic of Information Flow
Logic Journal of IGPL, 1995No matter how information is represented or the notion of information is explained, one of the properties usually ascribed to information is that it flows. According to the authors of this paper, information flow is a transition from an information site through an information channel to another information site.
Jon Barwise +2 more
openaire +2 more sources
A Logic for Information Systems
Studia Logica, 1997zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dmitry A. Archangelsky +1 more
openaire +2 more sources
MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY
The Review of Symbolic Logic, 2018Mathematicians prove theorems in a semi-formal setting, providing what we’ll call informal proofs. There are various philosophical reasons not to reduce informal provability to formal provability within some appropriate axiomatic theory (Leitgeb, 2009 ...
Pawel Pawlowski, R. Urbaniak
semanticscholar +1 more source
Logics for geographic information
Journal of Geographical Systems, 1999We provide an overview of recent results in spatial logic, and discuss their relevance for the development of formal representations of geographic knowledge. Several proposed “spatial” logics are explored. We discuss their applicability to computational geography, and ultimately investigate their credentials as logics of space.
Oliver Lemon, Ian E. Pratt
openaire +1 more source
Logics for Information Aggregation
International Joint Conference on Autonomous Agents and Multiagent Systems, 2023With the amount of information available to us today, making sense of potentially conflicting information is a problem that we are bound to run into. We aim to study this problem from the perspective of epistemic logic. So far, we have studied logics for reasoning about information distributed across groups of agents in the epistemic logic framework ...
openaire +2 more sources
Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic
Conference on Empirical Methods in Natural Language ProcessingRecent language models enable new opportunities for structured reasoning with text, such as the construction of intuitive, proof-like textual entailment trees without relying on brittle formal logic.
Nathaniel Weir +10 more
semanticscholar +1 more source
Logic and the Dynamics of Information
Minds and Machines, 2003We discuss how issues of information and computation interact with logic today, and what might be a natural extended agenda of investigation.
openaire +4 more sources
Nature, 2008
Focusing on information flow will help us to understand better how cells and organisms work.
openaire +2 more sources
Focusing on information flow will help us to understand better how cells and organisms work.
openaire +2 more sources
Logic of nondeterministic information
Studia Logica, 1985Der Ansatz verfolgt mit anderen Mitteln dasselbe Ziel wie fuzzy-Logiken. Es wird eine formale Sprache mit verallgemeinerten modalen Operatoren und eine Kripke-artige Semantik definiert. Die modalen Operatoren werden mit Hilfe parameterabhängiger Relationen interpretiert, für die drei Beispiele angegeben werden.
openaire +3 more sources
ACM SIGIR Forum, 1989
'Probability is expectation founded upon partial knowledge.' (Boole, 1854) Information retrieval based on stored program electronic computers has been an active area of research since the time these machines were invented. It is therefore somewhat surprising that even now no formal computational model for IR exists.
openaire +1 more source
'Probability is expectation founded upon partial knowledge.' (Boole, 1854) Information retrieval based on stored program electronic computers has been an active area of research since the time these machines were invented. It is therefore somewhat surprising that even now no formal computational model for IR exists.
openaire +1 more source