1059 search results - page 197 / 212 » Standard Logics Are Valuation-Nonmonotonic |
CAV
1997
Springer
14 years 1 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
MM
1995
ACM
14 years 1 months ago
1995
ACM
The current model for multicast transmission of video over the Internet assumes that a fixed average bandwidth is uniformly present throughout the network. Consequently, sources ...
ERCIMDL
2009
Springer
14 years 1 months ago
2009
Springer
We report on the implementation of a software infrastructure for preservation actions, carried out in the context of the European Integrated Project Planets – the Planets Interop...
AUSDM
2008
Springer
13 years 12 months ago
2008
Springer
Term signal is an existing text representation that depicts a term as a vector of frequencies of occurrences in a number of user-defined partitions of a document. Although term si...
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...