2685 search results - page 425 / 537 » A Formal Semantics for SPKI |
170
click to vote
IJCAI
2003
15 years 7 months ago
2003
Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all t...
163
click to vote
IJCAI
2003
15 years 7 months ago
2003
Inconsistencies frequently occur in knowledge about the real-world. Some of these inconsistencies may be more significant than others, and some knowledgebases (sets of formulae) m...
170
click to vote
SPLC
2004
15 years 7 months ago
2004
Feature modeling is an important approach to capturing commonalities and variabilities in system families and product lines. In this paper, we propose a cardinality-based notation ...
156
click to vote
ISTA
2003
15 years 7 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
149
click to vote
COLING
2000
15 years 7 months ago
2000
: A Chinese generation module in a speech to speech dialogue translation system is presented he:re. The input of the generation module is the underspecified semantic representation...