Sciweavers

10568 search results - page 313 / 2114
» Computer Intelligence and Formalization
Sort
View
139
Voted
MATES
2007
Springer
15 years 10 months ago
Diagnosis of Plan Structure Violations
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to ...
Nico Roos, Cees Witteveen
SOCASE
2007
Springer
15 years 10 months ago
Using Goals for Flexible Service Orchestration
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...
M. Birna van Riemsdijk, Martin Wirsing
145
Voted
ACRI
2004
Springer
15 years 9 months ago
Applying Cell-DEVS in 3D Free-Form Shape Modeling
Modeling free-form shapes in 3D spaces based on strict physical laws require a considerable amount of computation time. Previous experiences with Cellular Automata demonstrated sub...
Pengfei Wu, Xiuping Wu, Gabriel A. Wainer
138
Voted
KES
2004
Springer
15 years 9 months ago
Representing Knowledge in Controlled Natural Language: A Case Study
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
Rolf Schwitter
156
Voted
ICCS
2003
Springer
15 years 9 months ago
Using Conceptual Graphs to Capture Semantics of Agent Communication
Agent communication languages such as KQML and the FIPA ACL serve as metalanguages to define software agent message-passing protocols. These metalanguages are incompatible with eac...
Lois W. Harper, Harry S. Delugach