Sciweavers

2263 search results - page 131 / 453
» The Use of Functional and Logic Languages in Machine Learnin...
Sort
View
CORR
2002
Springer
133views Education» more  CORR 2002»
15 years 5 months ago
Complete Axiomatizations for Reasoning About Knowledge and Time
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Va...
DIS
2006
Springer
15 years 9 months ago
A Pragmatic Logic of Scientific Discovery
Abstract. To the best of our knowledge, this paper is the first attempt to formalise a pragmatic logic of scientific discovery in a manner such that it can be realised by scientist...
Jean Sallantin, Christopher Dartnell, Mohammad Afs...
WILF
2007
Springer
108views Fuzzy Logic» more  WILF 2007»
15 years 12 months ago
Recognizing Humor Without Recognizing Meaning
Abstract. We present a machine learning approach for classifying sentences as one-liner jokes or normal sentences. We use no deep analysis of the meaning to try to see if it is hum...
Jonas Sjöbergh, Kenji Araki
EMNLP
2009
15 years 3 months ago
Synchronous Tree Adjoining Machine Translation
Tree Adjoining Grammars have well-known advantages, but are typically considered too difficult for practical systems. We demonstrate that, when done right, adjoining improves tran...
Steve DeNeefe, Kevin Knight
EMNLP
2011
14 years 5 months ago
Training dependency parsers by jointly optimizing multiple objectives
We present an online learning algorithm for training parsers which allows for the inclusion of multiple objective functions. The primary example is the extension of a standard sup...
Keith Hall, Ryan T. McDonald, Jason Katz-Brown, Mi...