Results 101 to 110 of about 178,207 (183)
Logics with Multiteam Semantics [PDF]
arXiv, 2020 Team semantics is the mathematical basis of modern logics of dependence and independence. In contrast to classical Tarski semantics, a formula is evaluated not for a single assignment of values to the free variables, but on a set of such assignments, called a team.
arxiv
Uniform Definability in Propositional Dependence Logic
, 2016 Both propositional dependence logic and inquisitive logic are expressively complete. As a consequence, every formula with intuitionistic disjunction or intuitionistic implication can be translated equivalently into a formula in the language of ...
Yang, Fan
core +1 more source
Scientific Highlights of the AGILE Gamma-ray Mission
UniverseThe γ-ray sky above a few tens of megaelectronvolts (MeV) reveals some of the most powerful and energetic phenomena of our Universe. The Astrorivelatore Gamma ad Immagini LEggero (AGILE) Gamma-ray Mission was launched in 2007 with the aim of observing ...
Stefano Vercellone +2 more
doaj +1 more source
Security Toolbox for Detecting Novel and Sophisticated Android Malware
, 2015 This paper presents a demo of our Security Toolbox to detect novel malware in Android apps. This Toolbox is developed through our recent research project funded by the DARPA Automated Program Analysis for Cybersecurity (APAC) project.
Deering, Tom +4 more
core +1 more source
Automatic Detection of Wrecked Airplanes from UAV Images
Emitter: International Journal of Engineering Technology, 2019 Searching the accident site of a missing airplane is the primary step taken by the search and rescue team before rescuing the victims. However, due to the vast exploration area, lack of technology, no access road, and rough terrain make the search ...
Anhar Risnumawan +6 more
doaj +1 more source
Asynchronous Multi-Context Systems
, 2015 In this work, we present asynchronous multi-context systems (aMCSs), which provide a framework for loosely coupling different knowledge representation formalisms that allows for online reasoning in a dynamic environment. Systems of this kind may interact
G. Brewka, J. Lang, J.J. Alferes
core +1 more source
Decidability of predicate logics with team semantics [PDF]
arXiv, 2014 We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTIME-complete. Furthermore, we show that the validity problem of two-variable dependence logic is undecidable, thereby solving an open problem from the team semantics ...
arxiv
A Finite Axiomatization of G-Dependence
, 2017 We show that a form of dependence known as G-dependence (originally introduced by Grelling) admits a very natural finite axiomatization, as well as Armstrong relations.
Paolini, Gianluca
core +1 more source
SemanticOrganizer: A Customizable Semantic Repository for Distributed NASA Project Teams [PDF]
, 2004 Semantic Organizer is a collaborative knowledge management system designed to support distributed NASA projects, including multidisciplinary teams of scientists, engineers, and accident investigators. The system provides a customizable, semantically structured information repository that stores work products relevant to multiple projects of differing ...
Ian Sturken +7 more
openaire +2 more sources
Teaching semantics and skills for human-robot collaboration
Paladyn, 2019 Recent advances in robotics allow for collaboration between humans and machines in performing tasks at home or in industrial settings without harming the life of the user. While humans can easily adapt to each other and work in team, it is not as trivial
Angleraud Alexandre +2 more
doaj +1 more source