Sciweavers

2299 search results - page 108 / 460
» Logical Data Expiration
Sort
View
119
Voted
EMNLP
2007
15 years 5 months ago
Online Learning of Relaxed CCG Grammars for Parsing to Logical Form
We consider the problem of learning to parse sentences to lambda-calculus representations of their underlying semantics and present an algorithm that learns a weighted combinatory...
Luke S. Zettlemoyer, Michael Collins
ACE
2004
200views Education» more  ACE 2004»
15 years 5 months ago
Making Large Class Teaching More Adaptive With the Logic-ITA
1 Adaptive teaching does not usually rhyme with large number of students in class. Given the small amount of face to face and the disproportionate ratio, teachers have to use their...
Kalina Yacef
154
Voted
WISES
2003
15 years 5 months ago
Logical versus Physical Programming for Ubiquitous Applications
— Ubiquitous computing provides services to users, according to their current situation. Interactions with such programs are as implicit as possible. We find among the applicati...
Julien Pauty, Michel Banâtre, Paul Couderc
153
Voted
CORR
2008
Springer
110views Education» more  CORR 2008»
15 years 3 months ago
Justifications for Logic Programs under Answer Set Semantics
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...
Enrico Pontelli, Tran Cao Son, Omar El-Khatib
118
Voted
JSW
2008
105views more  JSW 2008»
15 years 3 months ago
Representing Procedural Logic in XML
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
Albert D. Bethke