In this paper we investigate how to extend a generic constraint solver that provides not only tell constraints (by adding the constraint to the store) but also ask tests (by checking whether the constraint is entailed...
详细信息
The DLV system is currently employed in projects on data integration - a challenging application area for Answer Set programming. The present system description illustrates some new optimization techniques, which sign...
详细信息
We have developed a language called DCPP (Definite Clauses for Planning Processes) to represent knowledge concerning situations changing due to a process. The knowledge coded by DCPP is translated into definite clause...
详细信息
The proceedings contain 22 papers from the Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative programming, PPDP'04. The topics discussed include: the blast query language for...
详细信息
ISBN:
(纸本)1581138199
The proceedings contain 22 papers from the Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative programming, PPDP'04. The topics discussed include: the blast query language for software verification;injecting life with computers;program generators and the tools to make them;model checking object petri nets in prolog, constraint-set satisfiability for overloading;new completeness results for lazy conditional narrowing;scheme fair threads;and characterizing strong normalization in a language with control operators.
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effectively self-applied. The attempts to s...
详细信息
The proceedings contain 36 papers from the Automated Reasoning: Second International Joint Conference IJCAR 2004. The topics discussed include: efficient checking termination proofs using dependency pairs;redundancy n...
详细信息
The proceedings contain 36 papers from the Automated Reasoning: Second International Joint Conference IJCAR 2004. The topics discussed include: efficient checking termination proofs using dependency pairs;redundancy notions for paramodulation with non-monotonic orderings;decision procedures for recursive data structures with integer constraints;chain resolution for the semantic web;analyzing selected quantified integer programs;overlapping leaf permutative equations;formalizing undefinedness arising in calculus and lambda logic.
We investigate the methodology of utilizing domain dependent knowledge in solving the planning problem in answer set programming. We provide a classification of domain dependent knowledge, and for each class, a coding...
详细信息
LP (logic programming) has been successfully applied to knowledge discovery in many fields. The execution of the LP is based on the evaluation of the first order predicate. Usually the information involved in the pred...
详细信息
LP (logic programming) has been successfully applied to knowledge discovery in many fields. The execution of the LP is based on the evaluation of the first order predicate. Usually the information involved in the predicates are local and homogenous, thus the evaluation process is relatively simple. However, the evaluation process become much more complicated when applied to KDD on the Internet where the information involved in the predicates maybe heterogeneous and distributed over many different sits. Therefor, we try to attack the problem in a multi agent system's framework so that the logic program can be written in a site independent style and deal easily with heterogeneous represented information.
Justification is the process of constructing evidence, in terms of proof, for the truth or falsity of an answer derived by tabled evaluation. The evidence is most easily constructed by post-processing the memo tables ...
详细信息
The proceedings contain 70 papers from logics in Artificial Intelligence - 9th European Conference, JELIA 2004. The topics discussed include: representing and reasoning with preferences;engineering of logics for the c...
详细信息
The proceedings contain 70 papers from logics in Artificial Intelligence - 9th European Conference, JELIA 2004. The topics discussed include: representing and reasoning with preferences;engineering of logics for the content-based representation of information;formal methods in robotics;games for cognitive agents;knowledge-theoretic properties of strategic voting;the CIFF proof procedure for abductive logic programming with constraints;verifying communicating agents by model checking in a temporal action logic;practical reasoning for uncertain agents;parallel encodings of classical planning as satisfiability;relational Markov games;and transforming fuzzy description logics into classical description logics.
暂无评论