Sciweavers

3166 search results - page 153 / 634
» Translation By Structural Correspondences
Sort
View
IEAAIE
2005
Springer
15 years 6 months ago
Ontology-Based Natural Language Parser for E-Marketplaces
We propose an approach to Natural Language Processing exploiting knowledge domain in an e-commerce scenario. Based on such modeling an NLP parser is presented, aimed at translating...
Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciasci...
VLDB
1987
ACM
100views Database» more  VLDB 1987»
15 years 4 months ago
Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries
A Datalog program can be translated into a system of fixpoint equations of relational algebra; this paper studies how such a system can be solved and optimized for a particular qu...
Stefano Ceri, Letizia Tanca
AGI
2008
15 years 2 months ago
Text Disambiguation by Educable AI System
The structure of possible text understanding system is discussed. To store concepts and knowledge system uses multilayer ontology based on pragmatic memory model. The way of knowle...
Alexander Voskresenskij
AIML
2008
15 years 2 months ago
Modal logic of time division
A logic LTD is defined, inspired by [37]. It is syntactically like basic modal logic with an additional unary operator but it has an interval-based semantics on structures with arb...
Tero Tulenheimo
ENTCS
2006
99views more  ENTCS 2006»
15 years 29 days ago
Termination Criteria for Bounded Model Checking: Extensions and Comparison
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...
Mohammad Awedh, Fabio Somenzi