Journal of Applied Logic, Volume 5

Refine list

showing all ?? records

Volume 5, Number 1, March 2007

Questions and Answers: Theoretical and Applied Perspectives Special papers - Questions and Answers: Theoretical and Applied Perspectives Regular papers

Volume 5, Number 2, June 2007

Logic-Based Agent Verification Special papers: Logic-Based Agent Verification Regular papers

Volume 5, Number 3, September 2007

Selected papers from the 9th European Conference on Logics in Artificial Intelligence (JELIA '04), 9th European Conference on Logics in Artificial Intelligence Regular papers

Volume 5, Number 4, December 2007

Selected papers from the 4th International Workshop on Computational Models of Scientific Reasoning and Applications Regular papers
a service of  Schloss Dagstuhl - Leibniz Center for Informatics