default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Logic, Volume 6
Volume 6, Number 1, March 2008
- Jan A. Bergstra, Cornelis 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 W. N. 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 CACLC. 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 CZFomega. 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, Cornelis 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 - Célestin Lélé, 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-01 23:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
