Sciweavers

233 search results - page 31 / 47
» Knowledge and modality
Sort
View
ATAL
2007
Springer
15 years 3 months ago
Modular interpreted systems
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
Wojciech Jamroga, Thomas Ågotnes
ATAL
2007
Springer
15 years 3 months ago
Reasoning about judgment and preference aggregation
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
CSFW
2003
IEEE
15 years 2 months ago
Anonymity and Information Hiding in Multiagent Systems
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
Joseph Y. Halpern, Kevin R. O'Neill
76
Voted
ICRA
1999
IEEE
97views Robotics» more  ICRA 1999»
15 years 1 months ago
Using Infrared Sensors and the Phong Illumination Model to Measure Distances
Currently, the viability of infrared IR as an accurate means of measuring distance depends on extensive prior knowledge of the surface. More speci cally, the manner in which a sur...
Paul M. Novotny, Nicola J. Ferrier
RANLP
2003
14 years 11 months ago
Semantically driven approach for scenario recognition in the IE system FRET
This paper reports a research effort in scenario recognition task in information extraction. The presented approach uses partial semantic analysis based on logical form representa...
Svetla Boytcheva, Milena Yankova, Albena Strupchan...