User Settings

A Formal Ontology of Interactions with Intensional Quantitative Semantics

Takashi Tomita,Naoko Izumi,Shigeki Hagihara,Naoki Yonezaki-2013-01-01-Proceedings in information and communications technology
0

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

SoundnessOntologySemantics (computer science)Computer scienceSet (abstract data type)Action (physics)InferenceInteraction

Chat

Click to start Chat