1313 search results - page 160 / 263 » Prioritized Reasoning in Logic Programming |
134
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
131
Voted
IJCAI
2003
15 years 5 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
138
Voted
LOPSTR
1997
Springer
15 years 7 months ago
1997
Springer
Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping ineffi...
131
Voted
LPKR
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
118
click to vote
RR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...