- Full text PDF available (10)
- This year (0)
- Last 5 years (5)
- Last 10 years (11)
Journals and Conferences
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)
We present an implementation of pstable model semantics. Our implementation uses the well known tools: MiniSat and Lparse. Also we show the utility of an automatic demonstrator implemented with these tools for applications where the logic has consistence problems.
Based on a recent view of Pstable models that allows talking about knowledge and beliefs of an agent, we propose an extension of the AGM postulates based on these notions. To this extent we introduce a new principle of Irrelevance of Syntax. We present a slight version of the updated operator as defined under Pstable models that satisfies this principle.
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)