default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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, Sasa Radomirovic, Patrick Schweitzer:
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, Manuel A. Martins:
Deduction-detachment theorem in hidden k-logics. 233-255
- Lev D. Beklemishev, Yuri Gurevich:
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, Giorgio Satta:
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, Antonio Toral, Josef van Genabith:
A corpus-based finite-state morphological toolkit for contemporary arabic. 455-472 - Cvetana Krstev, Ivan Obradovic, Milos Utvic, Dusko Vitas:
A system for named entity recognition based on local grammars. 473-489 - Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier:
Model-theory and implementation of property grammars with features. 491-509
Volume 24, Number 3, June 2014
- Mário Florido, Ian Mackie:
Linearity in Computation. 511-512
- Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linearity: A Roadmap. 513-529 - Edsko de Vries, Adrian Francalanza, Matthew Hennessy:
Uniqueness typing for resource management in message-passing concurrency. 531-556 - Marco Gaboardi, Mauro Piccolo:
What is a model for a semantically linear λ-calculus? 557-589 - Maribel Fernández, Nikolaos Siafakas:
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, Manuel H. Sierra-Aristizábal:
Restricted normal modal logics and levelled possible worlds semantics. 687-704 - Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
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, Italo Simonelli:
Strict equilibria interchangeability in multi-player zero-sum games. 851-861 - Takayuki Kihara, Kenshi Miyabe:
Uniform Kurtz randomness. 863-882 - Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt:
A resolution-based calculus for Coalition Logic. 883-917 - Mario R. F. Benevides, Luis Menasché Schechter:
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, João Rasga, Cristina Sernadas, Paulo Mateus:
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, Wiebe van der Hoek:
On the definability of simulation and bisimulation in epistemic logic. 1209-1227 - Daniele Porello, Ulle Endriss:
Ontology merging as social choice: judgment aggregation under the open world assumption. 1229-1249
- Michael Fisher, Leendert W. N. van der Torre, Mehdi Dastani, Guido Governatori:
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, Martin Slota, João Leite, Martin Homola:
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 2025-04-04 23:27 CEST 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:
