Sciweavers

5378 search results - page 134 / 1076
» Base Logics in Argumentation
Sort
View
TCS
2008
15 years 6 months ago
Another proof of Soittola's theorem
Soittola's theorem characterizes R+- or N-rational formal power series in one variable among the rational formal power series with nonnegative coefficients. We present here a...
Jean Berstel, Christophe Reutenauer
132
Voted
EOR
2002
75views more  EOR 2002»
15 years 6 months ago
A structured groupware for a collective decision-making aid
: We present the groupware MEMO-Net which aim is to support collective problem solving and to memorize all exchanged arguments. This groupware is based on a knowledgestructuring me...
Myriam Lewkowicz, Manuel Zacklad
141
Voted
CORR
1998
Springer
76views Education» more  CORR 1998»
15 years 5 months ago
A Linguistically Interpreted Corpus of German Newspaper Text
In this paper, we report on the development of an annotation scheme an annotation tools for unrestricted German text. Our representation format is based on argument structure, but...
Wojciech Skut, Thorsten Brants, Brigitte Krenn, Ha...
AMAI
2008
Springer
15 years 6 months ago
Set based logic programming
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
Howard A. Blair, Victor W. Marek, Jeffrey B. Remme...
161
Voted
NMR
2004
Springer
15 years 11 months ago
Logic programs with annotated disjunctions
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...
Joost Vennekens, Sofie Verbaeten, Maurice Bruynoog...