Sciweavers

5198 search results - page 141 / 1040
» A Logic of Agent Programs
Sort
View
AI
2008
Springer
15 years 4 months ago
Active logic semantics for a single agent in a static world
Michael L. Anderson, Walid E. Gomaa, John Grant, D...
96
Voted
ENTCS
2002
72views more  ENTCS 2002»
15 years 3 months ago
Language Design Issues for Agents based on Linear Logic (Extended Abstract)
James Harland, Michael Winikoff
133
Voted
ICFP
2006
ACM
16 years 4 months ago
Polymorphism and separation in hoare type theory
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
Aleksandar Nanevski, Greg Morrisett, Lars Birkedal