DLV: new release. By Francesco Calimeri and Nicola Leone
LP Systems
TOY: A CFLP Language and System
by Editors • • Comments Off
By I. Castiñeiras, J. Correas, S. Estévez-Martín, and F. Sáenz-Pérez (U.C. Madrid)
The ProB Animator and Model Checker
by Editors • • Comments Off
Michael Leuschel
Heinrich-Heine-Universität Düsseldorf
Institut für Informatik
ASPeRiX: a First Order Rule-Based ASP Solver
by Enrico Pontelli • • Comments Off
Claire Lefevre and Pascal Nicolas
LERIA, University of Angers, France
Communicated by: Enrico Pontelli
XSB 3.2
by Enrico Pontelli • • Comments Off
Terrance Swift
CENTRIA, Universidade Nova de Lisboa, Portugal