Volume 5, Number 1, March 2007
Questions and Answers:
Theoretical and Applied Perspectives Special papers - Questions and Answers:
Theoretical and Applied Perspectives
: Question answering and database querying: Bridging the gap with generalized quantification.
Marco De Boni
: Using logical relevance for question answering.
Volume 5, Number 2, June 2007
Logic-Based Agent Verification Special papers:
Logic-Based Agent Verification
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
José Júlio Alferes
, João Leite
: Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004.
: An algebraic approach to belief contraction and nonmonotonic entailment.
: The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator.
Volume 5, Number 4, December 2007
Selected papers from the 4th International Workshop on Computational Models of Scientific Reasoning and Applications
: An adaptive logic for relevant classical deduction.
: Some comments on history based structures.
: Nonmonotonic conditionals that behave like conditional probabilities above a threshold.
: A polynomial time algorithm for Zero-Clairvoyant scheduling.