Sciweavers

5086 search results - page 63 / 1018
» The Power of Comparative Reasoning
Sort
View
COSIT
2007
Springer
107views GIS» more  COSIT 2007»
14 years 3 months ago
Spatial Reasoning with a Hole
Cavities in spatial phenomena require geometric representations of regions with holes. Existing models for reasoning over topological relations either exclude such specialized regi...
Max J. Egenhofer, Maria Vasardani
IJCAI
1997
13 years 10 months ago
Using Case-Based Reasoning in Interpreting Unsupervised Inductive Learning Results
The objective of this work is to interpret inductive results obtained by the unsupervised learning method OSHAM. We briefly introduce the learning process of OSHAM, that extracts ...
Tu Bao Ho, Chi Main Luong
JSAT
2006
87views more  JSAT 2006»
13 years 8 months ago
Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques
A family of satisfiable benchmark instances in conjunctive normal form is introduced. The instances are constructed by transforming a random regular graph into a system of linear ...
Harri Haanpää, Matti Järvisalo, Pet...
ECAI
2004
Springer
14 years 2 months ago
From Knowledge-Based Programs to Graded Belief-Based Programs Part I: On-Line Reasoning
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
Noël Laverny, Jérôme Lang
CLIMA
2006
13 years 10 months ago
Answer Set Programming for Representing and Reasoning About Virtual Institutions
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...
Owen Cliffe, Marina De Vos, Julian A. Padget