3515 search results - page 455 / 703 » On the semantics of Strategy Logic |
210
click to vote
ACMICEC
2006
ACM
16 years 1 months ago
2006
ACM
Business processes usually span beyond the boundaries of single operations and many a process spans even beyond the boundaries of organizations. Web Service orchestration or chore...
171
click to vote
VISSOFT
2005
IEEE
16 years 1 months ago
2005
IEEE
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...
199
Voted
SEKE
2005
Springer
16 years 1 months ago
2005
Springer
The emerging consensus on the boundaries and main elements of the Software Engineering (SE) discipline represents an opportunity for the engineering of shared conceptualizations t...
223
click to vote
JELIA
2004
Springer
16 years 26 days ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
179
Voted
AIIA
2003
Springer
16 years 22 days ago
2003
Springer
This paper aims at presenting the application of first-order logic machine learning techniques to two document domains in order to learn rules for recognizing the semantic role of...