Sciweavers

1587 search results - page 135 / 318
» The Semantics of Extended SOFL
Sort
View
AUSAI
2003
Springer
14 years 22 days ago
Decidability of Propositionally Quantified Logics of Knowledge
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
Tim French
AAAI
2007
13 years 11 months ago
Handling Non-Sentential Utterances in a Continuous Understanding Framework
The goal of my research is to understand speech input in a continuous manner by treating the input stream as fragmental utterances. This allows us to use various approaches to pre...
Carlos Gómez Gallo
LREC
2008
89views Education» more  LREC 2008»
13 years 10 months ago
Lexical Resources for Automatic Translation of Constructed Neologisms: the Case Study of Relational Adjectives
This paper deals with the treatment of constructed neologisms in a machine translation system. It focuses on a particular issue in Romance languages: relational adjectives and the...
Bruno Cartoni
SEMWIKI
2008
156views Data Mining» more  SEMWIKI 2008»
13 years 10 months ago
A Generic Corporate Ontology Lifecycle
Abstract. Weaving the Semantic Web the research community is working on publishing publicly available data sources as RDF data on the Web. To facilitate the adoption of Semantic We...
Markus Luczak-Rösch, Ralf Heese
IJCAI
2001
13 years 10 months ago
A Comparative Study of Logic Programs with Preference
We are interested in semantical underpinnings for existing approaches to preference handling in extended logic programming (within the framework of answer set programming). As a s...
Torsten Schaub, Kewen Wang