3515 search results - page 236 / 703 » On the semantics of Strategy Logic |
208
Voted
IJCAI
2007
15 years 9 months ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
147
Voted
MLQ
2002
15 years 7 months ago
2002
In this paper a definition of n-valued system in the context of the algebraizable logics is proposed. We define and study the variety V3, showing that it is definitionally equivale...
178
click to vote
VLDB
1991
ACM
15 years 11 months ago
1991
ACM
In this paper we describe a rule-based approach to semantic specification that can be used to establish semantic agreement between a source and receiver. Query processing techniqu...
184
click to vote
IJIS
2008
15 years 7 months ago
2008
Abstract. In complex multi agent systems, the agents may be heterogeneous and possibly designed by different programmers. Thus, the importance of defining a standard framework for ...
301
Voted
CADE
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...