Journal: Journal of Logic and Computation

Volume 24, Issue 6

1141 -- 1144João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leendert van der Torre. Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII)
1145 -- 1178Tiago De Lima. Alternating-time temporal dynamic epistemic logic
1179 -- 1207Mathieu Beirlaen, Christian Straßer. Non-monotonic reasoning with normative conflicts in multi-agent deontic logic
1209 -- 1227Hans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek. On the definability of simulation and bisimulation in epistemic logic
1229 -- 1249Daniele Porello, Ulle Endriss. Ontology merging as social choice: judgment aggregation under the open world assumption
1251 -- 1252Michael Fisher, Leendert van der Torre, Mehdi Dastani, Guido Governatori. Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII)
1253 -- 1277Dov M. Gabbay, Odinaldo Rodrigues. An equational approach to the merging of argumentation networks
1279 -- 1311Matthias Knorr, Martin Slota, João Leite, Martin Homola. What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
1313 -- 1339Emiliano Lorini, Dominique Longin, Eunate Mayor. A logical analysis of responsibility attribution: emotions, individuals and collectives
1341 -- 1363Frank Dignum, Virginia Dignum. A formal semantics for agent (re)organization

Volume 24, Issue 5

989 -- 1022Joan Chen-Main, Aravind K. Joshi. A dependency perspective on the adequacy of tree local multi-component tree adjoining grammar
1023 -- 1069Amílcar Sernadas, João Rasga, Cristina Sernadas, Paulo Mateus. Approximate reasoning about logic circuits with single-fan-out unreliable gates
1071 -- 1110Ian M. Hodkinson. On the Priorean temporal logic with 'around now' over the real line
1111 -- 1139Nicolas Peltier. Tractable and intractable classes of propositional schemata

Volume 24, Issue 4

687 -- 704Juan C. Agudelo-Agudelo, Manuel H. Sierra-Aristizábal. Restricted normal modal logics and levelled possible worlds semantics
705 -- 762Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato. Logics in access control: a conditional approach
763 -- 807Paolo Liberatore. Bijective faithful translations among default logics
809 -- 829Grigory K. Olkhovikov. Model-theoretic characterization of intuitionistic predicate formulas
831 -- 849P. M. Thang, H. T. Luong. Translating preferred subtheories into structured argumentation
851 -- 861Pavel Naumov, Italo Simonelli. Strict equilibria interchangeability in multi-player zero-sum games
863 -- 882Takayuki Kihara, Kenshi Miyabe. Uniform Kurtz randomness
883 -- 917Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt. A resolution-based calculus for Coalition Logic
919 -- 951Mario R. F. Benevides, L. Menasché Schechter. Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
953 -- 988Matthew Collinson, Kevin Mcdonald, David J. Pym. A substructural logic for layered graphs

Volume 24, Issue 3

511 -- 512Mário Florido, Ian Mackie. Linearity in Computation
513 -- 529Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie. Linearity: A Roadmap
531 -- 556Edsko de Vries, Adrian Francalanza, Matthew Hennessy. Uniqueness typing for resource management in message-passing concurrency
557 -- 589Marco Gaboardi, Mauro Piccolo. What is a model for a semantically linear λ-calculus?
591 -- 613Maribel Fernández, Nikolaos Siafakas. Labelled calculi of resources
615 -- 654Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson. The enriched effect calculus: syntax and semantics
655 -- 685Paolo Torrini. Linear Types and Locality

Volume 24, Issue 2

309 -- 0Harry Bunt, Andreas Maletti, Joakim Nivre. Grammars, Parsers and Recognizers
311 -- 330Colin de la Higuera, José Oncina. The most probable string: an algorithmic study
331 -- 350Mark-Jan Nederhof, Giorgio Satta. Prefix probabilities for linear context-free rewriting systems
351 -- 373Matthias Büchse, Heiko Vogler, Mark-Jan Nederhof. Tree parsing for tree-adjoining machine translation
375 -- 393Youngmin Yi, Chao-Yue Lai, Slav Petrov. Efficient parallel CKY parsing using GPUs
395 -- 411Djamé Seddah, Marie Candito, Enrique Henestroza Anguiano. A word clustering approach to domain adaptation: Robust parsing of source and target domains
413 -- 431Feiyu Xu, Hong Li, Yi Zhang, Hans Uszkoreit, Sebastian Krause. Parse reranking for domain-adaptative relation extraction
433 -- 453Tejaswini Deoskar, Markos Mylonakis, Khalil Sima'an. Learning structural dependencies of words in the Zipfian Tail
455 -- 472Mohammed Attia, Pavel Pecina, Antonio Toral, Josef van Genabith. A corpus-based finite-state morphological toolkit for contemporary arabic
473 -- 489Cvetana Krstev, Ivan Obradovic, Milos Utvic, Dusko Vitas. A system for named entity recognition based on local grammars
491 -- 509Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier. Model-theory and implementation of property grammars with features

Volume 24, Issue 1

1 -- 17Robert Demolombe. Obligations with deadlines: a formalization in Dynamic Deontic Logic
19 -- 54Simon Kramer, Rajeev Goré, Eiji Okamoto. Computer-aided decision-making with trust relations and trust domains (cryptographic applications)
55 -- 87Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer. Attack-defense trees
89 -- 116Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese. Reasoning about delegation and revocation schemes in answer set programming
117 -- 133Ryo Kashima. An axiomatization of ECTL
135 -- 186Giorgio Magri. Tools for the robust analysis of error-driven ranking algorithms and their implications for modelling the child's acquisition of phonotactics
187 -- 232Tatjana Lutovac, James Harland. Detection and analysis of some redundancies in linear logic sequent proofs
233 -- 255Sergey Babenyshev, Manuel A. Martins. k-logics
257 -- 282Lev D. Beklemishev, Yuri Gurevich. Propositional primal logic with disjunction
283 -- 301David J. Pym, Eike Ritter, Edmund Robinson. A proof-theoretic analysis of the classical propositional matrix method
303 -- 307Francesco Berto. Errors of Reasoning. Naturalizing the Logic of Inference, by John Woods