3562 search results - page 20 / 713 » Introduction to Logic Programming |
EUSFLAT
2009
14 years 7 months ago
2009
EPIA
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
CORR
2002
Springer
14 years 9 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...
105
click to vote
JCS
1998
14 years 9 months ago
1998
A method is introducted for detecting intrusions at the level of privileged processes. Evidence is given that short sequences of system calls executed by running processes are a g...
MODELS
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Predefined composite operations are handy for efficient modeling, e.g., for the automatic execution of refactorings, and for the introduction of patterns in existing mod...