Category: Feature Articles

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…

MetaProbLog

By Theofrastos Mantadelis, Univ of Porto, and Gerda Janssens, KU Leuven. Communicated by Vitor Santos Costa and Fabrizio Riguzzi.