2599 search results - page 128 / 520 » An Operational Semantics for Knowledge Bases |
166
click to vote
ALP
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
157
click to vote
ECAI
1990
Springer
15 years 10 months ago
1990
Springer
Modal logics based on Kripke style semantics are the prominent formalismin AI for modeling beliefs. Kripke semantics involve a collection of possible worlds and a relation among t...
141
click to vote
KR
2000
Springer
15 years 9 months ago
2000
Springer
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...
136
Voted
ICWL
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents an intelligent Information (course materials) Management System, (called AnyServer) which can serve as an Web based Learning platform (WLP) and enable course ed...
183
click to vote
REST
2010
ACM
15 years 8 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...