3468 search results - page 14 / 694 » An open logical framework |
SLP
1997
14 years 7 days ago
1997
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
TOCL
2008
13 years 10 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
CORR
2002
Springer
13 years 10 months ago
2002
Springer
We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended...
AMAI
2008
Springer
13 years 11 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
HICSS
2005
IEEE
14 years 4 months ago
2005
IEEE
In recent years, the development of software in open source communities has attracted immense attention from research and practice. The idea of commercial quality, free software, ...