4126 search results - page 142 / 826 » Set based logic programming |
RSCTC
2004
Springer
15 years 3 months ago
2004
Springer
The theory of rough sets and formal concept analysis are compared in a common framework based on formal contexts. Different concept lattices can be constructed. Formal concept ana...
100
click to vote
CSFW
1999
IEEE
15 years 2 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
AIEDU
2007
14 years 10 months ago
2007
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...
ICIP
1995
IEEE
15 years 11 months ago
1995
IEEE
In this paper enhancement of a digital image is done by detecting the noisy and noiseless region of the image. The noisy regions are smoothed and the noiseless regions are sharpen...
AGP
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...