default search action
Journal of Logic and Computation, Volume 24
Volume 24, Number 1, February 2014
- Robert Demolombe:
Obligations with deadlines: a formalization in Dynamic Deontic Logic. 1-17 - Simon Kramer
, Rajeev Goré, Eiji Okamoto:
Computer-aided decision-making with trust relations and trust domains (cryptographic applications). 19-54 - Barbara Kordy, Sjouke Mauw
Attack-defense trees. 55-87 - Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese:
Reasoning about delegation and revocation schemes in answer set programming. 89-116 - Ryo Kashima
An axiomatization of ECTL. 117-133 - Giorgio Magri:
Tools for the robust analysis of error-driven ranking algorithms and their implications for modelling the child's acquisition of phonotactics. 135-186 - Tatjana Lutovac, James Harland
Detection and analysis of some redundancies in linear logic sequent proofs. 187-232 - Sergey Babenyshev
Deduction-detachment theorem in hidden k-logics. 233-255
- Lev D. Beklemishev
Propositional primal logic with disjunction. 257-282 - David J. Pym, Eike Ritter, Edmund Robinson:
A proof-theoretic analysis of the classical propositional matrix method. 283-301
- Francesco Berto:
Review of Errors of Reasoning. Naturalizing the Logic of Inference, by John Woods. 303-307
Volume 24, Number 2, April 2014
- Harry Bunt, Andreas Maletti, Joakim Nivre:
Grammars, Parsers and Recognizers. 309
- Colin de la Higuera, José Oncina
The most probable string: an algorithmic study. 311-330 - Mark-Jan Nederhof
Prefix probabilities for linear context-free rewriting systems. 331-350 - Matthias Büchse, Heiko Vogler, Mark-Jan Nederhof
Tree parsing for tree-adjoining machine translation. 351-373 - Youngmin Yi, Chao-Yue Lai, Slav Petrov:
Efficient parallel CKY parsing using GPUs. 375-393 - Djamé Seddah, Marie Candito, Enrique Henestroza Anguiano:
A word clustering approach to domain adaptation: Robust parsing of source and target domains. 395-411 - Feiyu Xu, Hong Li, Yi Zhang, Hans Uszkoreit, Sebastian Krause:
Parse reranking for domain-adaptative relation extraction. 413-431 - Tejaswini Deoskar, Markos Mylonakis, Khalil Sima'an:
Learning structural dependencies of words in the Zipfian Tail. 433-453 - Mohammed Attia, Pavel Pecina
A corpus-based finite-state morphological toolkit for contemporary arabic. 455-472 - Cvetana Krstev
A system for named entity recognition based on local grammars. 473-489 - Denys Duchier, Thi-Bich-Hanh Dao
Model-theory and implementation of property grammars with features. 491-509
Volume 24, Number 3, June 2014
- Mário Florido
Linearity in Computation. 511-512
- Sandra Alves
Linearity: A Roadmap. 513-529 - Edsko de Vries, Adrian Francalanza
Uniqueness typing for resource management in message-passing concurrency. 531-556 - Marco Gaboardi
What is a model for a semantically linear λ-calculus? 557-589 - Maribel Fernández
Labelled calculi of resources. 591-613 - Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson:
The enriched effect calculus: syntax and semantics. 615-654 - Paolo Torrini:
Linear Types and Locality. 655-685
Volume 24, Number 4, August 2014
- Juan Carlos Agudelo Agudelo
Restricted normal modal logics and levelled possible worlds semantics. 687-704 - Valerio Genovese, Laura Giordano
Logics in access control: a conditional approach. 705-762 - Paolo Liberatore
Bijective faithful translations among default logics. 763-807
- Grigory K. Olkhovikov:
Model-theoretic characterization of intuitionistic predicate formulas. 809-829 - P. M. Thang, H. T. Luong:
Translating preferred subtheories into structured argumentation. 831-849 - Pavel Naumov
Strict equilibria interchangeability in multi-player zero-sum games. 851-861 - Takayuki Kihara
Uniform Kurtz randomness. 863-882 - Cláudia Nalon, Lan Zhang, Clare Dixon
A resolution-based calculus for Coalition Logic. 883-917 - Mario R. F. Benevides
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator. 919-951 - Matthew Collinson, Kevin McDonald, David J. Pym:
A substructural logic for layered graphs. 953-988
Volume 24, Number 5, October 2014
- Joan Chen-Main, Aravind K. Joshi:
A dependency perspective on the adequacy of tree local multi-component tree adjoining grammar. 989-1022
- Amílcar Sernadas
Approximate reasoning about logic circuits with single-fan-out unreliable gates. 1023-1069 - Ian M. Hodkinson
On the Priorean temporal logic with 'around now' over the real line. 1071-1110 - Nicolas Peltier:
Tractable and intractable classes of propositional schemata. 1111-1139
Volume 24, Number 6, December 2014
- João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leendert W. N. van der Torre:
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII). 1141-1144
- Tiago de Lima:
Alternating-time temporal dynamic epistemic logic. 1145-1178 - Mathieu Beirlaen, Christian Straßer
Non-monotonic reasoning with normative conflicts in multi-agent deontic logic. 1179-1207 - Hans van Ditmarsch, David Fernández-Duque
On the definability of simulation and bisimulation in epistemic logic. 1209-1227 - Daniele Porello
Ontology merging as social choice: judgment aggregation under the open world assumption. 1229-1249
- Michael Fisher
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII). 1251-1252
- Dov M. Gabbay, Odinaldo Rodrigues:
An equational approach to the merging of argumentation networks. 1253-1277 - Matthias Knorr
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. 1279-1311 - Emiliano Lorini, Dominique Longin, Eunate Mayor:
A logical analysis of responsibility attribution: emotions, individuals and collectives. 1313-1339 - Frank Dignum, Virginia Dignum
A formal semantics for agent (re)organization. 1341-1363
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 2024-11-15 19:39 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: