Sciweavers

IJCAI
2001
13 years 5 months ago
An On-line Decision-Theoretic Golog Interpreter
We consider an on-line decision-theoretic interpreter and incremental execution of Golog programs. This new interpreter is intended to overcome some limitations of the off-line in...
Mikhail Soutchanski
IJCAI
2001
13 years 5 months ago
Reflective Negotiating Agents for Real-Time Multisensor Target Tracking
In this paper we describe a multiagent system in which agents negotiate to allocate resources and satisfy constraints in a real-time environment of multisensor target tracking. Th...
Leen-Kiat Soh, Costas Tsatsoulis
IJCAI
2001
13 years 5 months ago
Backbones in Optimization and Approximation
We study the impact of backbones in optimization and approximation problems. We show that some optimization problems like graph coloring resemble decision problems, with problem h...
John K. Slaney, Toby Walsh
IJCAI
2001
13 years 5 months ago
Efficient Consequence Finding
We present an extensive experimental study of consequence-finding algorithms based on kernel resolution, using both a trie-based and a novel ZBDD-based implementation, which uses ...
Laurent Simon, Alvaro del Val
IJCAI
2001
13 years 5 months ago
Grounded Models as a Basis for Intuitive Reasoning
Groundedmodels(Siena2001b)differ fromaxiomatictheories in establishingexplicit connectionsbetweenlanguage andreality that are learnedthroughlanguagegames(Wittgenstein 1953).Thispa...
Josefina Sierra-Santibáñez
IJCAI
2001
13 years 5 months ago
Fair Imposition
Yoav Shoham, Moshe Tennenholtz
IJCAI
2001
13 years 5 months ago
The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming
Boolean linear programs (BLPs) are ubiquitous in AI. Satisfiability testing, planning with resource constraints, and winner determination in combinatorial auctions are all example...
Dale Schuurmans, Finnegan Southey, Robert C. Holte
IJCAI
2001
13 years 5 months ago
A Comparative Study of Logic Programs with Preference
We are interested in semantical underpinnings for existing approaches to preference handling in extended logic programming (within the framework of answer set programming). As a s...
Torsten Schaub, Kewen Wang
IJCAI
2001
13 years 5 months ago
Discriminating Animate from Inanimate Visual Stimuli
From as early as 6 months of age, human children distinguish between motion patterns generated by animate objects from patterns generated by moving inanimate objects, even when th...
Brian Scassellati