3658 search results - page 566 / 732 » The logic of proofs, semantically |
185
click to vote
RR
2007
Springer
16 years 1 months ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
200
Voted
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...
157
Voted
VISSOFT
2005
IEEE
16 years 21 days 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...
193
Voted
SEKE
2005
Springer
16 years 18 days 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...
213
Voted
JELIA
2004
Springer
16 years 14 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...