Sciweavers

122 search results - page 1 / 25
» Computational Semantics of Time Negation Interaction
Sort
View
ICPR
2004
IEEE
14 years 5 months ago
Event Semantics in Two-person Interactions
This paper presents a method to represent two-person interactions at a semantic level with a natural language description. A human interaction is composed of two singleperson acti...
Jake K. Aggarwal, Sangho Park
ICLP
2005
Springer
13 years 10 months ago
Hybrid Probabilistic Logic Programs with Non-monotonic Negation
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
Emad Saad, Enrico Pontelli
ICCS
2003
Springer
13 years 10 months ago
A Semantic Search Approach by Graph Matching with Negations and Inferences
Research on semantic search has become heated these years. In this paper we propose an approach focusing on searching for resources with descriptions. The knowledge representation ...
Kewei Tu, Jing Lu, Haiping Zhu, Guowei Liu, Yong Y...
CONCUR
2008
Springer
13 years 6 months ago
Distributed Timed Automata with Independently Evolving Clocks
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...
S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan ...