Journal of Applied Logic, Volume 5

Volume 5, Number 1, March 2007

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

• 
  Raffaella Bernardi, Bonnie L. Webber:
  Questions and Answers: Theoretical and Applied Perspectives. 1-2
• 
  Antonio Badia:
  Question answering and database querying: Bridging the gap with generalized quantification. 3-19
• 
  Anette Frank, Hans-Ulrich Krieger, Feiyu Xu, Hans Uszkoreit, Berthold Crysmann, Brigitte Jörg, Ulrich Schäfer:
  Question answering from structured knowledge sources. 20-48
• 
  Dan I. Moldovan, Christine Clark, Sanda M. Harabagiu, Daniel Hodges:
  Cogex: A semantically and contextually enriched logic prover for question answering. 49-69
• 
  Debra T. Burhans, Stuart C. Shapiro:
  Defining answer classes using resolution refutation. 70-91
• 
  Marco De Boni:
  Using logical relevance for question answering. 92-103
• 
  Tiphaine Dalmas, Bonnie L. Webber:
  Answer comparison in automated question answering. 104-120
• 
  Stefan Schlobach, David Ahn, Maarten de Rijke, Valentin Jijkoun:
  Data-driven type checking in open domain question answering. 121-143

Regular papers

• 
  Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
  Open answer set programming for the semantic web. 144-169
• 
  Jan A. Bergstra, Alban Ponse:
  Execution architectures for program algebra. 170-192

Volume 5, Number 2, June 2007

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

• 
  Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael J. Wooldridge:
  Logic-Based Agent Verification. 193-195
• 
  Christopher D. Walton:
  Verifiable agent dialogues. 197-213
• 
  Laura Giordano, Alberto Martelli, Camilla Schwind:
  Specifying and verifying interaction protocols in a temporal action logic. 214-234
• 
  Franco Raimondi, Alessio Lomuscio:
  Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. 235-251
• 
  Yves Bontemps, Pierre-Yves Schobbens:
  The computational complexity of scenario-based agent verification and design. 252-276
• 
  Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer:
  A verification framework for agent programming with declarative goals. 277-302
• 
  Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer:
  Security of multi-agent systems: A case study on comparison shopping. 303-332

Regular papers

• 
  Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan:
  Precise specification matching for adaptive reuse in embedded systems. 333-355
• 
  Murdoch Gabbay:
  Fresh Logic: proof-theory and semantics for FM and nominal techniques. 356-387

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. 389-391
• 
  Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan:
  Computing the least common subsumer w.r.t. a background terminology. 392-420
• 
  Philippe Balbiani, Tinko Tinchev:
  Line-based affine reasoning in Euclidean plane. 421-434
• 
  Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego:
  Termination of logic programs with imperfect information: applications and query procedure. 435-458
• 
  James P. Delgrande, Torsten Schaub:
  A consistency-based framework for merging knowledge bases. 459-477
• 
  Lee Flax:
  An algebraic approach to belief contraction and nonmonotonic entailment. 478-491
• 
  Arild Waaler, Johan W. Klüwer, Tore Langholm, Espen H. Lian:
  Only knowing with degrees of confidence. 492-518

Regular papers

• 
  Ernst-Erich Doberkat:
  The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator. 519-544
• 
  Francesco Ricca, Nicola Leone:
  Disjunctive logic programming with types and objects: The DLV⁺ system. 545-573

Volume 5, Number 4, December 2007

Selected papers from the 4th International Workshop on Computational Models of Scientific Reasoning and Applications

• 
  Luís Moniz Pereira, Gregory R. Wheeler:
  Introduction. 575-576
• 
  Ray E. Jennings, Dorian X. Nicholson:
  An axiomatization of family resemblance. 577-585
• 
  Pierangelo Dell'Acqua, Luís Moniz Pereira:
  Preferential theory revision. 586-601
• 
  Hans Lycke:
  An adaptive logic for relevant classical deduction. 602-612
• 
  Eric Pacuit:
  Some comments on history based structures. 613-624
• 
  James Hawthorne:
  Nonmonotonic conditionals that behave like conditional probabilities above a threshold. 625-637
• 
  Henry E. Kyburg Jr., Choh Man Teng, Gregory R. Wheeler:
  Conditionals and consequences. 638-650

Regular papers

• 
  Behzad Akbarpour, Sofiène Tahar:
  Error analysis of digital filters using HOL theorem proving. 651-666
• 
  K. Subramani:
  A polynomial time algorithm for Zero-Clairvoyant scheduling. 667-680
• 
  Gerhard Jäger, Mathis Kretz, Thomas Studer:
  Cut-free common knowledge. 681-689