Sciweavers

505 search results - page 50 / 101
» Answer Set Programming with Templates
Sort
View
RULEML
2004
Springer
15 years 3 months ago
Semantic Web Reasoning with Conceptual Logic Programs
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
SLP
1994
89views more  SLP 1994»
14 years 11 months ago
Signed Logic Programs
In this paper we explore the notion of a \signing" of a logic program, in the framework of the answer set semantics. In particular, we generalize and extend the notion of a s...
Hudson Turner
AGP
2003
IEEE
15 years 3 months ago
Solving Hard Disjunctive Logic Programs Faster (Sometimes)
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
Gerald Pfeifer
CORR
2002
Springer
98views Education» more  CORR 2002»
14 years 9 months ago
A Framework for Compiling Preferences in Logic Programs
We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended...
James P. Delgrande, Torsten Schaub, Hans Tompits
ICASSP
2011
IEEE
14 years 1 months ago
Template-based methods for sentence generation and speech synthesis
Here we propose a sentence-generation method using templates that can be applied to create a speech database. This method requires the recording of a relatively small sentence set...
Hiroyuki Segi, Reiko Takou, Nobumasa Seiyama, Tohr...