Sciweavers

4217 search results - page 58 / 844
» Computational indistinguishability logic
Sort
View
AMAI
2000
Springer
14 years 9 months ago
A survey of temporal extensions of description logics
principled ones
Alessandro Artale, Enrico Franconi
AIML
2008
14 years 11 months ago
An interval logic for natural language semantics
Most temporal logics, particularly interval temporal logics, are not expressive enough to capture meanings of natural language constructions, and they are not convenient to represe...
Savas Konur
IJCAI
1997
14 years 11 months ago
A Four-Valued Fuzzy Propositional Logic
It is generally accepted that knowledge based systems would be smarter and more robust if they can manage inconsistent, incomplete or imprecise knowledge. This paper is about a fo...
Umberto Straccia
AAAI
1994
14 years 11 months ago
Soundness and Completeness of a Logic Programming Approach to Default Logic
We present a method of representing some classes of default theories as normal logic programs. The main point is that the standard semantics (i.e. SLDNF-resolution) computes answe...
Grigoris Antoniou, Elmar Langetepe
CVPR
2006
IEEE
15 years 12 months ago
A Visual Vocabulary for Flower Classification
We investigate to what extent `bag of visual words' models can be used to distinguish categories which have significant visual similarity. To this end we develop and optimize...
Maria-Elena Nilsback, Andrew Zisserman