4370 search results - page 221 / 874 » Algebra of Logic Programming |
95
Voted
IJCAI
2003
15 years 1 months ago
2003
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
126
Voted
TPLP
2002
15 years 4 days ago
2002
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
126
click to vote
JMLR
2008
15 years 15 days ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
104
Voted
PPDP
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
113
Voted
PLILP
1993
Springer
15 years 4 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...