Volume 9, Number 1, March 2011

• 
  Ofer Arieli, Anna Zamansky: Simplified forms of computerized reasoning with distance semantics. 1-22
• 
  Osman Hasan, Sofiène Tahar: Reasoning about conditional probabilities in a higher-order-logic theorem prover. 23-40
• 
  Osman Hasan, Jigar Patel, Sofiène Tahar: Formal reliability analysis of combinational circuits using theorem proving. 41-60
• 
  Christian Straßer: A deontic logic framework allowing for factual detachment. 61-80

Volume 9, Number 2, June 2011

• 
  Ron van der Meyden, Leon van der Torre: Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008). 81-82

• 
  Nuel Belnap: Prolegomenon to norms in branching space-times. 83-94
• 
  Davide Grossi: Norms as ascriptions of violations: An analysis in modal logic. 95-112
• 
  Lars Lindahl, Jan Odelstad: Stratification of normative systems with intermediaries. 113-136
• 
  Jan Broersen: Deontic epistemic stit logic distinguishing modes of mens rea. 137-152
• 
  Paul McNamara: Praise, blame, obligation, and DWE: Toward a framework for classical supererogation and kin. 153-170

Volume 9, Number 3, September 2011

• 
  Paolo Gentilini: Proof theory and mathematical meaning of paraconsistent C-systems. 171-202
• 
  Jan A. Bergstra, C. A. Middelburg: Inversive meadows and divisive meadows. 203-220

Volume 9, Number 4, December 2011

• 
  Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar: Special issue on logics for intelligent agents and multi-agent systems. 221-222

• 
  Michael Fisher: Agent deliberation in an executable temporal framework. 223-238
• 
  Chuchang Liu, Angela Billard, Benjamin Long: An abstract dynamic access control architecture. 239-249
• 
  Jeff Blee, David Billington, Guido Governatori, Abdul Sattar: Levels of modality for BDI Logic. 250-273
• 
  Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre: Time and defeasibility in FIPA ACL semantics. 274-288
• 
  Ji Ma, Mehmet A. Orgun, Kamel Adi: An analytic tableau calculus for a temporalised belief logic. 289-304

last updated on Sat May 25 06:21:21 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page