315 search results - page 3 / 63 » A Declarative Formalization of STRIPS |
TYPES
2007
Springer
14 years 9 days ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
COSIT
2011
Springer
12 years 6 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
DEXA
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. The parsing schemata formalism allows us to describe parsing algorithms in a simple, declarative way by capturing their fundamenntics while abstracting low-level detail. ...
ESWA
2002
13 years 6 months ago
2002
Ontologies are an emerging paradigm to support declarativity, interoperability, and intelligent services in many areas, such as Agent
PROMAS
2005
Springer
13 years 11 months ago
2005
Springer
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...