Sciweavers

5198 search results - page 141 / 1040

» A Logic of Agent Programs

84

AI
2008
Springer

84views Artificial Intelligence» more AI 2008»

Active logic semantics for a single agent in a static world

15 years 4 months ago

Active logic semantics for a single agent in a static world

Download www.alexeng.edu.eg

Michael L. Anderson, Walid E. Gomaa, John Grant, D...

claim paper

Read More »

101

IJFCS
2008

54views more IJFCS 2008»

A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents

15 years 4 months ago

A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents

Download eprints.biblio.unitn.it

Radu Mardare, Matteo Cavaliere, Sean Sedwards

claim paper

Read More »

113

AMAI
2004
Springer

140views Artificial Intelligence» more AMAI 2004»

Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions

15 years 4 months ago

Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions

Download www-lia.deis.unibo.it

Paolo Torroni

claim paper

Read More »

98

ENTCS
2002

72views more ENTCS 2002»

Language Design Issues for Agents based on Linear Logic (Extended Abstract)

15 years 4 months ago

Language Design Issues for Agents based on Linear Logic (Extended Abstract)

Download waitaki.otago.ac.nz

James Harland, Michael Winikoff

claim paper

Read More »

134

ICFP
2006
ACM

158views Programming Languages» more ICFP 2006»

Polymorphism and separation in hoare type theory

16 years 4 months ago

Polymorphism and separation in hoare type theory

Download www.eecs.harvard.edu

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

claim paper

Read More »

« Prev « First page 141 / 1040 Last » Next »