Sciweavers

2672 search results - page 57 / 535
» Hybridizing Concept Languages
Sort
View
STACS
2001
Springer
14 years 2 days ago
A Logical Approach to Decidability of Hierarchies of Regular Star-Free Languages
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
Victor L. Selivanov
RTCSA
1997
IEEE
13 years 12 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
IJCAI
2007
13 years 9 months ago
A Hybrid Ontology Directed Feedback Selection Algorithm for Supporting Creative Problem Solving Dialogues
We evaluate a new hybrid language processing approach designed for interactive applications that maintain an interaction with users over multiple turns. Specifically, we describe ...
Hao-Chuan Wang, Rohit Kumar, Carolyn Penstein Ros&...
ICFCA
2004
Springer
14 years 1 months ago
Background Knowledge in Concept Graphs
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
Frithjof Dau
MICAI
2004
Springer
14 years 1 months ago
Finding the Most Similar Concepts in Two Different Ontologies
A concise manner to send information from agent A to B is to use phrases constructed with the concepts of A: to use the concepts as the atomic tokens to be transmitted. Unfortunate...
Adolfo Guzmán-Arenas, Jesus M. Olivares-Cej...