7 Hits in 4.6 sec

Conferences. First International Workshop on Hybrid Logic (HyLo'99)

M Marx
1999 Logic Journal of the IGPL  
HyLo'99 was the first workshop solely devoted to hybrid logic. The morning session examined general issues in hybrid logic and their relation to other frameworks.  ...  one state in any model).  ...  Carlos Areces is currently constructing a hybrid logic webpage ( hybrid), and this will eventually carry a detailed annotated bibliography.  ... 
doi:10.1093/jigpal/7.5.665 fatcat:bzdnjuuicrdz7fhar7yc2qlcpy

Bringing them all Together

C. Areces
2001 Journal of Logic and Computation  
Acknowledgements First of all we want to thank our anonymous reviewers for their helpful and often very detailed comments.  ...  Second we'd like to thank everyone who by their presentation or contribution to the panel discussion helped make HyLo 2000 such a success: Dov Gabbay, Valentin Goranko, Alexander Koller, Geert-Jan Kruijff  ...  HyLo'99 was the first workshop solely devoted to hybrid logic, and it made it clear that hybrid logics were gaining a new lease of life.  ... 
doi:10.1093/logcom/11.5.657 fatcat:vaqismzq2zas7pqssvyepaht6m

Representation, reasoning, and relational structures: a hybrid logic manifesto

P Blackburn
2000 Logic Journal of the IGPL  
In their simplest form, hybrid logics are upgraded modal logics in which reference to individual nodes is possible. But hybrid logic is a rather unusual modal upgrade.  ...  This paper is about the good side of modal logic, the bad side of modal logic, and how hybrid logic takes the good and fixes the bad.  ...  Acknowledgments In writing this paper I have tried to remain faithful to the spirit of my M4M talk, which means I have drawn on many discussions of modal logic, relational structures, hybrid logic, and  ... 
doi:10.1093/jigpal/8.3.339 fatcat:knzw6fq32bhd3dwhpkleufrm6y

Affect and the Experimental Design of Domestic Products

Guy Keulemans
2017 Leonardo: Journal of the International Society for the Arts, Sciences and Technology  
Most massproduced domestic objects use standardised designs and materials, which, apart from their oftennoted detrimental effects on the environment, also limit the possibilities for expressivity and affective  ...  In Chapter One, I introduced Andrea Branzi's observation that such practices are 'logics of production' -logical outcomes of complex, interconnected systems of production contingent on globalised relations  ...  (Thrift, 2010: 298-99 ).  ... 
doi:10.1162/leon_a_01495 fatcat:fzhmvc42pjbqvnr65arxdxmexy

Evolution and development of neural controllers for locomotion, gradient-following, and obstacle-avoidance in artificial insects

J. Kodjabachian, J.-A. Meyer
1998 IEEE Transactions on Neural Networks  
This extended flight domain would be especially useful on mini UAVs.  ...  First, such rules were hand-designed. Then, the rules were optimized with an evolutionary algorithm that improved their efficiency at coping with challenging conditions.  ...  Druot for helpfull advice on using and improving the FMFAW flight simulator.  ... 
doi:10.1109/72.712153 pmid:18255767 fatcat:iy4zjzgcjzc6pmwoqp3c5xpfga

Mountaineer Jamboree: Country Music in West Virginia

Charles S. Guthrie, Ivan M. Tribe
1986 Western Folklore  
149, 184 Boys from Kentucky, 96 Branch, Ernest, 26, 39, 192 Briarhoppers, 174 Bridges, Chuck, 114 Brockman, Polk, 19,23 Bronco Billy, 175 Brooks, Dale, 175 Brooks, Shorty, 150 Brown, Frank (Hylo  ...  Sometimes they have produced a hybrid form of music that diluted the purity of the southern Appalachian strain.  ...  The band probably made their best recordings in 1956 and 1957 for the small Event label (since reissued on County), but then went on to do an album for Folkways and two for Prestige-International.  ... 
doi:10.2307/1499445 fatcat:i22lsh3hozd3rmarzxs7pxmowq

Co-working with things : how furnished spaces contribute to the emergence of artworks

Assunta Ruocco
However, there are no 'raw' materials in the studio, the workshop, or the home: and I draw on the philosopher Gilbert Simondon to arguethat all matter is 'worked' matter, and that materials are produced  ...  as repetitive toil,which is counterpoised to the inventive creative work of the artist.This practice-based doctoral project asks how furnished spaces such as the studio, workshop and home contribute to  ...  When Dobson first started at the workshop, there were a few problems with one of them, which had to do with the oil reservoirs emptying, and the seal on one of the reservoirs becoming loose. Mr.  ... 
doi:10.26174/thesis.lboro.12692267.v1 fatcat:vbjbbrtxvvdornlepws6mbx4su