Sciweavers

5506 search results - page 415 / 1102
» Minimal Logic Programs
Sort
View
COLING
1994
15 years 8 months ago
Morphology with a Null-Interface
We present an integrated architecture for word-level and sentence-level processing in a unification-based paradigm. The core of the system is a CLP implementation of a nnilication...
Harald Trost, Johannes Matiasek
SOCO
2002
Springer
15 years 6 months ago
Fuzzy relation equations (I): the general and specialized solving algorithms
In this article, we develop a new method and an algorithm to solve a system of fuzzy relation equations. We first introduce a solution-base-matrix and then give a tractable mathema...
Li Chen, Paul P. Wang
CCIA
2007
Springer
16 years 1 months ago
Reasoning about actions under uncertainty: A possibilistic approach
In this paper, we present an action language which is called AP oss in order to perform reasoning about actions under uncertainty. This language is based on a possibilistc logic pr...
Juan Carlos Nieves, Mauricio Osorio, Ulises Cort&e...
185
Voted
WCFLP
2005
ACM
16 years 11 days ago
Translating curry to haskell system demo
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
Bernd Braßel, Frank Huch
177
Voted
LPNMR
2005
Springer
16 years 9 days ago
KMonitor - A Tool for Monitoring Plan Execution in Action Theories
We present a monitoring tool for plan execution in non-deterministic environments, which are described in an action language, based on non-monotonic logic programming. Thanks to it...
Thomas Eiter, Michael Fink, Ján Senko