633 search results - page 57 / 127 » A Semantic Basis for Quest |
ASP
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
CSFW
1997
IEEE
14 years 1 months ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
EUROMICRO
1996
IEEE
14 years 1 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
APN
2006
Springer
14 years 24 days ago
2006
Springer
Dynamic nets are an extension of Petri nets where the net topology may change dynamically. This is achieved by allowing (i) tokens to be coloured with place names (carried on as da...
ERSHOV
2006
Springer
14 years 22 days ago
2006
Springer
The paper presents a concept and architecture of specialized Internet portal providing semantic access to knowledge and information resources (electronic collections) for any given...