Sciweavers

5671 search results - page 188 / 1135
» A Semantic Approach to Interpolation
Sort
View
APSEC
2003
IEEE
15 years 8 months ago
An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
Moshe Deutsch, Martin C. Henson
AAAI
1994
15 years 5 months ago
An Operational Semantics for Knowledge Bases
The standard approach in AI to knowledge representation is to represent an agent's knowledge symbolically as a collection of formulas, which we can view as aknowledge base. A...
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Mosh...
LPNMR
2007
Springer
15 years 10 months ago
Semantics for Possibilistic Disjunctive Programs
In this paper by considering an answer set programming approach and some basic ideas from possibilistic logic, we introduce a possibilistic disjunctive logic programming approach t...
Juan Carlos Nieves, Mauricio Osorio, Ulises Cort&e...
IWQOS
2005
Springer
15 years 10 months ago
Implicit Flow QoS Signaling Using Semantic-Rich Context Tags
An important feature of future context-aware and adaptive networks would be the ability to provide QoS to user flows. Our approach enables end-hosts and other devices to expose an...
Roel Ocampo, Alex Galis, Hermann de Meer, Chris To...
ICCBR
2005
Springer
15 years 10 months ago
Learning Semantic Annotations for Textual Cases
Abstract. In this paper, we propose an approach to attach semantic annotations to textual cases for their representation. To achieve this goal, a framework that combines machine le...
Eni Mustafaraj, Martin Hoof, Bernd Freisleben