Volume 6, Number 1, March 2008

• 
  Jan A. Bergstra, C. A. Middelburg: Simulating Turing machines on Maurer machines. 1-23
• 
  Victor Pambuccian: Axiomatizing geometric constructions. 24-46
• 
  Swapan Raha, Abul Hossain, Sujata Ghosh: Similarity based approximate reasoning: fuzzy control. 47-71
• 
  Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions. 72-108
• 
  Martin Caminada: A formal account of Socratic-style argumentation. 109-132

Volume 6, Number 2, June 2008

• 
  Lou Goble, John-Jules Ch. Meyer: Editorial. 133-134
• 
  Katie Atkinson, Trevor J. M. Bench-Capon: Addressing moral problems through practical reasoning. 135-151
• 
  Guido Boella, Leendert van der Torre: Substantive and procedural norms in normative multiagent systems. 152-171
• 
  Robert Craven, Marek J. Sergot: Agent strands in the action language nC+. 172-191
• 
  Davide Grossi, John-Jules Ch. Meyer, Frank Dignum: The many faces of counts-as: A formal analysis of constitutive rules. 192-217
• 
  Andrew J. I. Jones, Steven Orla Kimbrough: The normative aspect of signalling and the distinction between performative and constative. 218-228
• 
  Lars Lindahl, Jan Odelstad: Intermediaries and intervenients in normative systems. 229-250
• 
  Thomas Müller: Living up to one's commitments: Agency, strategies and trust. 251-266

Volume 6, Number 3, September 2008

• 
  William M. Farmer: The seven virtues of simple type theory. 267-286
• 
  Claus-Peter Wirth: Hilbert's epsilon as an operator of indefinite committed choice. 287-317
• 
  Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Combined reasoning by automated cooperation. 318-342
• 
  Sergei P. Odintsov, Heinrich Wansing: Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACL^C. 343-360
• 
  Douglas Walton: The three bases for the enthymeme: A dialogical theory. 361-379
• 
  Thomas Eiter, Esra Erdem, Wolfgang Faber: Undoing the effects of action sequences. 380-415
• 
  Bruno Courcelle: Circle graphs and monadic second-order logic. 416-442
• 
  Dominic Schulte: Hybrids of the ^×-translation for CZF^omega. 443-458

Volume 6, Number 4, December 2008

• 
  Raymond Turner, Amnon H. Eden: The Philosophy of Computer Science. 459
• 
  Konstantine Arkoudas: Computation, hypercomputation, and physical science. 461-475
• 
  Meurig Beynon, Steve Russ: Experimenting with computing. 476-489
• 
  Justin Bledin: Challenging epistemology: Interactive proofs and zero knowledge. 490-501
• 
  Selmer Bringsjord: The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself. 502-525
• 
  Timothy R. Colburn, Gary M. Shute: Metaphor in computer science. 526-533
• 
  James Currall, Michael Moss, Susan Stuart: Authenticity: a red herring? 534-544
• 
  Lars-Erik Janlert: Dark programming and the case for the rationality of programs. 545-552

• 
  Jan A. Bergstra, C. A. Middelburg: Program algebra with a jump-shift instruction. 553-563
• 
  Arelis Díaz, Carlos Uzcátegui: Representation theorems for explanatory reasoning based on cumulative models. 564-579
• 
  Celestin Lele, Salissou Moutari, M. L. Ndeffo Mbah: Algorithms and computations for foldedness of P-ideals in BCI-algebras. 580-588
• 
  Ofer Arieli: Reasoning with prioritized information by iterative aggregation of distance functions. 589-605
• 
  Stefan Göller, Dirk Nowotka: A note on an extension of PDL. 606-608
• 
  Cosimo Guido, Paola Toto: Extended-order algebras. 609-626

last updated on Mon May 20 03:20:51 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page