Sciweavers

1966 search results - page 24 / 394
» Description Logics and Planning
Sort
View
HICSS
1998
IEEE
112views Biometrics» more  HICSS 1998»
15 years 10 months ago
AESOP: An Outline-Oriented Authoring System
Because a hypermedia document is more complex than conventional text, it requires preparation with respect to two key aspects. First, the author begins to develop a "vision&q...
Takeshi Shimizu, Stephen W. Smoliar, John S. Borec...
ASP
2001
Springer
15 years 9 months ago
Effect of knowledge representation on model based planning: experiments using logic programming encodings
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
Le-Chi Tuan, Chitta Baral
ACL
1997
15 years 7 months ago
Sentence Planning as Description Using Tree Adjoining Grammar
We present an algorithm for simultaneously constructing both the syntax and semantics of a sentence using a Lexicalized Tree Adjoining Grammar (LTAG). This approach captures natur...
Matthew Stone, Christine Doran
ICSE
2000
IEEE-ACM
15 years 9 months ago
Deriving test plans from architectural descriptions
Antonia Bertolino, Flavio Corradini, Paola Inverar...
LPNMR
2004
Springer
15 years 11 months ago
Planning with Sensing Actions and Incomplete Information Using Logic Programming
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
Tran Cao Son, Phan Huy Tu, Chitta Baral