820 search results - page 55 / 164 » Action Languages |
TAPSOFT
1991
Springer
13 years 11 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
DKE
2008
13 years 8 months ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
SKG
2006
IEEE
14 years 2 months ago
2006
IEEE
Making a truly useful massively multi-agent system is difficult since the actions of the full ensemble of agents cannot be controlled by designing just one agent. It is critical ...
COLING
2002
13 years 8 months ago
2002
With the rapid growth of real application domains for NLP systems, there is a genuine demand for a general toolkit from which programmers with no linguistic knowledge can build sp...
AIME
2001
Springer
14 years 22 days ago
2001
Springer
Medical protocols are widely recognised to provide clinicians with high-quality and up-to-date recommendations. A critical condition for this is of course that the protocols themse...