Sciweavers

24 search results - page 3 / 5
» Technomethodology: Paradoxes and Possibilities
Sort
View
DEON
2010
Springer
13 years 6 months ago
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
Robert Trypuz, Piotr Kulicki
DEON
2006
Springer
13 years 9 months ago
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
Jan Broersen
CONTEXT
2001
Springer
13 years 10 months ago
Local Holism
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
Carlo Penco
IROS
2007
IEEE
164views Robotics» more  IROS 2007»
14 years 1 days ago
Analysis of indeterminate contact forces in robotic grasping and contact tasks
— In this paper, we analyze indeterminate contact forces in robotic grasping and contact tasks. Previous studies by Omata and Nagata showed that there is a constraint on static f...
Yusuke Maeda, Koutarou Oda, Satoshi Makita
NDJFL
2000
79views more  NDJFL 2000»
13 years 5 months ago
An Information-Based Theory of Conditionals
We present an approach to combining three areas of research which we claim are all based on information theory: knowledge representation in Artificial Intelligence and Cognitive Sc...
Wayne Wobcke