Semantic Scholar uses AI to extract papers important to this topic.
The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and… Expand We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic… Expand Abstract This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit… Expand The purpose of this paper is to study the fundamental mechanism, humans use in argumentation, and to explore ways to implement… Expand The deep symmetry of linear logic  makes it suitable for providing abstract models of computation, free from implementation… Expand A general logic program (abbreviated to "program" hereafter) is a set of roles that have both positive and negative subgoals. It… Expand This book presents a systematic overview of the interaction between logic programming and database systems. Merging these two… Expand Recently there has been increasing interest in systems which induce rst order logic programs from examples. However, many… Expand This paper studies the stable model semantics of logic programs with (abstract) constraint atoms and their properties. We… Expand This is the second edition of an account of the mathematical foundations of logic programming. Its purpose is to collect, in a… Expand