262 search results - page 51 / 53 » Nonmonotonic Description Logic Programs: Implementation and ... |
IJCAI
2003
13 years 8 months ago
2003
There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers h...
OOPSLA
2004
Springer
14 years 24 days ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
GI
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
AGENTS
2001
Springer
13 years 12 months ago
2001
Springer
Agents are intended to interact in open systems where the knowledge about others (reputation) is incomplete and uncertain. Also, this knowledge about other agents is subjective si...