Sciweavers

5748 search results - page 796 / 1150
» Contexts for the Semantic Web
Sort
View
AIIDE
2006
15 years 8 months ago
Using Natural Language to Manage NPC Dialog
1 In this document, we describe our work applying natural language (NL) technologies to improve non-player character (NPC) dialog interactions in games, specifically role-playing g...
Gary Kacmarcik
186
Voted
ACL
1998
15 years 8 months ago
Integrated Control of Chart Items for Error Repair
This paper describes a system that performs hierarchical error repair for illformed sentences, with heterarchical control of chart items produced at the lexical, syntactic, and se...
Kyongho Min, William H. Wilson
206
Voted
AAAI
1996
15 years 8 months ago
Irrelevance and Conditioning in First-Order Probabilistic Logic
First-order probabilistic logic is a powerful knowledge representation language. Unfortunately, deductive reasoning based on the standard semantics for this logic does not support...
Daphne Koller, Joseph Y. Halpern
LOGCOM
2007
126views more  LOGCOM 2007»
15 years 6 months ago
A Structural Proof of the Soundness of Rely/guarantee Rules
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
Joey W. Coleman, Cliff B. Jones
ENTCS
2002
107views more  ENTCS 2002»
15 years 6 months ago
Declarative Debugging for Encapsulated Search
Declarative debugging has been proposed as a suitable technique for developing debuggers in the context of declarative languages. However, to become really useful debuggers must b...
Rafael Caballero, Wolfgang Lux