3845 search results - page 386 / 769 » Belief Logic Programming |
184
click to vote
JFPLC
2000
15 years 8 months ago
2000
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...
195
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we present a method for semantic annotation of texts, which is based on a deep linguistic analysis (DLA) and Inductive Logic Programming (ILP). The combination of DLA...
176
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
This paper deals with the competitive location problems using fuzzy sets. The basic notions on fuzzy optimization and linear programming using fuzzy sets are briefly reviewed. The ...
179
click to vote
EMSOFT
2005
Springer
16 years 7 days ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
185
click to vote
PASTE
2004
ACM
16 years 4 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...