Fernando Zacarías Flores

  • Citations Per Year
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)
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)
The paper focuses on solving the ResourceConstrained 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 a knowledge base (KB) K and a new information φ, both expressed in conjunctive form (CF), and present here, a novel, deterministic and correct algorithm for belief revision of φ in K. We denote our revision operator as: K′ = K ◦ φ. We introduce a novel logical binary operator Ind between two conjunctive forms, such that Ind(φ,K) generates also a(More)
The National Congress on Computing (ENC) has become one of the most important conferences at national level given that provides a forum of exposition of the advances in Computer Sciences and, at the same time, a gathering space of the related community. On the ENC ’03 edition the Mexican scientific community proposed seven workshops: Advances in Databases(More)
We present some results about the parametric complexity for counting the number of truth assignments for two Conjunctive Forms (2CF’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)
Updates, is a central issue in relational databases and knowledge databases. In the last years, it has been well studied in the non-monotonic reasoning paradigm. Several semantics for logic program updates have been proposed (Brewka, Dix, & Knonolige 1997), (De Schreye, Hermenegildo, & Pereira, 1999) (Katsumo & Mendelzon, 1991). However, recently a set of(More)