×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [modeltheoretic semantics]
Ontology matching
694 views
Calculating Projections via Type Checking
141 views
Between Logic and Common Sense Yoad Winter Technion & Utrecht University NICI, 20 May 2008 Or: Dikkertje Dap meets Dr. Halfbaked
217 views
Towards a Unifying Logic-Based Framework (TUF) for Computing Robert Kowalski Imperial College London joint work with Fariba Sadri (There is a paper with
216 views
Web Services (WS)
57 views
Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents Alexei A. Morozov PhD, Senior Researcher Institute
216 views
ASE2002 -- McIlraith 09/27/2002 Web Services (WS) Web Services are Web-accessible programs and devices. Background
214 views
November 2006Semantics I1 Natural Language Processing Semantics I What is semantics for? Role of FOL Montague Approach
223 views
From Formal Ontology to Biomedical Ontology
55 views
A Classification of Schema-based Matching Approaches
72 views
Towards a Unifying Logic-Based Framework ( TUF ) for Computing
93 views
CAS LX 502 Semantics 2b. A formalism for meaning 2.5, 3.2, 3.6
220 views