Sciweavers

2766 search results - page 86 / 554
» Hybridizing a Logical Framework
Sort
View
IGPL
2008
103views more  IGPL 2008»
13 years 10 months ago
Transition Logic Revisited
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
Wolfgang Bibel
KRDB
2003
111views Database» more  KRDB 2003»
13 years 11 months ago
A Framework for Answering Queries using Multiple Representation and Inference Techniques
The Polylog framework is designed to provide a language for efficiently automating complex queries of information represented in multiple formats. A Polylog program contains a set...
Nicholas L. Cassimatis
QSIC
2003
IEEE
14 years 3 months ago
A Dialog Control Framework for Hypertext-Based Applications
Hypertext-based user interfaces have become attractive for many distributed applications today, but they do not reach the usability level of window-based UIs. Because of insuffici...
Matthias Book, Volker Gruhn
EMNLP
2007
13 years 11 months ago
Semi-Supervised Structured Output Learning Based on a Hybrid Generative and Discriminative Approach
This paper proposes a framework for semi-supervised structured output learning (SOL), specifically for sequence labeling, based on a hybrid generative and discriminative approach...
Jun Suzuki, Akinori Fujino, Hideki Isozaki
IJCAI
2007
13 years 11 months ago
A Hybridized Planner for Stochastic Domains
Markov Decision Processes are a powerful framework for planning under uncertainty, but current algorithms have difficulties scaling to large problems. We present a novel probabil...
Mausam, Piergiorgio Bertoli, Daniel S. Weld