Sciweavers

1828 search results - page 185 / 366
» From Features to Semantics: Some Preliminary Results
Sort
View
ECAI
1994
Springer
15 years 5 months ago
Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
Giuseppe De Giacomo, Maurizio Lenzerini
ICLP
2010
Springer
15 years 5 months ago
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
Fabrizio Riguzzi, Terrance Swift
OOPSLA
2005
Springer
15 years 7 months ago
Subtext: uncovering the simplicity of programming
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...
Jonathan Edwards
EMSOFT
2004
Springer
15 years 5 months ago
Defining and translating a "safe" subset of simulink/stateflow into lustre
The Simulink/Stateflow toolset is an integrated suite enabling model-based design and has become popular in the automotive and aeronautics industries. We have previously developed...
Norman Scaife, Christos Sofronis, Paul Caspi, Stav...
ICRA
2003
IEEE
133views Robotics» more  ICRA 2003»
15 years 7 months ago
Mechatronic design of innovative fingers for anthropomorphic robot hands
— In this paper, a novel design approach for the development of robot hands is presented. This approach, that can be considered alternative to the “classical” one, takes into...
Luigi Biagiotti, Fabrizio Lotti, Claudio Melchiorr...