Skip Navigation

Receive this page by email each issue: [Sign up for eTOCs]

Cover Image
Other Issues:
Previous Next 		Contents: Volume 17, Number 5, October 2007   [Index by Author] 

Down Preface
Down Original Articles
Down Forthcoming Papers
Down Forthcoming Special Issues

 
Special Issue: Logical Formalization of Commonsense Reasoning

Guest Editors: Sheila McIlraith, Pavlos Peppas and Michael Thielscher

[Search ALL Issues]

Table of Contents (PDF)

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.

Preface Back

Sheila McIlraith, Pavlos Peppas, and Michael Thielscher
Preface
J Logic Computation 2007 17: 847-849; doi:10.1093/logcom/exm044 [Full Text] [PDF] [Request Permissions]  

Original Articles Back

Alexander Bochman
A Causal Theory of Abduction
Journal of Logic and Computation Advance Access published on September 21, 2007
J Logic Computation 2007 17: 851-869; doi:10.1093/logcom/exm045 [Abstract] [Full Text] [PDF] [Request Permissions]  

James P. Delgrande, Torsten Schaub, and Hans Tompits
A General Framework for Expressing Preferences in Causal Reasoning and Planning
Journal of Logic and Computation Advance Access published on September 23, 2007
J Logic Computation 2007 17: 871-907; doi:10.1093/logcom/exm046 [Abstract] [Full Text] [PDF] [Request Permissions]  

Olivier Gauwin, Sébastien Konieczny, and Pierre Marquis
Conciliation through Iterated Belief Merging
J Logic Computation 2007 17: 909-937; doi:10.1093/logcom/exm047 [Abstract] [Full Text] [PDF] [Request Permissions]  

Mark Hopkins and Judea Pearl
Causality and Counterfactuals in the Situation Calculus
Journal of Logic and Computation Advance Access published on August 2, 2007
J Logic Computation 2007 17: 939-953; doi:10.1093/logcom/exm048 [Abstract] [Full Text] [PDF] [Request Permissions]  

Yves Moinard
Forgetting Literals with Varying Propositional Symbols
J Logic Computation 2007 17: 955-982; doi:10.1093/logcom/exm049 [Abstract] [Full Text] [PDF] [Request Permissions]  

Steven Shapiro, Yves Lespérance, and Hector J. Levesque
Goal Change in the Situation Calculus
Journal of Logic and Computation Advance Access published on August 2, 2007
J Logic Computation 2007 17: 983-1018; doi:10.1093/logcom/exm050 [Abstract] [Full Text] [PDF] [Request Permissions]  

Forthcoming Papers Back

Forthcoming Papers
J Logic Computation 2007 17: 1019; doi:10.1093/logcom/exm065 [Full Text] [PDF] [Request Permissions]  

Forthcoming Special Issues Back

Forthcoming Special Issues
J Logic Computation 2007 17: 1020; doi:10.1093/logcom/exm066 [Full Text] [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.