Where logic and agents meet

Author： Dix Jürgen  

Publisher： Springer Publishing Company

ISSN： 1012-2443

Source： Annals of Mathematics and Artificial Intelligence, Vol.61, Iss.1, 2011-01, pp. : 15-28

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Olten Meeting 2011 - Where Benign Cells Meet

By Heinzelmann Elsbeth  

CHIMIA International Journal for Chemistry, Vol. 66, Iss. 1, 2012-02 ,pp. : 61-63

Swiss Chemical Society

Access to resources Recommend Favorite

A Sequent Calculus for Propositional Dynamic Logic for Agents

By Sakalauskaitė J.  

Lithuanian Mathematical Journal, Vol. 44, Iss. 3, 2004-07 ,pp. : 244-250

Springer Publishing Company

Access to resources Recommend Favorite

A Sequent Calculus for Propositional Dynamic Logic for Agents with Interactions

By Sakalauskaite J.  

Lithuanian Mathematical Journal, Vol. 45, Iss. 2, 2005-04 ,pp. : 217-224

Springer Publishing Company

Access to resources Recommend Favorite

Programming Rational Agents in a Modal Action Logic

By Baldoni Matteo  

Annals of Mathematics and Artificial Intelligence, Vol. 41, Iss. 2-4, 2004-08 ,pp. : 207-257

Springer Publishing Company

Access to resources Recommend Favorite

Extending Answer Sets for Logic Programming Agents

By De Vos M.  

Annals of Mathematics and Artificial Intelligence, Vol. 42, Iss. 1-3, 2004-09 ,pp. : 103-139

Springer Publishing Company

Access to resources Recommend Favorite