Sciweavers

6618 search results - page 407 / 1324
» Natural Logic for Natural Language
Sort
View
JOLLI
2010
94views more  JOLLI 2010»
15 years 6 months ago
Querying Linguistic Trees
Large databases of linguistic annotations are used for testing linguistic hypotheses and for training language processing models. These linguistic annotations are often syntactic ...
Catherine Lai, Steven Bird
EMNLP
2009
15 years 5 months ago
Polylingual Topic Models
Topic models are a useful tool for analyzing large text collections, but have previously been applied in only monolingual, or at most bilingual, contexts. Meanwhile, massive colle...
David M. Mimno, Hanna M. Wallach, Jason Naradowsky...
NAACL
2007
15 years 9 months ago
Adaptive Tutorial Dialogue Systems Using Deep NLP Techniques
We present tutorial dialogue systems in two different domains that demonstrate the use of dialogue management and deep natural language processing techniques. Generation technique...
Myroslava Dzikovska, Charles B. Callaway, Elaine F...
CADE
1992
Springer
15 years 11 months ago
Isabelle-91
e introducing the types and constants of the logic, i.e. its abstract syntax, and axioms describing the inference rules. As a tiny example, consider the following definition of min...
Tobias Nipkow, Lawrence C. Paulson
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 11 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi