681 search results - page 92 / 137 » Parsing as Natural Deduction |
IUI
2011
ACM
14 years 20 days ago
2011
ACM
This paper describes an approach to allow end users to define new procedures through tutorial instruction. Our approach allows users to specify procedures in natural language in t...
PADL
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. A Prolog implementation of an In-lined Reference Monitoring system prototype for Adobe ActionScript Bytecode programs is presented. Prolog provides an elegant framework f...
AUSAI
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we show how to capture dialogue games in Defeasible Logic. We argue that Defeasible Logic is a natural candidate and general representation formalism to capture dialo...
FLAIRS
2007
15 years 3 days ago
2007
The difficulty of domain knowledge acquisition is one of the most sensible challenges of intelligent tutoring systems. Relying on domain experts and building domain models from sc...
106
click to vote
JURIX
2008
14 years 11 months ago
2008
We are concerned with the automatic semantic interpretation of legal modificatory provisions. We propose a novel approach which pairs deep syntactic parsing and a fine-grained taxo...