Sciweavers

315 search results - page 9 / 63
» A Declarative Formalization of STRIPS
Sort
View
IJCAI
1989
13 years 9 months ago
On the Declarative Semantics of Inheritance Networks
Usually, semantics of inheritance networks is specified indirectly through a translation into one of the standard logical formalisms. Since such translation involves an algorithmi...
Krishnaprasad Thirunarayan, Michael Kifer, David S...
SEMWEB
2010
Springer
13 years 6 months ago
Declarative Semantics for the Rule Interchange Format Production Rule Dialect
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...
Carlos Viegas Damásio, José Jú...
AAAI
1996
13 years 10 months ago
Declarative Camera Control for Automatic Cinematography
Animations generated by interactive 3D computer graphics applications are typically portrayed either from a particular character's point of view or from a small set of strate...
David B. Christianson, Sean E. Anderson, Li-wei He...
CLIMA
2004
13 years 10 months ago
Declarative Agent Control
In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of ag...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...
ECOOP
2007
Springer
14 years 2 months ago
Declarative Object Identity Using Relation Types
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...
Mandana Vaziri, Frank Tip, Stephen Fink, Julian Do...