1313 search results - page 94 / 263 » Prioritized Reasoning in Logic Programming |
117
Voted
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
124
Voted
GCC
2003
Springer
15 years 8 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
212
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...
134
Voted
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
119
Voted
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random “sparse” and “dense” pr...