- Jakob Nordström
:
On the Relative Strength of Pebbling and Resolution. ACM Trans. Comput. Log. 13(2): 16:1-16:43 (2012) - Pavlos Peppas
, Costas D. Koutras
, Mary-Anne Williams
:
Maps in Multiple Belief Change. ACM Trans. Comput. Log. 13(4): 30:1-30:23 (2012) - Steven Schockaert
, Jeroen Janssen, Dirk Vermeir:
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains. ACM Trans. Comput. Log. 13(4): 33:1-33:39 (2012) - Paulo Shakarian, Gerardo I. Simari
, V. S. Subrahmanian:
Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation. ACM Trans. Comput. Log. 13(2): 13:1-13:33 (2012)