3440 search results - page 57 / 688 » Logics For Context-Free Languages |
131
click to vote
TBILLC
2005
Springer
15 years 11 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ā¤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deļ...
183
click to vote
DAGSTUHL
1998
15 years 7 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
158
click to vote
EDM
2009
15 years 4 months ago
2009
In this paper, we present a study of a large corpus of student logic exercises in which we explore the relationship between two distinct measures of difficulty: the proportion of s...
164
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
200
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Data mining focuses on the development of methods and algorithms for such tasks as classiļ¬cation, clustering, rule induction, and discovery of associations. In the database ļ¬el...