Fernando Zacarías Flores

Learn More
INTRODUCTION The agent paradigm has recently increased its influence in the research and development of computational logic-based systems. A clear and correct specification is made through Logic Programming (LP) and Non-nomotonic Reasoning that have been brought (back) to the spotlight. Also, the recent significant improvements in the efficiency of LP(More)
The paper focuses on solving the Resource-Constrained Project Scheduling (RCPS) problem with a method based on intelligent agents. Parallelism for performing the tasks is allowed. Common and limited resources are available to all agents. The agents are non-cooperative and compete with each other for the use of common resources, thereby forming instances of(More)
—We consider the problem #2UNSAT (counting the number of falsifying assignments for two conjunctive forms). Because #2SAT (F) = 2 n #2UNSAT (F), results about #2UNSAT can dually be established for solving #2SAT. We establish the kind of two conjunctive formulas with a minimum number of falsifying assignment. As a result, we determine the formulas with a(More)
We present some results about the parametric complexity for counting the number of truth assignments for two Conjunctive Forms (2-CF's), such problem is denoted as #2SAT. It is common to analyze the computational complexity for #2SAT regarding the number of variables or the number of clauses on the input formula F We consider here, the time complexity(More)