Titlebook: EPIA‘91; 5th Portuguese Confe Pedro Barahona,Luís Moniz Pereira,António Porto Conference proceedings 1991 Springer-Verlag Berlin Heidelberg

遺留之物

vation is to build declarative debuggers requiring less oracle queries, at the cost of loosing information about the variable bindings of the diagnosis. This new approach we call ., as opposed to ...A motivating example for pure Prolog is given, consisting of an append computation with a wrong solut

deadlock

指派

傳授知識(shí)

insurrection

赦免

宮殿般

A constraint-based fuzzy inference system,This paper describes an inference system for uncertain predicates, providing an alternative to the maximal entropy method used by Paris and Vencovska in.In the Appendix we give an example of the application of the process, and a formal definition of the logics that underlie the system.

Allure

https://doi.org/10.1007/3-540-54535-2Automated Deduction; Automated Theorem Proving; Automatisches Beweisen; Automatisches Schlie?en; Fuzzy; K

外來

摸索

A new method for solving linear constraints on the natural numbers,numbers, a problem that is also of great importance in AC-unification. We describe a new algorithm that is faster than the methods we compared it with, and that may well contradict the view that this kind of algorithms is too expensive to be of practical use, for instance in the implementation of Constraint Logic Programming languages.