Sciweavers

391 search results - page 23 / 79
» Building Hybrid Knowledge Representations from Text
Sort
View
ATVA
2011
Springer
240views Hardware» more  ATVA 2011»
12 years 8 months ago
Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud,...
JIKM
2008
98views more  JIKM 2008»
13 years 8 months ago
Knowledge-Based Expert System Development and Validation with Petri Nets
Expert systems (ESs) are complex information systems that are expensive to build and difficult to validate. Numerous knowledge representation strategies such as rules, semantic net...
Madjid Tavana
ICCS
2010
Springer
13 years 9 months ago
Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks
We present a method for automatically creating large-scale semantic networks from natural language text, based on deep semantic analysis. We provide a robust and scalable implement...
Pia-Ramona Wojtinnek, Brian Harrington, Sebastian ...
DOCENG
2007
ACM
14 years 21 days ago
SALT: a semantic approach for generating document representations
The structure of a document has an important influence on the perception of its content. Considering scientific publications, we can affirm that by making use of the ordinary line...
Tudor Groza, Alexander Schutz, Siegfried Handschuh
KCAP
2005
ACM
14 years 2 months ago
Matching utterances to rich knowledge structures to acquire a model of the speaker's goal
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
Peter Z. Yeh, Bruce W. Porter, Ken Barker