Sciweavers

866 search results - page 5 / 174
» A Formal Investigation of
Sort
View
ACL
1998
14 years 11 months ago
Formal Aspects and Parsing Issues of Dependency Theory
The paper investigates the problem of providing a formal device for the dependency approach to syntax, and to link it with a parsing model. After reviewing the basic tenets of the...
Vincenzo Lombardo, Leonardo Lesmo
79
Voted
MST
2008
155views more  MST 2008»
14 years 10 months ago
On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables
Formal power series over non-commuting variables have been investigated as representations of the behavior of automata with multiplicities. Here we introduce and investigate the co...
Manfred Droste, Paul Gastin
104
Voted
ICCBR
2005
Springer
15 years 3 months ago
Learning Similarity Measures: A Formal View Based on a Generalized CBR Model
Abstract. Although similarity measures play a crucial role in CBR applications, clear methodologies for defining them have not been developed yet. One approach to simplify the deļ...
Armin Stahl
84
Voted
DLOG
2007
15 years 18 days ago
Planning in Action Formalisms based on DLs: First Results
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
Maja Milicic
76
Voted
JAPLL
2010
98views more  JAPLL 2010»
14 years 8 months ago
Formalization of the ad hominem argumentation scheme
In this paper, several examples from the literature, and one central new one, are used as case studies of texts of discourse containing an argumentation scheme that has now been w...
Douglas Walton