Journal of Applied Logic, Volume 6

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

Selected papers from the 8th International Workshop on Deontic Logic in Computer Science

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

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

Special papers: The Philosophy of Computer Science

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

Regular papers

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 update Mon May 20 01:08:53 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page