Sciweavers

3385 search results - page 127 / 677
» Language, Logic, and the Brain
Sort
View
AGP
2003
IEEE
15 years 11 months ago
An Ordered Choice Logic Programming Front-End for Answer Set Solvers
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...
Marina De Vos
SEMWEB
2007
Springer
16 years 16 days ago
Optimizing the Crisp Representation of the Fuzzy Description Logic SROIQ
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description Logics were born to represent the former type of knowledge, but ...
Fernando Bobillo, Miguel Delgado, Juan Góme...
MST
2011
208views Hardware» more  MST 2011»
15 years 1 months ago
Weighted Picture Automata and Weighted Logics
The theory of two-dimensional languages, generalizing formal string languages, was motivated by problems arising from image processing and models of parallel computing. Weighted au...
Ina Fichtner
FLAIRS
2006
15 years 7 months ago
Uncertainty Reasoning in Description Logics: A Generic Approach
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
APAL
2010
113views more  APAL 2010»
15 years 6 months ago
Logic for update products and steps into the past
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...
Joshua Sack