Sciweavers

8266 search results - page 299 / 1654
» Information About the Journal
Sort
View
DALT
2003
Springer
15 years 12 months ago
A logic for ignorance
We introduce and motivate a non-standard multi-modal logic to represent and reason about ignorance in Multi-Agent Systems. We argue that in Multi-agent systems being able to reaso...
Wiebe van der Hoek, Alessio Lomuscio
ACL
2003
15 years 8 months ago
Discourse Segmentation of Multi-Party Conversation
We present a domain-independent topic segmentation algorithm for multi-party speech. Our feature-based algorithm combines knowledge about content using a text-based algorithm as a...
Michel Galley, Kathleen McKeown, Eric Fosler-Lussi...
ECAI
2010
Springer
15 years 6 months ago
Higher-Order Coalition Logic
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...
Guido Boella, Dov M. Gabbay, Valerio Genovese, Lee...
CHI
2011
ACM
14 years 10 months ago
GreenHat: exploring the natural environment through experts' perspectives
We present GreenHat, an interactive mobile learning application that helps students learn about biodiversity and sustainability issues in their surroundings from experts’ points...
Kimiko Ryokai, Lora Oehlberg, Michael Manoochehri,...
KBSE
2008
IEEE
16 years 1 months ago
Semi-Automating Pragmatic Reuse Tasks
Developers undertaking a pragmatic reuse task must collect and reason about information that is spread throughout the source code of a system before they can understand the scope ...
Reid Holmes, Robert J. Walker