A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit <a rel="external noopener" href="http://cgi.cse.unsw.edu.au/~mit/Papers/JTPLP05.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
FLUX: A logic programming method for reasoning agents
<span title="">2005</span>
<i title="Cambridge University Press (CUP)">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yhwvj6mbzza5tfz766tokherka" style="color: black;">Theory and Practice of Logic Programming</a>
</i>
Preserved Fulltext
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is a system of Constraint Handling Rules, which enables agents to maintain an internal model of their environment by which they control their own behavior. The general action representation formalism of the fluent calculus provides the formal semantics for the constraint solver. FLUX exhibits excellent computational
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s1471068405002358">doi:10.1017/s1471068405002358</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vprihzm4nbbeboneg32rzzcnqy">fatcat:vprihzm4nbbeboneg32rzzcnqy</a>
</span>
more »
... ior due to both a carefully restricted expressiveness and the inference paradigm of progression.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180328121958/http://cgi.cse.unsw.edu.au/~mit/Papers/JTPLP05.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/82/f5/82f500286031f836886ed15fffc11ffae0b46309.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s1471068405002358">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
cambridge.org
</button>
</a>