Sciweavers

AI
1999
Springer
13 years 4 months ago
Modal Logics, Description Logics and Arithmetic Reasoning
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...
Hans Jürgen Ohlbach, Jana Koehler
AI
1999
Springer
13 years 4 months ago
Learning Action Strategies for Planning Domains
There are many different approaches to solving planning problems, one of which is the use of domain specific control knowledge to help guide a domain independent search algorithm. ...
Roni Khardon
AI
1999
Springer
13 years 4 months ago
Information Retrieval and Artificial Intelligence
This paper addresses the relations between information retrieval (IR) and AI. It examines document retrieval, summarising its essential features and illustrating the state of its ...
Karen Sparck Jones
AI
1999
Springer
13 years 4 months ago
Towards a Characterisation of the Behaviour of Stochastic Local Search Algorithms for SAT
Stochastic local search (SLS) algorithms have been successfully applied to hard combinatorial problems from different domains. Due to their inherent randomness, the run-time behav...
Holger H. Hoos, Thomas Stützle
AI
1999
Springer
13 years 4 months ago
Topological Inference of Teleology: Deriving Function from Structure via Evidential Reasoning
Reasoning about the physical world is a central human cognitive activity. One aspect of such reasoning is the inference of function from the structure of the artifacts one encount...
John O. Everett
AI
1999
Springer
13 years 4 months ago
Bucket Elimination: A Unifying Framework for Reasoning
Bucket elimination is an algorithmic framework that generalizes dynamic programming to accommodate many problem-solving and reasoning tasks. Algorithms such as directional-resolut...
Rina Dechter
AI
1999
Springer
13 years 4 months ago
Understanding Mechanical Motion: From Images to Behaviors
We present an algorithm for producing behavior descriptions of planar fixed axes mechanical motions from image sequences using a formal behavior language. The language, which cove...
Tzachi Dar, Leo Joskowicz, Ehud Rivlin
AI
1999
Springer
13 years 4 months ago
Computing with Default Logic
Pawel Cholewinski, V. Wiktor Marek, Miroslaw Trusz...
AI
1999
Springer
13 years 4 months ago
Introspective Multistrategy Learning: On the Construction of Learning Strategies
A central problem in multistrategy learning systems is the selection and sequencing of machine learning algorithms for particular situations. This is typically done by the system ...
Michael T. Cox, Ashwin Ram