Visual Semantics of Memes: (Re)Interpreting Memetic Content and Form for Information Studies
Sign Up to like & getrecommendations! Published in 2022 at "Proceedings of the Association for Information Science and Technology"
DOI: 10.1002/pra2.731
Abstract: Here we attempt to contextualize memetics for Information Studies by reinterpreting Internet Memetics. In doing so, we propose a way to empirically study semantics of informational content. This is done by collecting images from meme… read more here.
Keywords: information; semantics; semantics memes; information studies ... See more keywords
Table understanding: Problem overview
Sign Up to like & getrecommendations! Published in 2022 at "Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery"
DOI: 10.1002/widm.1482
Abstract: Tables are probably the most natural way to represent relational data in various media and formats. They store a large number of valuable facts that could be utilized for question answering, knowledge base population, natural… read more here.
Keywords: problem; semantics; problem overview; table understanding ... See more keywords
Sound reasoning in tock-CSP
Sign Up to like & getrecommendations! Published in 2022 at "Acta Informatica"
DOI: 10.1007/s00236-020-00394-3
Abstract: Specifying budgets and deadlines using a process algebra like CSP requires an explicit notion of time. The tock -CSP encoding embeds a rich and flexible approach for modelling discrete-time behaviours with powerful tool support. It… read more here.
Keywords: csp; tock; model; tock csp ... See more keywords
Subminimal negation
Sign Up to like & getrecommendations! Published in 2017 at "Soft Computing"
DOI: 10.1007/s00500-016-2391-8
Abstract: Minimal logic, i.e., intuitionistic logic without the ex falso principle, is investigated in its original form with a negation symbol instead of a symbol denoting the contradiction. A Kripke semantics is developed for minimal logic… read more here.
Keywords: logic; intuitionistic logic; minimal logic; negation ... See more keywords
Paraconsistency and the need for infinite semantics
Sign Up to like & getrecommendations! Published in 2019 at "Soft Computing"
DOI: 10.1007/s00500-018-3272-0
Abstract: We show that most of the paraconsistent logics which have been investigated in the literature have no finite characteristic matrices, and in the most important cases not even finite characteristic non-deterministic matrices (Nmatrices). read more here.
Keywords: need infinite; paraconsistency need; infinite semantics; semantics ... See more keywords
A formal characterization of the outcomes of rule-based argumentation systems
Sign Up to like & getrecommendations! Published in 2018 at "Knowledge and Information Systems"
DOI: 10.1007/s10115-018-1227-5
Abstract: Rule-based argumentation systems are developed for reasoning about defeasible information. As a major feature, their logical language distinguishes between strict rules (encoding strict information) and defeasible rules (describing general behavior with exceptional cases). They build… read more here.
Keywords: based argumentation; system; argumentation systems; rule based ... See more keywords
STORK: a real, heterogeneous, large-scale eID management system
Sign Up to like & getrecommendations! Published in 2017 at "International Journal of Information Security"
DOI: 10.1007/s10207-017-0385-x
Abstract: Verifying who someone is on the Internet is a prerequisite for online services that process sensitive or valuable information. While this has been solved with national or sectorial electronic identification (eID) schemes, general, cross-border solutions… read more here.
Keywords: large scale; system; eid; stork ... See more keywords
On the automation-supported derivation of domain-specific UML profiles considering static semantics
Sign Up to like & getrecommendations! Published in 2022 at "Software and Systems Modeling"
DOI: 10.1007/s10270-021-00890-1
Abstract: In the light of standardization, the model-driven engineering (MDE) is becoming increasingly important for the development of DSLs, in addition to traditional approaches based on grammar formalisms. Metamodels define the abstract syntax and static semantics… read more here.
Keywords: uml profiles; static semantics; derivation; approach ... See more keywords
Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3)
Sign Up to like & getrecommendations! Published in 2022 at "Software and Systems Modeling"
DOI: 10.1007/s10270-021-00917-7
Abstract: Automated verification of distributed systems becomes very important in distributed computing. The graphical insight into the system in the early and late stages of the project is essential. In the design phase, the visual input… read more here.
Keywords: semantics; distributed autonomous; autonomous asynchronous; graphic modeling ... See more keywords
Creating semantics in tool use
Sign Up to like & getrecommendations! Published in 2017 at "Cognitive Processing"
DOI: 10.1007/s10339-017-0795-8
Abstract: This article presents the first evidence for a functional link between tool use and the processing of abstract symbols like Arabic numbers. Participants were required to perform a tool-use task after the processing of an… read more here.
Keywords: tool use; tool; hand; semantics ... See more keywords
Enabling BDI group plans with coordination middleware: semantics and implementation
Sign Up to like & getrecommendations! Published in 2021 at "Autonomous Agents and Multi-Agent Systems"
DOI: 10.1007/s10458-021-09525-7
Abstract: This paper investigates the use of group goals and plans as programming abstractions that provide explicit constructs for goals and plans involving coordinated action by groups of agents, with a focus on the BDI agent… read more here.
Keywords: coordination; implementation; group; group goal ... See more keywords