Whetheryouareacomputerscientist, alogician, aphilosopher, orapsychologist, it is crucial to understand the role that context and contextual information plays in reasoning and representation. The conference at which the papers in this volume were presented was the fourth in an international series devoted to research on context, and was held in Stanford (USA) on June 23-25, 2003. The ?rst conference in the series was held in Rio de Janeiro (Brazil) in 1997, the second was held in Trento (Italy) in 1999, and the third was held in Dundee (Scotland, UK) in 2001. CONTEXT2003 brought together...
Whetheryouareacomputerscientist, alogician, aphilosopher, orapsychologist, it is crucial to understand the role that context and contextual informatio...
Patrick Brezillon Patrick Blackburn Richard Dapoigny
This book constitutes the proceedings of the 8th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2013, held in Annecy, France, in October/November 2013. The 23 full papers and 9 short papers presented were carefully reviewed and selected from numerous submissions. In addition the book contains two keynote speeches and 9 poster papers. They cover cutting-edge results from the wide range of disciplines concerned with context, including: Cognitive Sciences (Linguistics, Psychology, Computer Science, Neuroscience), and computer science (artificial...
This book constitutes the proceedings of the 8th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2013, held in A...
This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions. The congress focusses on a variety of topics including: logic teaching software, teaching formal methods, logic in the humanities, dissemination of logic courseware and logic textbooks, methods for teaching logic at different levels of instruction, presentation of postgraduate programs in logic, e-learning, logic games, teaching argumentation theory and...
This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June ...
Cupid Missed is the story of a breakup, told from a man's perspective. Matthew is crushed when he returns home from work one night to find that his girlfriend, Kate, has moved out. He hadn't seen it coming, and he isn't handling it very well. His friends tell him to "Go out, get laid, and get over it," but he finds the advice easier said than done. When he's not concocting far-fetched schemes to get Kate back, Matthew is making terrible decisions at home and at work. He realizes the need to make changes in his life, but it seems he's more interested in doing things that only prolong the...
Cupid Missed is the story of a breakup, told from a man's perspective. Matthew is crushed when he returns home from work one night to find that his gi...
O Prolog e uma linguagem de programacao, mas uma linguagem pouco usual. A designacao "Prolog'' e abreviatura de "Programming with Logic'' e a relacao com a logica e o que da ao Prolog o seu perfil especial. No seu amago esta uma ideia surpreendente: nao dizer ao computador o que fazer. Em vez disso, descrevem-se as situacoes relevantes e a computacao e efetuada quando se fazem perguntas. O Prolog deduz novos factos acerca das situacoes descritas e devolve essas deducoes como respostas. Porque aprender Prolog? Em primeiro lugar, a sua divisa "dizer qual e o problema em vez de dizer como o...
O Prolog e uma linguagem de programacao, mas uma linguagem pouco usual. A designacao "Prolog'' e abreviatura de "Programming with Logic'' e a relacao ...
