Journals in DBLP
Gianluca Amato Correct Answers for First Order Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Sascha Ossowski Agent coordination by constraint optimisation. [Citation Graph (0, 0)][DBLP ] Journal ] Andrea Omicini , Enrico Denti Formal ReSpecT. [Citation Graph (0, 0)][DBLP ] Journal ] Thom W. Frühwirth On the number of rule applications in constraint programs. [Citation Graph (0, 0)][DBLP ] Journal ] Andrea Formisano , Eugenio G. Omodeo , Marco Temperini Layered map reasoning: An experimental approach put to trial on sets. [Citation Graph (0, 0)][DBLP ] Journal ] Lígia Ferreira , Salvador Abreu Design for AJACS, yet another Java constraint programming framework. [Citation Graph (0, 0)][DBLP ] Journal ] Moreno Falaschi , Alberto Policriti , Alicia Villanueva Modeling concurrent systems specified in a temporal concurrent constraint language-I. [Citation Graph (0, 0)][DBLP ] Journal ] Agostino Dovier , Maria Chiara Meo , Andrea Omicini Preface. [Citation Graph (0, 0)][DBLP ] Journal ] Agostino Dovier , Roberto Giacobazzi , Elisa Quintarelli Refining and Compressing Abstract Model Checking. [Citation Graph (0, 0)][DBLP ] Journal ] Agostino Cortesi , Sabina Rossi , Baudouin Le Charlier Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP ] Journal ] Marco Comini , Roberta Gori , Giorgio Levi Logic programs as specifications in the inductive verification of logic programs. [Citation Graph (0, 0)][DBLP ] Journal ] Antonio Brogi Probabilistic behaviours of reactive agents. [Citation Graph (0, 0)][DBLP ] Journal ] Marco Bozzano , Giorgio Delzanno , Maurizio Martelli On the Relations between Disjunctive and Linear Logic Programming. [Citation Graph (0, 0)][DBLP ] Journal ] Alessandra Di Pierro , Chris Hankin , Herbert Wiklicky Probabilistic confinement in a declarative framework. [Citation Graph (0, 0)][DBLP ] Journal ] 