338 search results - page 38 / 68 » Soundness and Completeness of a Logic Programming Approach t... |
FM
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. Program certiļ¬cation techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
ICLP
2009
Springer
14 years 9 days ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
POPL
2004
ACM
14 years 8 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
CSL
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ļ...
IJCAI
1997
13 years 9 months ago
1997
Practical applications of description logics (DLs) in knowledge-based systems have forced us to introduce the following features which are absent from existing DLs: ā¢ allowing a...