Sciweavers

576 search results - page 81 / 116
» The Java Syntactic Extender
Sort
View
LPNMR
2005
Springer
14 years 1 months ago
Guarded Open Answer Set Programming
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
CIARP
2004
Springer
14 years 1 months ago
Unsupervised Learning of Ontology-Linked Selectional Preferences
We present a method for extracting selectional preferences of verbs from unannotated text. These selectional preferences are linked to an ontology (e.g. the hypernym relations foun...
Hiram Calvo, Alexander F. Gelbukh
DFG
2004
Springer
14 years 1 months ago
A Unifying Semantics for Sequential Function Charts
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastia...
LPNMR
2004
Springer
14 years 28 days ago
Simplifying Logic Programs Under Uniform and Strong Equivalence
Abstract. We consider the simplification of logic programs under the stablemodel semantics, with respect to the notions of strong and uniform equivalence between logic programs, r...
Thomas Eiter, Michael Fink, Hans Tompits, Stefan W...
NLDB
2004
Springer
14 years 28 days ago
Lightweight Natural Language Database Interfaces
Most natural language database interfaces suffer from the translation knowledge portability problem, and are vulnerable to ill-formed questions because of their deep analysis. To a...
In-Su Kang, Seung-Hoon Na, Jong-Hyeok Lee, Gijoo Y...