Results 281 to 290 of about 934,075 (313)

Epistemology, Context, and Formalism

2014
The main purpose of the present volume is to advance our understanding of the notions of knowledge and context, the connections between them and the ways in which they can be modeled, in particular formalized a question of prime importance and utmost relevance to such diverse disciplines as philosophy, linguistics, computer science and artificial ...
Lihoreau, Franck, Rebuschi, Manuel
openaire   +2 more sources

Attribute Granules in Formal Contexts

2007
Granular computing is a basic issue in knowledge representation and data mining. In this paper, the concept of attribute granules in formal contexts is introduced. The mathematical structure of attribute granules is investigated.
openaire   +1 more source

Contexts in Formal Semantics

Philosophy Compass, 2010
Abstract Recent philosophical literature has debated the question of how much context‐relativity needs to be countenanced in precise semantic theories for natural languages and has displayed different conceptions of the way in which it might be accommodated.
openaire   +1 more source

Formal Context Representation and Calculus for Context-Aware Computing

2018
Context is a rich concept that is mostly understood and used with different representations and interpretations in many different fields. This variety of usage adds both richness and vagueness, thus creating more complexity to comprehension, interpretation, and reasoning with contexts.
Ammar Alsaig, Vangalur S. Alagar, Nematollaah Shiri   +2 more
openaire   +1 more source

Formal Methods in Railways: A Systematic Mapping Study

ACM Computing Surveys, 2023
Alessio Ferrari, Maurice H Ter Beek
exaly  

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys, 2020
Matt Luckcuck, , Louise A Dennis
exaly  

Formal Context

2021
openaire   +1 more source

A Survey of Smart Contract Formal Specification and Verification

ACM Computing Surveys, 2022
Palina Tolmach, Shang-Wei Lin, Zengxiang Li   +2 more
exaly  

Formalizing Context

Theory & Psychology, 2005
openaire   +1 more source

New Opportunities for Integrated Formal Methods

ACM Computing Surveys, 2020
Mario Gleirscher, Simon Foster, Jim Woodcock   +2 more
exaly