1587 search results - page 67 / 318 » The Semantics of Extended SOFL |
RULES
1993
Springer
13 years 11 months ago
1993
Springer
Semantic models have shown the utility of arbitrary user-de ned relationships for de ning the semantics of database information, while objectoriented models have developed a stron...
ECAI
2010
Springer
13 years 5 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
Traditional semantic web query languages support a logicbased access to the semantic web. They offer a retrieval (or reasoning) of data based on facts. On the traditional web and...
ILP
2001
Springer
14 years 3 days ago
2001
Springer
In the line of previous work by S. Muggleton and C. Sakama, we extend the logical characterization of inductive logic programming, to normal logic programs under the stable models ...
SWAP
2008
13 years 9 months ago
2008
In this paper we are presenting ongoing work on a software library for on-the-fly browsing of Semantic Web content that forms the informational context around an entity. This libra...