736 search results - page 37 / 148 » Moving Specification Structures Between Logical Systems |
TABLEAUX
2009
Springer
15 years 4 months ago
2009
Springer
We consider two sequent calculi for tense logic in which the syntactic judgements are nested sequents, i.e., a tree of traditional onesided sequents built from multisets of formula...
ECLIPSE
2004
ACM
15 years 3 months ago
2004
ACM
Traits are a language technology that complements inheritance as a means for code reuse and class structuring. Traits encapsulate collections of methods so that they can be used a...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
IJCNN
2007
IEEE
15 years 4 months ago
2007
IEEE
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
DEXAW
2007
IEEE
15 years 4 months ago
2007
IEEE
The current effort to extend the power of information systems by making use of the semantics associated with terms and structures has resulted in a need to establish correspondenc...