5378 search results - page 315 / 1076 » Base Logics in Argumentation |
142
Voted
COLING
1996
15 years 8 months ago
1996
This paper presents a method for generating multiple paraphrases from ambiguous logical forms. The method is based on a chart structure with edges indexed on semantic information ...
245
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we show that Reiter’s default logic in the propositional case can be translated into answer set programming by identifying the internal relationships among formula...
165
click to vote
ITC
2003
IEEE
16 years 3 days ago
2003
IEEE
In this paper, we study the possibility of using logic defect-level prediction models to predict the detection behavior of statistical timing defects. We compare two known logic m...
160
Voted
ICLP
1993
Springer
15 years 11 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...
178
click to vote
DOCENG
2007
ACM
15 years 10 months ago
2007
ACM
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...