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
  
• Kee Siong Ng, John 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
  

Volume 7, Number 4, December 2009

• Giacomo Bonanno, James P. Delgrande, Jérôme Lang, Hans Rott:
  Special Issue on Formal Models of Belief Change in Rational Agents. 363
  
• Isaac Levi:
  Why indeterminate probability is rational. 364-376
  
• David Makinson:
  Propositional relevance through letter-sharing. 377-387
  
• Krister Segerberg:
  Blueprint for a dynamic deontic logic. 388-402
  

• Gustavo Adrian Bodanza, Fernando A. Tohmé:
  Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack. 403-420
  
• Willard L. Miranker, Gregg J. Zuckerman:
  Mathematical foundations of consciousness. 421-440
  
• Pablo F. Castro, T. S. E. Maibaum:
  Deontic action logic, atomic boolean algebras and fault-tolerance. 441-466
  

Last update Sat May 18 16:41:51 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page