663 search results - page 51 / 133 » What Is a Concept |
ATAL
2011
Springer
12 years 8 months ago
2011
Springer
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...
WOLLIC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Information Technology, IT, may play an important part in any community as a supporting tool in the democratic process. The conditions for that to happen are primarily a genuine w...
NDJFL
2000
13 years 8 months ago
2000
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...
CARS
2004
13 years 10 months ago
2004
In this paper, we present a new point of view for the conception of what a teleoperated robotic device should be for percutaneous intervention with computed tomography guidance. W...