Answer Set Programming (ASP) and Logic Programming represent key paradigms in contemporary computer science, particularly in the field of artificial intelligence. ASP is a form of declarative ...

Abstract: Probabilistic logic programming extends logic programming by enabling the representation of uncertain information by means of probability theory. Probabilistic logic programming is at the ...

Institute of Theoretical Physics and Astrophysics, University of Kiel, Leibnizstrasse 15, 24098 Kiel, Germany Article Views are the COUNTER-compliant sum of full text article downloads since November ...

Abstract: A proof system for a shared dataspace programming notation called Swarm (a programming logic similar in style to that of UNITY) is specified. Relevant aspects of the Swarm language and model ...