Editorial Board
Engineering and compiling planning domain models to promote validity and efficiency
Planning control rules for reactive agents
Autoepistemic logic of knowledge and beliefs
Determination of social laws for multi-agent mobilization
An event driven integration reasoning scheme for handling dynamic threats in an unstructured environment
Logical settings for concept-learning
An automatic proof of Gödel's incompleteness theorem
Announcement
Forthcoming papers