1746 search results - page 119 / 350 » A Constructive Semantics for ALC |
139
click to vote
AO
2007
15 years 4 months ago
2007
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
172
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
169
click to vote
POPL
2011
ACM
14 years 7 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
122
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
168
click to vote
DOOD
1991
Springer
15 years 8 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...