1746 search results - page 262 / 350 » A Constructive Semantics for ALC |
124
Voted
LOGCOM
2007
15 years 16 days ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...
110
Voted
DSS
2008
15 years 6 days ago
2008
The Web is a universal repository of human knowledge and culture which has allowed unprecedented sharing of ideas and information in a scale never seen before. It can also be cons...
108
Voted
EDBT
2006
ACM
16 years 24 days ago
2006
ACM
The need of processing graph reachability queries stems from many applications that manage complex data as graphs. The applications include transportation network, Internet traffic...
112
click to vote
ICFP
2008
ACM
16 years 19 days ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
106
click to vote
ICFP
2005
ACM
16 years 19 days ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...