Sciweavers

713 search results - page 30 / 143
» Syntax and Semantics of Babel-17
Sort
View
67
Voted
ICALP
2004
Springer
15 years 3 months ago
A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
Shin-ya Katsumata
79
Voted
DLOG
2007
15 years 16 days ago
A Possibilistic Extension of Description Logics
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an exten...
Guilin Qi, Jeff Z. Pan, Qiu Ji
ACL
2007
14 years 11 months ago
Grammar Approximation by Representative Sublanguage: A New Model for Language Learning
We propose a new language learning model that learns a syntactic-semantic grammar from a small number of natural language strings annotated with their semantics, along with basic ...
Smaranda Muresan, Owen Rambow
78
Voted
CIDR
2007
163views Algorithms» more  CIDR 2007»
14 years 11 months ago
Demaq: A Foundation for Declarative XML Message Processing
This paper gives an overview of Demaq, an XML message processing system operating on the foundation of transactional XML message queues. We focus on the syntax and semantics of it...
Alexander Böhm 0002, Carl-Christian Kanne, Gu...
78
Voted
ACL
1998
14 years 11 months ago
A Layered Approach to NLP-Based Information Retrieval
A layered approach to information retrieval permits the inclusion of multiple search engines as well as multiple databases, with a natural language layer to convert English querie...
Sharon Flank