2830 search results - page 43 / 566 » No Science without Semantics |
89
Voted
CSR
2006
Springer
15 years 4 months ago
2006
Springer
The logic of proofs is known to be complete for the semantics of proofs in PA. In this paper we present a refinement of this theorem, we will show that we can assure that all the ...
89
Voted
ACL
1989
15 years 1 months ago
1989
This paper shows that a first-order unificationbased semantic interpretation for various coordinate constructs is possible without an explicit use of lambda expressions if we slig...
108
Voted
LPNMR
2009
Springer
15 years 5 months ago
2009
Springer
Several proposals of the semantics of aggregates are based on different extensions of the stable model semantics, which makes it difficult to compare them. In this note, building ...
102
Voted
ACSC
2008
IEEE
15 years 7 months ago
2008
IEEE
Modern computer systems are based on the traditional hierarchical file system model, but typically contain large numbers of files with complex interrelationships. This tradition...
110
Voted
GG
2010
Springer
15 years 1 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...