- Stéphane Demri, Régis Gascon:
The Effects of Bounding Syntactic Resources on Presburger LTL. J. Log. Comput. 19(6): 1541-1575 (2009) - Maribel Fernández:
Rewriting Corner. J. Log. Comput. 19(2): 261 (2009) - Santiago Figueira, Joseph S. Miller
, André Nies
:
Indifferent Sets. J. Log. Comput. 19(2): 425-443 (2009) - Giorgos Flouris, Mathieu d'Aquin
, Grigoris Antoniou
, Jeff Z. Pan, Dimitris Plexousakis:
Special Issue on Ontology Dynamics. J. Log. Comput. 19(5): 717-719 (2009) - Murdoch James Gabbay
:
Nominal Algebra and the HSP Theorem. J. Log. Comput. 19(2): 341-367 (2009) - Murdoch James Gabbay
, Aad Mathijssen:
Nominal (Universal) Algebra: Equational Logic with Names and Binding. J. Log. Comput. 19(6): 1455-1508 (2009) - Dov M. Gabbay, Odinaldo Rodrigues
, Gabriella Pigozzi:
Connections between Belief Revision, Belief Merging and Social Choice. J. Log. Comput. 19(3): 445-446 (2009) - Martin Gebser, Mona Gharib
, Robert E. Mercer, Torsten Schaub
:
Monotonic Answer Set Programming. J. Log. Comput. 19(4): 539-564 (2009) - Joe Geldart, William Song:
Category-based Equational Reasoning: An Approach to Ontology Integration. J. Log. Comput. 19(5): 791-806 (2009) - Konstantinos Georgatos
:
Geodesic Revision. J. Log. Comput. 19(3): 447-459 (2009) - Giuseppe De Giacomo, Maurizio Lenzerini
, Antonella Poggi
, Riccardo Rosati
:
On Instance-level Update and Erasure in Description Logic Ontologies. J. Log. Comput. 19(5): 745-770 (2009) - Jennifer Golbeck, Christian Halaschek-Wiener:
Trust-based Revision for Expressive Web Syndication. J. Log. Comput. 19(5): 771-790 (2009) - Giuliano Grossi
, Massimo Marchi, Enrico Pontelli
, Alessandro Provetti
:
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures. J. Log. Comput. 19(4): 697-715 (2009) - Giovambattista Ianni, Alessandra Martello, Claudio Panetta
, Giorgio Terracina
:
Efficiently Querying RDF(S) Ontologies with Answer Set Programming. J. Log. Comput. 19(4): 671-695 (2009) - Emil Jerábek
:
Proof Complexity of the Cut-free Calculus of Structures. J. Log. Comput. 19(2): 323-339 (2009) - Iskander Sh. Kalimullin
:
Enumeration Degrees and Enumerability of Familes. J. Log. Comput. 19(1): 151-158 (2009) - Margarita V. Korovina, Oleg V. Kudinov
:
The Uniformity Principle for Sigma-definability. J. Log. Comput. 19(1): 159-174 (2009) - Zofia Kostrzycka
:
On the Density of Truth of Locally Finite Logics. J. Log. Comput. 19(6): 1113-1125 (2009) - Zofia Kostrzycka
:
On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB. J. Log. Comput. 19(6): 1199-1205 (2009) - Emiliano Lorini, Dominique Longin, Benoit Gaudou, Andreas Herzig:
The Logic of Acceptance: Grounding Institutions on Agents' Attitudes. J. Log. Comput. 19(6): 901-940 (2009) - Christian Meilicke
, Heiner Stuckenschmidt
, Andrei Tamilin:
Reasoning Support for Mapping Revision. J. Log. Comput. 19(5): 807-829 (2009) - Szabolcs Mikulás:
Algebras of Relations and Relevance Logic. J. Log. Comput. 19(2): 305-321 (2009) - Emilia Oikarinen
, Tomi Janhunen:
A Translation-based Approach to the Verification of Modular Equivalence. J. Log. Comput. 19(4): 591-613 (2009) - Kévin Ottens, Nathalie Hernandez, Marie-Pierre Gleizes, Nathalie Aussenac-Gilles
:
A Multi-Agent System for Dynamic Ontologies. J. Log. Comput. 19(5): 831-858 (2009) - Juan Perote-Peña, Ashley Piggins:
Non-manipulable Social Welfare Functions when Preferences are Fuzzy. J. Log. Comput. 19(3): 503-515 (2009) - Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
:
Aggregating Partially Ordered Preferences. J. Log. Comput. 19(3): 475-502 (2009) - Márcio Moretto Ribeiro
, Renata Wassermann
:
Base Revision for Ontology Debugging. J. Log. Comput. 19(5): 721-743 (2009) - Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell'Armi, Giovanni Grasso
, Nicola Leone
:
OntoDLV: An ASP-based System for Enterprise Ontologies. J. Log. Comput. 19(4): 643-670 (2009) - Branislav Rovan, L'ubos Steskal:
Infinite Computations and a Hierarchy in Delta3 Reconsidered. J. Log. Comput. 19(1): 175-176 (2009) - Ji Ruan, Wiebe van der Hoek, Michael J. Wooldridge:
Verification of Games in the Game Description Language. J. Log. Comput. 19(6): 1127-1156 (2009)