By Roberta Calegari and Enrico Denti. DISI, ALMA MATER STUDIORUM Univ. of Bologna,
Category: Feature Articles
Future Directions in Agent Programming
by Brian Logan
University of Nottingham, UK
Planning with Task-oriented Knowledge Acquisition for A Service Robot
by Kai Chen, Fangkai Yang, and Xiaoping Chen
University of Science and Technology of China and
Schlumberger Ltd.
Horn Clause Transformation for Program Verification
By Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti
Abstract Solvers for Answer Set Programming and Beyond
by Marco Maratea
University of Genova,
Italy
MRCPSP-ENERGY, an energy-based scheduling problem
By Daniel Morillo Torres, Federico Barber, and Miguel A. Salido Instituto de Automática e Informática Industrial, Universidad Politécnica de Valencia, Valencia, Spain Abstract The study of scheduling problems is one of the core areas in the planning and development of any…
Probabilistic Logic Programming Tutorial
By Fabrizio Riguzzi and Giuseppe Cota University of Ferrara, Italy Introduction Probabilistic Logic Programming (PLP) introduces probabilistic reasoning in Logic Programs in order to represent uncertain information. It is receiving an increased attention due to its applications in particular in…
NoHR: A Protégé Plugin for Polynomial Querying of Ontologies and Non-Monotonic Rules
By Matthias Knorr and João Leite NOVA LINCS, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Abstract. Ontology languages and non-monotonic rule languages are both well-known formalisms for knowledge representation, each with its own distinct…
What is the Semantics of Your SPARQL Extension?
By Harald Beck, Minh Dao-Tran, and Thomas Eiter Institute of Information Systems, Vienna University of Technology Abstract We argue for the importance of formal semantics for the exploration and study of new SPARQL extensions; in particular, for RDF stream…
OOASP: Connecting Object-oriented and Logic Programming
By Andreas Falkner, Siemens AG Österreich, Vienna, Austria Anna Ryabokon, Alpen-Adria-Universität Klagenfurt, Austria Gottfried Schenner,Siemens Österreich, Vienna, Austria Kostyantyn Shchekotykhin Alpen-Adria-Universität Klagenfurt, Austria Abstract Most of contemporary software systems are implemented using an object-oriented approach. Modeling phases – during which software engineers specify requirements…