Sciweavers

2293 search results - page 301 / 459
» Temporal Logic in Information Systems
Sort
View
IJCAI
2001
15 years 8 months ago
Mining Soft-Matching Rules from Textual Data
Text mining concerns the discovery of knowledge from unstructured textual data. One important task is the discovery of rules that relate specific words and phrases. Although exist...
Un Yong Nahm, Raymond J. Mooney
ANLP
2000
123views more  ANLP 2000»
15 years 8 months ago
Generating Text with a Theorem Prover
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Stat...
Ivan I. Garibay
ACL
1989
15 years 7 months ago
A Three-Valued Interpretation of Negation in Feature Structure Descriptions
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
Anuj Dawar, K. Vijay-Shanker
AIEDAM
1999
79views more  AIEDAM 1999»
15 years 6 months ago
An algorithmic approach to knowledge evolution
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...
Alessio Lomuscio, Mark Ryan
PSB
2010
15 years 4 months ago
Synthesis of Pharmacokinetic Pathways through Knowledge Acquisition and Automated Reasoning
teness of the knowledge bases, our approach also obtains facts through automated extraction from Medline abstracts. An essential component of our approach is to apply logical reaso...
Luis Tari, Saadat Anwar, Shanshan Liang, Jörg...