Results 51 to 60 of about 1,125,786 (343)
Symbol Emergence in Robotics: A Survey [PDF]
, 2015 Humans can learn the use of language through physical interaction with their environment and semiotic communication with other people. It is very important to obtain a computational understanding of how humans can form a symbol system and obtain semiotic
Asoh, Hideki +5 more
core +1 more source
Forward Proof Search for Intuitionistic Multimodal K Logics [PDF]
Abstract We consider intuitionistic multimodal logics with modalities satisfying axiom K and the axiom of Necessity, as well as collections of axioms for transforming, removing and splitting modalities, specified by a relation between modalities and sequences of modalities.
Niels Voorneveld
openalex +2 more sources
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae, 2009 We develop clausal tableau calculi for six multimodal logics variously designed for reasoning about multi-degree belief, reasoning about distributed systems of belief and for reasoning about epistemic states of agents in multi-agent systems. Our tableau calculi are sound, complete, cut-free and have the analytic superformula property, thereby giving ...
Gore, Rajeev, Nguyen, Linh Anh
openaire +2 more sources
On staying grounded and avoiding Quixotic dead ends [PDF]
, 2016 The 15 articles in this special issue on The Representation of Concepts illustrate the rich variety of theoretical positions and supporting research that characterize the area.
A Caramazza +86 more
core +2 more sources
Principles of libretto translation and problems of multimodal text interpretation
Russian Journal of Linguistics, 2022 The multimodal nature of texts to music involves the complex interaction of verbal, auditory, in some cases visual and other components, which determines the functioning of the textual unity.
Аlbina V. Boyarkina
doaj +1 more source
The Grail theorem prover: Type theory for syntax and semantics
, 2016 As the name suggests, type-logical grammars are a grammar formalism based on logic and type theory. From the prespective of grammar design, type-logical grammars develop the syntactic and semantic aspects of linguistic phenomena hand-in-hand, letting the
A Ranta +14 more
core +3 more sources
Tribo‐ferro‐optoelectronic neuromorphic transistor of α‐In2Se3
Brain-X, 2023 Inspired by biological neural networks, the fabrication of artificial neuromorphic systems with multimodal perception capacity shows promises in overcoming the “von Neumann bottleneck” and takes advantage of the efficient perception and computation of ...
Zhenyu Feng +8 more
doaj +1 more source
Fresh perspectives on multimodal argument reconstruction
Frontiers in CommunicationThe present contribution exemplifies current models for argument reconstruction on an environmental protection print-ad, identifying deficits in the way the models account for multimodal argumentation.
Hartmut Stöckl
doaj +1 more source
Logically at Factify 2022: Multimodal Fact Verification
, 2021 Accepted in AAAI'22: First Workshop on Multimodal Fact-Checking and Hate Speech Detection, Februrary 22 - March 1, 2022,Vancouver, BC ...
Gao, Jie +4 more
openaire +2 more sources
Higher-order Linear Logic Programming of Categorial Deduction
, 1994 We show how categorial deduction can be implemented in higher-order (linear) logic programming, thereby realising parsing as deduction for the associative and non-associative Lambek calculi.
Morrill, Glyn
core +2 more sources