- 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)