Journal of Applied Logic, Volume 7

Volume 7, Number 1, March 2009

• Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz:
  Empirically successful computerized reasoning. 1
  
• Matt Kaufmann, J. Strother Moore, Sandip Ray, Erik Reeber:
  Integrating external deduction tools with ACL2. 3-25
  
• Tjark Weber, Hasan Amjad:
  Efficiently checking propositional refutations in HOL theorem provers. 26-40
  
• Jia Meng, Lawrence C. Paulson:
  Lightweight relevance filtering for machine-generated resolution problems. 41-57
  
• Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli:
  Computing finite models by reduction to function-free clause logic. 58-74
  
• Michael Wessel, Ralf Möller:
  Flexible software architectures for ontology-based information systems. 75-99
  
• Johan Bos:
  Applying automated deduction to natural language understanding. 100-112
  
• Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen:
  Solving the $100 modal logic challenge. 113-130
  

Volume 7, Number 2, June 2009

• Fabio Gagliardi Cozman, Rolf Haenni, Jan-Willem Romeijn, Federica Russo, Gregory R. Wheeler, Jon Williamson:
  Combining Probability and Logic. 131-135
  
• Cassio Polpo de Campos, Fabio Gagliardi Cozman, José Eduardo Ochoa Luna:
  Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence. 137-154
  
• Rolf Haenni:
  Probabilistic argumentation. 155-176
  
• Colin Howson:
  Can logic be combined with probability? Probably. 177-187
  
• Bert Leuridan:
  Causal discovery and the problem of ignorance. An adaptive logic approach. 188-205
  
• Niki Pfeifer, Gernot D. Kleiter:
  Framing human inference by coherence based probability logic. 206-217
  
• K. S. Ng, J. W. Lloyd:
  Probabilistic reasoning in a classical logic. 218-238
  
• Jan Sprenger:
  Statistics between inductive logic and empirical science. 239-250
  

Volume 7, Number 3, September 2009

• Antonis C. Kakas, Peter A. Flach:
  Abduction and Induction in Artificial Intelligence. 251
  
• Nam Tran, Chitta Baral:
  Hypothesizing about signaling networks. 253-274
  
• Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel:
  Using abduction and induction for operational requirements elaboration. 275-288
  
• Gauvain Bourgne, Amal El Fallah-Seghrouchni, Nicolas Maudet:
  Towards refinement of abductive or inductive hypotheses through propagation. 289-306
  
• Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima:
  Reconsideration of circumscriptive induction with pointwise circumscription. 307-317
  
• Chiaki Sakama, Katsumi Inoue:
  Equivalence issues in abduction and induction. 318-328
  
• Oliver Ray:
  Nonmonotonic abductive inductive learning. 329-340
  
• Henning Christiansen:
  Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules. 341-362