Results 31 to 40 of about 94,591 (293)
Automata Techniques for Epistemic Protocol Synthesis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing ad infinitum a propositional event model from an initial epistemic model ...
Guillaume Aucher +2 more
doaj +1 more source
Structured Propositions in a Generative Grammar [PDF]
Mind, 2017 Semantics in the Montagovian tradition combine two basic tenets. One tenet is that semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other ...
openaire +1 more source
Decidability of quantified propositional intuitionistic logic and S4 on trees
, 2002 Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers \forall p, \exists p over propositions.
D. Gabbay +9 more
core +1 more source
The propositional nature of human associative learning [PDF]
, 2009 The past 50 years have seen an accumulation of evidence suggesting that associative learning depends oil high-level cognitive processes that give rise to propositional knowledge.
De Houwer, Jan +2 more
core +2 more sources
Interval-based Synthesis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We introduce the synthesis problem for Halpern and Shoham's modal logic of intervals extended with an equivalence relation over time points, abbreviated HSeq.
Angelo Montanari, Pietro Sala
doaj +1 more source
Folk Psychology and the Bayesian Brain [PDF]
, 2017 Whilst much has been said about the implications of predictive processing for our scientific understanding of cognition, there has been comparatively little discussion of how this new paradigm fits with our everyday understanding of the mind, i.e.
Dewhurst, Joe
core +3 more sources
Criticism, Contact With Reality and Truth [PDF]
, 1996 Partly in reply to D. Cannon’s critique of his analytical reconstruction (1988) of Polanyi’s post-critical theory of tacit knowledge, the author argues that there are good reasons for not appropriating Polanyi’s programme of self-identication and the ...
Sanders, Andy F.,
core +3 more sources
Studia z Filologii Polskiej i Słowiańskiej, 2019 Forms of Representation of Propositional Argument in Bulgarian, Polish and Russian Expressions Based on the Mental Predicate This article offers a discussion of Bulgarian, Polish and Russian mental verbs from the perspective of syntactic valence.
Aleksander Kiklewicz
doaj +1 more source
First-Order Decomposition Trees [PDF]
, 2013 Lifting attempts to speed up probabilistic inference by exploiting symmetries in the model. Exact lifted inference methods, like their propositional counterparts, work by recursively decomposing the model and the problem. In the propositional case, there
Blockeel, Hendrik +2 more
core
Arthritis Care &Research, Accepted Article.Over the past 50 years, the science of pediatric rheumatology has grown exponentially due to an expansion in the understanding of complex rheumatic conditions and a surge in novel targeted therapeutics. Physician‐scientists in the field of pediatric rheumatology have played major roles in these advancements that have improved the care of children ...
Ekemini A. Ogbu +2 more
wiley +1 more source