2776 search results - page 370 / 556 » System-Level Abstraction Semantics |
160
click to vote
KI
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
173
click to vote
LPNMR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
196
click to vote
LPNMR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
152
click to vote
MODELS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
163
click to vote
RULEML
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Rule Responder is an intelligent multi-agent system for collaborative teams and virtual communities that uses RuleML as its rule interchange format. The system allows the...