1636 search results - page 34 / 328 » Type-Theoretic Functional Semantics |
120
click to vote
AOSD
2011
ACM
14 years 7 months ago
2011
ACM
Block joinpoints allow programmers to explicitly mark regions of base code as “to be advised”, thus avoiding the need to extract the block into a method just for the sake of c...
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
A new paradigm in Semantic Web research focuses on the development of a new generation of knowledge-based problem solvers, which can exploit the massive amounts of formally speci...
119
click to vote
IRCDL
2007
15 years 1 months ago
2007
Abstract— In this paper we suggest a new approach to represent text document collections, integrating background knowledge to improve clustering effectiveness. Background knowled...
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
The system of Peirce’s existential graphs is a diagrammatic version of first order logic. To be more precisely: As Peirce wanted to develop a logic of relatives (i.e., relations...
MKM
2004
Springer
15 years 5 months ago
2004
Springer
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...