Using Sparse Parameter Estimation for Semantic Parsing Jiayu Zhou, Jieping Ye, Juraj Dzifcak, Chitta Baral Arizona State University Abstract. This paper addresses the problem of semantic parsing, by

Source URL: www.public.asu.edu

• Statistical theory
• Estimation theory
• Lambda calculus
• Representation theory of Lie algebras
• Weight
• Maximum likelihood
• Regularization
• Combinatory logic
• Applied mathematics
• Theoretical computer science
• Mathematics

Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation Chitta Baral Juraj Dzifcak

Source URL: www.public.asu.edu

• Formal methods
• Computability theory
• Models of computation
• Tuple
• Type theory
• Lambda calculus
• Combinatory logic
• HO
• Categorial grammar
• Mathematics
• Theoretical computer science
• Mathematical notation

Social  innovations  on  municipal  level  in  Slovakia   Juraj Nemec, Matej Bel University Banska Bystrica, Slovakia Beata Mikusova Merickova, Matej Bel University Banska Bystrica, Slovakia Maria Sv

Source URL: www.lipse.org

• Europe
• Partners for Democratic Change International
• Bratislava
• Innovation
• Earth
• Republics
• Slovakia
• Structure

51_Juraj Rudinsky_29.11.2012_REMAIN ANONYMOUS.pdf

Source URL: www.afcd.gov.hk

FIAF ANNUAL REPORT 2011 Organisation: Address: Slovenský filmový ústav / Slovak Film Institute BRATISLAVA Grösslingová 32, [removed]Bratislava, Slovak Republic

Source URL: www.fiafnet.org

• Film preservation
• Juraj Jakubisko
• Ján Kadár
• Simon Fraser University
• Europe
• European people
• Cinema of Slovakia
• Film

What to do and how to do it: Translating Natural Language Directives into Temporal and Dynamic Logic Representation for Goal Management and Action Execution Juraj Dzifcak and Matthias Scheutz and Chitta Baral and Paul Sc

Source URL: www.public.asu.edu

• Logic in computer science
• Lambda calculus
• Computability theory
• Formal methods
• Models of computation
• Combinatory logic
• Dynamic logic
• Modal logic
• Robot
• Mathematical logic
• Logic
• Theoretical computer science

Towards overcoming the knowledge acquisition bottleneck in Answer Set Prolog applications: embracing natural language inputs Chitta Baral, Juraj Dzifcak and Luis Tari School of Computing and Informatics Arizona State Uni

Source URL: www.public.asu.edu

• NP
• Syntax
• P
• Categorial grammar
• P versus NP problem
• Combinatory categorial grammar
• Theoretical computer science
• Complexity classes
• Applied mathematics

Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions∗ Chita Baral and Juraj Dzifcak Tran Cao Son

Source URL: www.public.asu.edu

• Predicate logic
• Formal languages
• Philosophical logic
• Lambda calculus
• Combinatory logic
• First-order logic
• Categorial grammar
• Function
• Quantification
• Logic
• Mathematical logic
• Mathematics

Juraj Farkas Affiliation: Department of Environmental Geochemistry and Biogeochemistry, Czech Geological Survey, Prague, Czech Republic Research Interests: Development of new techniques for high-precision isotope analysi

Source URL: goldschmidt.info

• Earth sciences
• Alkaline earth metals
• Chemical elements
• Dietary minerals
• Reducing agents
• Peridotite
• Calcium
• Pyroxene
• Geochimica et Cosmochimica Acta
• Chemistry
• Nature
• Matter

1 VZÁCNÁ ONEMOCNĚNÍ Z POHLEDU STÁTNÍHO ÚSTAVU PRO KONTROLU LÉČIV MUDr. Juraj Slabý Zástupce vedoucí oddělení hodnocení léčiv

Source URL: www.vzacna-onemocneni.cz