Sciweavers

4212 search results - page 768 / 843
» Rights Expression Languages
Sort
View
126
Voted
AIPS
2000
15 years 6 months ago
Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches
We develop an algorithm for merging plans that are represented in a richly expressive language. Speci cally, weare concerned with plans that have i quantitative temporal constrain...
Ioannis Tsamardinos, Martha E. Pollack, John F. Ho...
DLOG
1997
15 years 6 months ago
Action Hierarchies in Description Logics
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...
Thorsten Liebig, Dietmar Rösner
AAAI
1996
15 years 6 months ago
Formalizing Narratives Using Nested Circumscription
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
Chitta Baral, Alfredo Gabaldon, Alessandro Provett...
DAGSTUHL
1996
15 years 6 months ago
Pragmatics of Type-Directed Partial Evaluation
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
Olivier Danvy
ACL
1992
15 years 6 months ago
Metonymy: Reassessment, Survey of Acceptability, and its Treatment in a Machine Translation System
In this article we outline a basic approach to treating metonymy properly in a multilingual machine translation system. This is the first attempt at treating metonymy in an machin...
Shin-ichiro Kamei, Takahiro Wakao