2688 search results - page 82 / 538 » A formal semantics for P3P |
COOPIS
2002
IEEE
14 years 20 days ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
JODS
2007
13 years 7 months ago
2007
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of...
AO
2005
13 years 7 months ago
2005
There are a number of genuinely open questions concerning the use of domain models in nlp. It would be great if contributors to Applied Ontology could help addressing them rather ...
PPDP
2004
Springer
14 years 1 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...