3566 search results - page 344 / 714 » Signed Logic Programs |
142
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
116
Voted
CSL
1995
Springer
15 years 7 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
125
Voted
VL
1995
IEEE
15 years 7 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
127
Voted
SSR
2001
15 years 5 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
124
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source...