Sciweavers

Share
KR
2004
Springer
9 years 3 months ago
Breadth-First Heuristic Search
Recent work shows that the memory requirements of bestfirst heuristic search can be reduced substantially by using a divide-and-conquer method of solution reconstruction. We show...
Rong Zhou, Eric A. Hansen
KR
2004
Springer
9 years 3 months ago
Partial Implication Semantics for Desirable Propositions
Motivational attitudes play an important role in investigations into intelligent agents. One of the key problems of representing and reasoning about motivational attitudes is whic...
Yi Zhou, Xiaoping Chen
KR
2004
Springer
9 years 3 months ago
An Improved Integer Local Search for Complex Scheduling Problems
We consider complex scheduling problems that can be captured as optimization under hard and soft constraints. The objective of such an optimization problem is to satisfy as many h...
Weixiong Zhang, Xiaotao Zhang
KR
2004
Springer
9 years 3 months ago
A Logic of Motion
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
Fusun Yaman, Dana S. Nau, V. S. Subrahmanian
KR
2004
Springer
9 years 3 months ago
Meaning and Links: A Semantic Odyssey
William A. Woods
KR
2004
Springer
9 years 3 months ago
Observation Expectation Reasoning in Agent Systems
The computational grounding problem – the gap between the mental models of an agent and its computational model – is a well known problem within the agent research community. ...
Bình Vu Trân, James Harland, Margaret...
KR
2004
Springer
9 years 3 months ago
Reasoning about Knowledge by Variable Forgetting
In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason abo...
Kaile Su, Guanfeng Lv, Yan Zhang
KR
2004
Springer
9 years 3 months ago
Condensed Representations for Inductive Logic Programming
When mining frequent Datalog queries, many queries will be equivalent in the light of an implicit or explicit background knowledge. To alleviate the problem, we introduce various t...
Luc De Raedt, Jan Ramon
KR
2004
Springer
9 years 3 months ago
Qualitative Probabilistic Matching with Hierarchical Descriptions
This paper is about decision making based on real-world descriptions of a domain. There are many domains where differentpeoplehavedescribedvariouspartsoftheworldatdifferent f abst...
Clinton Smyth, David Poole
books