Sciweavers

3239 search results - page 272 / 648
» A Logical Process Calculus
Sort
View
154
Voted
IJCAI
2001
15 years 6 months ago
Ontology Reasoning in the SHOQ(D) Description Logic
Ontologies are set to play a key r^ole in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resource...
Ian Horrocks, Ulrike Sattler
121
Voted
COLING
1996
15 years 6 months ago
Generation of Paraphrases from Ambiguous Logical Forms
This paper presents a method for generating multiple paraphrases from ambiguous logical forms. The method is based on a chart structure with edges indexed on semantic information ...
Hadar Shemtov
DAGSTUHL
2006
15 years 6 months ago
On Scene Interpretation with Description Logics
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
Bernd Neumann, Ralf Möller
WSPI
2004
15 years 6 months ago
Logic, Neuroscience and Phenomenology in Cahoots?
Cognitive sciences, including cognitive neurosciences, have provided important insights into the notions of awareness, implicit/explicit information processing in knowledge, percep...
Ahti-Veikko Pietarinen
ERCIMDL
2010
Springer
135views Education» more  ERCIMDL 2010»
15 years 6 months ago
Automating Logical Preservation for Small Institutions with Hoppla
Preserving digital information over the long term becomes increasing important for large number of institutions. The required expertise and limited tool support discourage especial...
Stephan Strodl, Petar Petrov, Michael Greifeneder,...