Sciweavers

4401 search results - page 268 / 881
» Computing with Default Logic
Sort
View
IJAR
2008
117views more  IJAR 2008»
15 years 6 months ago
New geometric inference techniques for type-2 fuzzy sets
This paper presents new techniques for performing logical operations on type-2 fuzzy sets. These techniques make significant use of geometric methods to give, for the first time, ...
Simon Coupland, Robert John
DLOG
2010
15 years 4 months ago
Updating TBoxes in DL-Lite
Abstract. We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of...
Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Khar...
ACL
2011
14 years 10 months ago
Learning Dependency-Based Compositional Semantics
Compositional question answering begins by mapping questions to logical forms, but training a semantic parser to perform this mapping typically requires the costly annotation of t...
Percy Liang, Michael I. Jordan, Dan Klein
MICAI
2007
Springer
16 years 22 days ago
On Reachability of Minimal Models of Multilattice-Based Logic Programs
In this paper some results are obtained regarding the existence and reachability of minimal fixed points for multiple-valued functions on a multilattice. The concept of inf-preser...
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ru...
FSTTCS
2005
Springer
16 years 3 days ago
Fixpoint Logics on Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey