Sciweavers

2307 search results - page 220 / 462
» Dynamic Fuzzy Logic
Sort
View
TSMC
2010
14 years 11 months ago
A Mobile Decision Support System for Dynamic Group Decision-Making Problems
Abstract--The aim of this paper is to present a decision support system model with two important characteristic: 1) mobile technologies are applied in the decision process and 2) t...
Ignacio Javier Pérez, Francisco Javier Cabr...
CORR
2010
Springer
100views Education» more  CORR 2010»
15 years 5 months ago
Products of Weighted Logic Programs
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
Shay B. Cohen, Robert J. Simmons, Noah A. Smith
EACL
1993
ACL Anthology
15 years 6 months ago
The donkey strikes back: Extending the dynamic interpretation "constructively"
The dynamic interpretation of a formula as a binary relation (inducing transitions) on states is extended by alternative treatments of implication, universal quantification, negat...
Tim Fernando
JUCS
2006
175views more  JUCS 2006»
15 years 5 months ago
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
Anderson Faustino da Silva, Vítor Santos Co...
KRDB
2001
110views Database» more  KRDB 2001»
15 years 6 months ago
Path Constraints from a Modal Logic Point of View
We analyze several classes of path constraints for semistructured data in a unified framework and prove some decidability and complexity results for these constraints by embedding...
Natasha Alechina, Stéphane Demri, Maarten d...