3239 search results - page 410 / 648 » A Logical Process Calculus |
SIGDOC
2005
ACM
15 years 9 months ago
2005
ACM
To reduce potential discrepancies between textual and graphical content in documentation, it is possible to produce both text and graphics from a single common source. One approac...
169
click to vote
ARGMAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
126
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
117
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential capabilities for any intelligent agent to understand ...
124
Voted
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...