453 search results - page 80 / 91 » FLUX: A Logic Programming Method for Reasoning Agents |
172
Voted
POPL
2007
ACM
15 years 12 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
84
Voted
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
116
Voted
SIGSOFT
2007
ACM
16 years 12 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
78
Voted
ECAI
2004
Springer
15 years 5 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 ...
LACL
2001
Springer
15 years 4 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...