Agent Deliberation via Forward and Backward Chaining in Linear Logic (bibtex)
by Luke Trodd, James Harland, John Thangarajah
Reference:
Agent Deliberation via Forward and Backward Chaining in Linear Logic - Luke Trodd, James Harland, John Thangarajah, In Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers (Matteo Baldoni, Louise A. Dennis, Viviana Mascardi, Wamberto Vasconcelos, eds.), Springer, volume 7784, 57-75, 2013. ( PDF )
Bibtex Entry:
@inproceedings{TroddHT12,
  author    = {Luke Trodd and James Harland and John Thangarajah},
  title     = {Agent Deliberation via Forward and Backward Chaining in Linear Logic},
  editor    = {Matteo Baldoni and Louise A. Dennis and Viviana Mascardi and Wamberto Vasconcelos},
  booktitle     = {Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers},
  pages     = {57-75},
  publisher = {Springer},
  series =  {Lecture Notes in Computer Science},
  volume    = {7784},
  year      = {2013},
     comment = {<a href="https://drive.google.com/file/d/0B5osGljhBbIMZFpQbGhGbTA2ZWs/edit?usp=sharing" target="_blank"> PDF </a>}
}
Powered by bibtexbrowser