290 search results - page 41 / 58 » A Metamodeling Approach for Reasoning about Requirements |
77
Voted
ICCS
1998
Springer
15 years 1 months ago
1998
Springer
Internet-based information technologies have considerable potential for improving collaboration in professional communities. In this paper, we explain the concept of user-driven sp...
DKE
2006
14 years 9 months ago
2006
Many kinds of news report provide information about events. For example, business news reports in the area of mergers and acquisitions, provide information about events such as &q...
102
click to vote
ICLP
2004
Springer
15 years 2 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
DLOG
2000
14 years 10 months ago
2000
Recently, there has been a wide interest in using ontologies on the Web. As a basis for this, RDF Schema (RDFS) provides means to define vocabulary, structure and constraints for ...
122
Voted
ABIALS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Human action is goal-directed and must thus be guided by anticipations of wanted action effects. How anticipatory action control is possible and how it can emerge from ex...