A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Filters
Computational situation theory
1994
ACM SIGART Bulletin
Preserved Fulltext
Situation Theory and Situation Semantics Situation theory is a mathematical theory of meaning [25] . ...
In this paper, we review the existing approaches towards 'computational situation theory' with considerable emphasis on our own research. ...
Table 1) , these approaches are useful initial attempts towards a computational account of the theory. We believe that computational aspects of situation theory call for deeper investigation. ...
doi:10.1145/191604.191608
fatcat:sktmd6s53rctnbaioyfhxuvxwe
A Computational Framework for Identity Based on Situation Theory
2018
International Symposium on Affective Science and Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper presents a computational framework for identity (initially about the culprit in a crime scene) based on Barwise's situation theory. ...
To follow how evidence supports hypotheses on the identity of the culprit in a crime scene, we use Dempster-Shafer theory. ...
：C000027A Computational Framework for Identity Based on Situation...Artificial IntelligenceKeywords: Situation Theory, Ontologies, Dempster-Shafer T... ...
doi:10.5057/isase.2018-c000027
fatcat:bdgaqxx6yrgzlngyf6el4cujiy
The Use of Situation Theory in Context Modeling
1997
Computational intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This paper presents a preliminary model of formal contexts based on situation theory. ...
Also see Akman and Surav (1995) for related ideas on contexts and situation theory. ...
After giving the minimum background to situation theory, we will state this model and discuss an application of it in lifting, i.e., the process of computing what is true in one context based on what is ...
doi:10.1111/0824-7935.00046
fatcat:flk2fxvcjne6hnt2rgnbljttra
Using Signatures in Type Theory to Represent Situations
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Signatures have been introduced to represent situations in the formal semantics based on modern type theories. ...
In this paper, we study the notion of signature in more details, presenting it formally and discussing its use in representations of situations. ...
manifest entries, signatures are very useful in representing situations in a formal semantics based on modern type theories (MTTs). ...
doi:10.1007/978-3-662-48119-6_13
fatcat:wgonlfjbhzcj7nkfsxkxkpasei
Theories of Intentions in the Framework of Situation Calculus
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
We propose an extension of action theories to intention theories in the framework of situation calculus. ...
In order to avoid the computational complexity of theorem proving in modal logic, we explore an alternative approach that introduces the notions of belief, goal and intention fluents together with their ...
The regression-based method introduced in [15] for computing whether a ground situation is executable can be employed to compute whether a ground situation is executable-believed. ...
doi:10.1007/11493402_2
fatcat:i2rzpy43m5emnbiubj4uywd5cu
Representing Parametric Concepts with Situation Theory
2015
Proceedings of the 2015 Federated Conference on Computer Science and Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Situation Theory contributes by representing concepts as classes of parametric objects, in a computational way. ...
We use higher-order, type-theoretic Situation Theory to model semantic concepts as situation-theoretic objects consisting of parametric information. ...
A primary area of applications of Situation Theory is to computational semantics of languages. ...
doi:10.15439/2015f409
dblp:conf/fedcsis/Loukanova15
fatcat:7swsqgejnnb5lgaxyziaypckze
Using Dempster-Shafer Theory of Evidence for Situation Inference
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In the domain of ubiquitous computing, the ability to identify the occurrence of situations is a core function of being 'contextaware'. ...
In our work, we apply the Dempster Shafer theory of evidence to determine situation occurrence based on uncertain sensor data and inference rules. ...
diagrams and the use of DS theory to infer situations. ...
doi:10.1007/978-3-642-04471-7_12
fatcat:3dadl4d5vbhfdgwhoydz6mhqua
Intention Recognition in the Situation Calculus and Probability Theory Frameworks
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A method to recognize agent's intentions is presented in a framework that combines the logic of Situation Calculus and Probability Theory. ...
Eizenberg for his help in Probability Theory. If there are some errors they are the own responsibility of the authors. ...
The contribution of this paper is to propose a solution to problem 3 in a framework that combines Situation Calculus and Probability Theory and which is based on Bayes' theorem. ...
doi:10.1007/11750734_20
fatcat:mgpkg5fjqzakbp3drum4sdcyeq
The Context-Based Approach IniK in Light of Situated and Constructive Learning Theories
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Informatik im Kontext (IniK)" is a recent pedagogical approach introduced for lower secondary (grades 5-10) computing education in Germany. ...
cognition theory [23] . ...
With regard to situated cognition theory, Collins et al. argue that typical forms of formal schooling are the opposite of a situated learning environment ( [3] , p. 47ff). ...
doi:10.1007/978-3-642-36617-8_9
fatcat:o5ko5vtlxfbo7l5w6pmqmxv2au
Intranet facilitated knowledge management: A theory and tool for defining situational methods
[chapter]
1997
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A fundamental theory for situational method definition, called the S 4 model, has been developed and validated. ...
The S 4 model expresses the argumented dependencies of the Situation factors that determine the Succes of a project, to which is contributed by Scenario aspects, that yield a Situational method. ...
theory. ...
doi:10.1007/3-540-63107-0_22
fatcat:ldvokmxotjgqhpziqvvpjuuj5a
Online Stakeholder Interaction of Some Airlines in the Light of Situational Crisis Communication Theory
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This research applies Situational Crisis Communication Theory (SCCT) to interaction in the social media. ...
It provides possibilities for decision makers to monitor diverse messages online, understand stakeholder concerns and reply to them adequately, which is especially important in crisis situations. ...
SCCT theory provides a reality-based guidebook when encountering different crisis situations. ...
doi:10.1007/978-3-319-45234-0_17
fatcat:evf5kg2kofcrdgfyf3ss6bgz6a
Plans as Situated Action: An Activity Theory Approach to Workflow Systems
[chapter]
1997
Proceedings of the Fifth European Conference on Computer Supported Cooperative Work
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Based on experiences from designing a computer system that supports the collaboration within a hospital, this paper discusses how plans themselves are made out of situated action, and in return are realised ...
Thus, work can be characterised as situated planning. ...
The false dichotomy between plans and situated action is removed and it becomes possible to talk about, and thus support by computers, situated planning. ...
doi:10.1007/978-94-015-7372-6_2
fatcat:dj4ude6kavccdbfp65p7w5qgtu
The Crisis Management and the Reputation of UAE Police: An Application Situational Crisis Communication Theory
2021
Turkish Journal of Computer and Mathematics Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
For this purpose, the study has employed the Coombs' situational CC theory (SCCT). ...
Using a case which involved the death of a witness during an interrogation by the government agency; this study analyzed the development of the crisis situation as it unfolded. ...
Towards this end, this study employs Coombs' situational CC theory (SCCT) in investigating the death of a witness during a crossexamination conducted by a government agency. ...
doi:10.17762/turcomat.v12i3.1327
fatcat:ph7exyeuevetrhaokc4cuypxlq
PRE-FIGHT DETECTION - Classification of Fighting Situations using Hierarchical AdaBoost
english
2009
Proceedings of the Fourth International Conference on Computer Vision Theory and Applications
unpublished
english
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We show it is possible to classify pre-fighting situations using such an approach and demonstrate how it can be used in the general case of continuous sequences. ...
All are computed from a side on point of view and results indicate good performance on their dataset of 62 situations with a correct classification of 97%. Cupillard et al. ...
These classes were manually labelled by members of a computer vision surveillance lab. ...
doi:10.5220/0001775903030308
fatcat:im7z3dbcrffhhb7cwibnpjtdaa
THE USE OF SITUATION REPRESENTATION WHEN SEARCHING FOR SOLUTIONS IN COMPUTER AIDED DESIGN SYSTEMS
International Journal "Information Theories & Applications
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Based on this connection the situation representing language has been created, it lets to express a problem situation using a natural language describe. ...
Every situation is associated with one or several design solutions, which can be used at the development. ...
The situation is formed as a set of triples -micrositutations. ...
fatcat:j2qmtsj2c5h4bjt5f2n366mxvq
« Previous
Showing results 1 — 15 out of 1,587,188 results