Sciweavers

76 search results - page 4 / 16
» kr 2004
Sort
View
KR
2004
Springer
14 years 1 months ago
Logical Foundations of Negotiation: Strategies and Preferences
Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Don...
KR
2004
Springer
14 years 1 months ago
Majority Logic
We extend graded modal logic (GML) to a logic that captures the concept of majority. We provide an axiomatization for majority logic, MJL, and sketch soundness and completeness pr...
Eric Pacuit, Samer Salame
KR
2004
Springer
14 years 1 months ago
A Logic-Based Formulation of Active Visual Perception
Building on earlier attempts to characterise robot perception as a form of abduction, this paper presents a logical account of active visual perception in the context of an upper-...
Murray Shanahan, David A. Randell
KR
2004
Springer
14 years 1 months ago
Learning Probabilistic Relational Planning Rules
To learn to behave in highly complex domains, agents must represent and learn compact models of the world dynamics. In this paper, we present an algorithm for learning probabilist...
Hanna Pasula, Luke S. Zettlemoyer, Leslie Pack Kae...
KR
2004
Springer
14 years 1 months ago
A First-Order Theory of Communicating First-Order Formulas
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...
Ernest Davis