Đang chuẩn bị liên kết để tải về tài liệu:
Báo cáo khoa học: "Towards Abstract Categorial Grammars"

Không đóng trình duyệt đến khi xuất hiện nút TẢI XUỐNG

We introduce a new categorial formalism based on intuitionistic linear logic. This formalism, which derives from current type-logical grammars, is abstract in the sense that both syntax and semantics are handled by the same set of primitives. As a consequence, the formalism is reversible and provides different computational paradigms that may be freely composed together. : On the other hand, the semantic contents obeys the following scheme: : This asymmetry may be broken by: 1. allowing λ-terms on the syntactic side (atomic expressions being, after all, particular cases of λ-terms), 2. using the same type.

TÀI LIỆU LIÊN QUAN

Báo cáo khoa học: "Automated Essay Scoring Based on Finite State Transducer: towards ASR Transcription of Oral English Speech"

Báo cáo khoa học: "Capturing Paradigmatic and Syntagmatic Lexical Relations: Towards Accurate Chinese Part-of-Speech Tagging"

Báo cáo khoa học: "Towards the Unsupervised Acquisition of Discourse Relations"

Báo cáo khoa học: "Towards Open-Domain Semantic Role Labeling"

Báo cáo khoa học: "Towards robust multi-tool tagging. An OWL/DL-based approach"

Báo cáo khoa học: "Towards Relational POMDPs for Adaptive Dialogue Management"

Báo cáo khoa học: "Metagrammar Engineering: Towards systematic exploration of implemented grammars"

Báo cáo khoa học: "Towards Style Transformation from Written-Style to Audio-Style"

Báo cáo khoa học: "Towards Tracking Semantic Change by Visual Analyti cs"

Báo cáo khoa học: "Towards a Framework for Abstractive Summarization of Multimodal Documents"
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.