| 2011 | Automatic Parallelism in Mercury. | Paul Bone |
| 2011 | Yet Another Characterization of Strong Equivalence. | Alexander Bochman, Vladimir Lifschitz |
| 2011 | An Inductive Approach for Modal Transition System Refinement. | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastin Uchitel |
| 2010 | Cutting-Edge Timing Analysis Techniques. | Jakob Zwirchmayr |
| 2010 | Circumscription and Projection as Primitives of Logic Programming. | Christoph Wernhard |
| 2010 | Structured Interactive Musical Scores. | Mauricio Toro-Bermdez |
| 2010 | Finding Minimal Reaction Sets in Large Metabolic Pathways. | Takehide Soh, Katsumi Inoue |
| 2010 | Realizing the Dependently Typed Lambda Calculus. | Zachary Snow |
| 2010 | Abductive Inference in Probabilistic Logic Programs. | Gerardo I. Simari, V. S. Subrahmanian |
| 2010 | Using Generalized Annotated Programs to Solve Social Network Optimization Problems. | Paulo Shakarian, V. S. Subrahmanian, Maria Luisa Sapino |
| 2010 | Subsumer: A Prolog theta-subsumption engine. | Jose Santos, Stephen H. Muggleton |
| 2010 | Timed Definite Clause Omega-Grammars. | Neda Saeedloei, Gopal Gupta |
| 2010 | Logic Programming Foundations of Cyber-Physical Systems. | Neda Saeedloei |
| 2010 | Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions. | Fabrizio Riguzzi, Terrance Swift |
| 2010 | Tight Semantics for Logic Programs. | Lus Moniz Pereira, Alexandre Miguel Pinto |
| 2010 | Local Branching in a Constraint Programming Framework. | Fabio Parisini |
| 2010 | Alignnment of RNA with Structures of Unlimited Complexity. | Alessandro Dal Pal, Mathias Mhl, Sebastian Will |
| 2010 | Higher-order Logic Learning and lambda-Progol. | Niels Pahlavi |
| 2010 | Bisimilarity in Concurrent Constraint Programming. | Andrs A. Aristizbal P. |
| 2010 | Methods and Methodologies for Developing Answer-Set Programs - Project Description. | Johannes Oetsch, Jrg Phrer, Hans Tompits |
| 2010 | From Relational Specifications to Logic Programs. | Joseph P. Near |
| 2010 | Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints. | Thierry Martinez |
| 2010 | Dedicated Tabling for a Probabilistic Setting. | Theofrastos Mantadelis, Gerda Janssens |
| 2010 | Lattice model refinement of protein structures. | Martin Mann, Alessandro Dal Pal |
| 2010 | Contractibility and Contractible Approximations of Soft Global Constraints. | Michael J. Maher |