1581 search results - page 38 / 317 » Mechanizing Inductive Reasoning |
AUTOMATICA
2004
15 years 1 months ago
2004
In this paper we propose an innovative way of dealing with the design of fault-tolerant control systems. We show how the nonlinear output regulation theory can be successfully ado...
124
click to vote
AIM
2004
15 years 1 months ago
2004
Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...
102
click to vote
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
110
click to vote
ITS
1998
Springer
15 years 6 months ago
1998
Springer
This paper describes a method for learner modelling for use within simulation-based learning environments. The goal of the learner modelling system is to provide the learner with a...
146
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Agents in an organization need to coordinate their actions in order to reach the organizational goals. Organizational models specify the desired behaviour in terms of roles, relati...