Sciweavers

4143 search results - page 144 / 829
» A theory of distributed aspects
Sort
View
ECAI
2004
Springer
14 years 3 months ago
Expectation Reasoning Using Regret and Disappointment
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...
Bình Vu Trân, James Harland, Margaret...
CIIT
2004
13 years 11 months ago
Student support: Internet training from the perspective of the e-learning professional
In an effort to develop a training programme to assist teaching professionals to migrate towards e-teaching from more traditional modes of teaching, the European Commission (EC) p...
Lara A. Frumkin, Mike Mimirinis, Alan Murphy
CORR
2008
Springer
151views Education» more  CORR 2008»
13 years 10 months ago
Checking the Quality of Clinical Guidelines using Automated Reasoning Tools
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
Arjen Hommersom, Peter J. F. Lucas, Patrick van Bo...
APAL
2006
62views more  APAL 2006»
13 years 10 months ago
Fundamental notions of analysis in subsystems of second-order arithmetic
We develop fundamental aspects of the theory of metric, Hilbert, and Banach spaces in the context of subsystems of second-order arithmetic. In particular, we explore issues having...
Jeremy Avigad, Ksenija Simic
AAMAS
2005
Springer
13 years 10 months ago
Modular Representation of Agent Interaction Rules through Argumentation
Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics of the indi...
Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis