Search Sciweavers | Sciweavers

3793 search results - page 134 / 759

» Expressive Description Logics

133

click to vote

WOA
2000

92views Intelligent Agents» more WOA 2000»

Expressing Collaboration And Competition Among Abductive Logic Agents

15 years 5 months ago

Download lia.deis.unibo.it

This paper presents a language for coordinating several logic-based agents capable of abductive reasoning. The system is particularly suited for solving problems with incomplete k...

Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo...

claim paper

Read More »

160

click to vote

ICDAR
2005
IEEE

109views Document Analysis» more ICDAR 2005»

Using Fuzzy Logic to Analyze Superscript and Subscript Relations in Handwritten Mathematical Expressions

15 years 10 months ago

Download www.cs.rit.edu

Handwritten mathematical notation contains ambiguities of various kinds. Here we focus on ambiguity in spatial relationships; in particular, we use fuzzy logic to treat ambiguity ...

Ling Zhang, Dorothea Blostein, Richard Zanibbi

claim paper

Read More »

131

click to vote

AI
2000
Springer

113views Artificial Intelligence» more AI 2000»

Using temporal logics to express search control knowledge for planning

15 years 4 months ago

Download www.cs.toronto.edu

Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...

Fahiem Bacchus, Froduald Kabanza

claim paper

Read More »

146

click to vote

SAC
2010
ACM

130views Applied Computing» more SAC 2010»

Query systems in similarity-based databases: logical foundations, expressive power, and completeness

15 years 9 months ago