3005 search results - page 170 / 601 » Logical Information Systems: from Taxonomies to Logics |
197
click to vote
QEST
2008
IEEE
16 years 27 days ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
163
click to vote
ICLP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
170
click to vote
DLOG
1997
15 years 7 months ago
1997
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...
177
click to vote
ENTCS
2006
15 years 6 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
162
click to vote
WSC
2008
15 years 8 months ago
2008
Within the last months the semiconductor plant of Infineon in Dresden has converted to a pure manufacturer of logic products. With it, premises for production control have changed...