| 2009 | Argumentation Context Systems: A Framework for Abstract Group Argumentation. | Gerhard Brewka, Thomas Eiter |
| 2009 | ANTON: Composing Logic and Logic Composing. | Georg Boenn, Martin Brain, Marina De Vos, John ffitch |
| 2009 | Logic-Based Modeling in Systems Biology. | Alexander Bockmayr |
| 2009 | Contextual Argumentation in Ambient Intelligence. | Antonis Bikakis, Grigoris Antoniou |
| 2009 | SAT, SMT and Applications. | Armin Biere |
| 2009 | Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . | Chitta Baral, Tran Cao Son, Enrico Pontelli |
| 2009 | CR-Prolog as a Specification Language for Constraint Satisfaction Problems. | Marcello Balduccini |
| 2009 | Splitting a CR-Prolog Program. | Marcello Balduccini |
| 2009 | How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP. | Marcello Balduccini |
| 2009 | Translating Preferred Answer Set Programs to Propositional Logic. | Vernon Asuncion, Yan Zhang |
| 2007 | General Default Logic. | Yi Zhou, Fangzhen Lin, Yan Zhang |
| 2007 | Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. | Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen |
| 2007 | A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming. | Stefan Woltran |
| 2007 | CPP: A Constraint Logic Programming Based Planner with Preferences. | Phan Huy Tu, Tran Cao Son, Enrico Pontelli |
| 2007 | Interpretability and Equivalence in Quantified Equilibrium Logic. | David Pearce, Agustn Valverde |
| 2007 | Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report. | David Pearce, Hans Tompits, Stefan Woltran |
| 2007 | Modularity in smodelsPrograms. | Emilia Oikarinen |
| 2007 | Semantics for Possibilistic Disjunctive Programs. | Juan Carlos Nieves, Mauricio Osorio, Ulises Corts |
| 2007 | Conditional Planning with External Functions. | Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir |
| 2007 | An | Gayathri Namasivayam, Miroslaw Truszczynski |
| 2007 | A Unified Semantics for Constraint Handling Rules in Transaction Logic. | Marc Meister, Khalil Djelloul, Jacques Robin |
| 2007 | Programming Applications in CIFF. | Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
| 2007 | Policy-Based Computing: From Systems and Applications to Theory. | Jorge Lobo |
| 2007 | On the Effectiveness of Looking Ahead in Search for Answer Sets. | Guohua Liu, Jia-Huai You |
| 2007 | A Characterization of Strong Equivalence for Logic Programs with Variables. | Vladimir Lifschitz, David Pearce, Agustn Valverde |