1162 search results - page 188 / 233 » Monotonic Semantic Interpretation |
130
Voted
LPNMR
1997
Springer
15 years 4 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
112
Voted
ECAI
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
119
Voted
ASWC
2006
Springer
15 years 4 months ago
2006
Springer
Automated Web service composition and automated Web service annotation could be seen as complimentary methodologies. While automated annotation allows to extract Web service semant...
128
Voted
DALT
2006
Springer
15 years 4 months ago
2006
Springer
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...
89
Voted
AAAI
2008
15 years 2 months ago
2008
Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs....