Sciweavers

736 search results - page 88 / 148
» A Science of Reasoning (Extended Abstract)
Sort
View
BIS
2006
144views Business» more  BIS 2006»
13 years 9 months ago
Complexity Metrics for business Process Models
Abstract. Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process...
Ralf Laue, Volker Gruhn
DAGSTUHL
2003
13 years 9 months ago
Coordinating Agents in OO
In this paper we introduce an object-oriented coordination language for multi-agents systems. The beliefs and reasoning capabilities ent are specified in terms of a corresponding ...
Frank S. de Boer, Cees Pierik, Rogier M. van Eijk,...
IJCAI
2001
13 years 9 months ago
Context-specific Sign-propagation in Qualitative Probabilistic Networks
ive probabilistic networks are qualitative abstractions of probabilistic networks, summarising probabilistic influences by qualitative signs. As qualitative networks model influen...
Silja Renooij, Simon Parsons, Linda C. van der Gaa...
ECAI
2010
Springer
13 years 8 months ago
A unified interaction-aware goal framework
Abstract. Goals are central to the design and implementation of intelligent software agents. Much of the literature on goals and reasoning about goals only deals with a limited set...
Michael Winikoff, Mehdi Dastani, M. Birna van Riem...
FUIN
2008
91views more  FUIN 2008»
13 years 7 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
Erika Ábrahám, Frank S. de Boer, Wil...