Results 31 to 40 of about 52,814 (199)
On the Expressiveness of TPTL and MTL over ω-Data Words [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent extensions of Linear Temporal Logic to specify properties about data languages.
Claudia Carapelle +3 more
doaj +1 more source
Evaluating and selecting arguments in the context of higher order uncertainty
Frontiers in Artificial Intelligence, 2023 Human and artificial reasoning has to deal with uncertain environments. Ideally, probabilistic information is available. However, sometimes probabilistic information may not be precise or it is missing entirely.
Christian Straßer, Lisa Michajlova
doaj +1 more source
Reasoning with Expectations About Causal Relations
Studies in Logic, Grammar and Rhetoric, 2022 Reasoning is not just following logical rules, but a large part of human reasoning depends on our expectations about the world. To some extent, non-monotonic logic has been developed to account for the role of expectations.
Gärdenfors Peter
doaj +1 more source
ZASADA PRAWDY FORMALNEJ W POLSKIM CYWILNYM PRAWIE PROCESOWYM A ROZUMOWANIA NIEMONOTONICZNE
Zeszyty Prawnicze, 2016 The Principle of Formal Truth in the Polish Civil Procedural Law and Non-monotonic Reasoning Summary This paper analyses the implementation of the formal truth principle in the Polish civil procedural code in the light of non-monotonic reasoning.
Marcin Trepczyński
doaj +1 more source
Компьютерная оптика, 2020 A 6f-scheme of Fourier holography with resonant architecture is considered, which implements memory replenishment with new information that contradicts the previously recorded. It is shown that the low-frequency attenuation due to the nonlinearity of the
A.V. Pavlov
doaj +1 more source
On the Strong Equivalences of LPMLN Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 By incorporating the methods of Answer Set Programming (ASP) and Markov Logic Networks (MLN), LPMLN becomes a powerful tool for non-monotonic, inconsistent and uncertain knowledge representation and reasoning.
Bin Wang +3 more
doaj +1 more source
Abduction and Dialogical Proof in Argumentation and Logic Programming [PDF]
, 2014 We develop a model of abduction in abstract argumentation, where changes to an argumentation framework act as hypotheses to explain the support of an observation. We present dialogical proof theories for the main decision problems (i.e., finding hypothe-
Booth, Richard +4 more
core +2 more sources
Interpreting a Classical Geometric Proof with Interactive Realizability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We show how to extract a monotonic learning algorithm from a classical proof of a geometric statement by interpreting the proof by means of interactive realizability, a realizability sematics for classical logic. The statement is about the existence of a
Giovanni Birolo
doaj +1 more source
IEEE Access, 2020 Stochastic computing (SC) has been applied on the implementations of complex arithmetic functions. Complicated polynomial-based approximations lead to large hardware complexity of previous SC circuits for arithmetic functions.
Zidi Qin +6 more
doaj +1 more source
BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In the past, the semantic issues raised by the non-monotonic nature of aggregates often prevented their use in the recursive statements of logic programs and deductive databases. However, the recently introduced notion of Pre-mappability (PreM) has shown
Ariyam Das +4 more
doaj +1 more source