2303 search results - page 380 / 461 » On the logic of argumentation theory |
137
click to vote
ICWL
2009
Springer
15 years 11 months ago
2009
Springer
The authors present an approach for implementing a system for the assessment of medical competences using a haptic simulation device. Based on Competence based Knowledge Space Theo...
191
click to vote
AGENTCL
2000
Springer
15 years 10 months ago
2000
Springer
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal se...
149
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
152
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
155
click to vote
HYBRID
1997
Springer
15 years 10 months ago
1997
Springer
We de ne robust timed automata, which are timed automata that accept all trajectories \robustly": if a robust timed automaton accepts a trajectory, then it must accept neighbo...