Sciweavers

2696 search results - page 89 / 540
» Semantic Abstraction and Anaphora
Sort
View
LPKR
1997
Springer
15 years 2 months ago
Abduction, Argumentation and Bi-Disjunctive Logic Programs
Abstract. We study the relationship between argumentation (abduction) and disjunctive logic programming. Based on the paradigm of argumentation, an abductive semantic framework for...
Kewen Wang, Huowang Chen
CONCUR
2008
Springer
14 years 11 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 ...
ENTCS
2006
121views more  ENTCS 2006»
14 years 10 months ago
A Hierarchy of SOS Rule Formats
nary abstract) Jan Friso Groote 1 MohammadReza Mousavi 2 Michel A. Reniers 3 Department of Computer Science, Eindhoven University of Technology (TU/e), P.O. Box 513, NL-5600 MB Ein...
Jan Friso Groote, Mohammad Reza Mousavi, Michel A....
TOIT
2008
115views more  TOIT 2008»
14 years 9 months ago
Resource space model, OWL and database: Mapping and integration
s exhibits diversity in the real world, mental abstraction world, document world, and machine world. Studying mappings between different forms of semantics helps unveil the uniform...
Hai Zhuge, Yunpeng Xing, Peng Shi
WISE
2010
Springer
14 years 7 months ago
From Keywords to Queries: Discovering the User's Intended Meaning
Abstract. Regarding web searches, users have become used to keywordbased search interfaces due to their ease of use. However, this implies a semantic gap between the user's in...
Carlos Bobed, Raquel Trillo, Eduardo Mena, Sergio ...