| 
|
Quote: logical implication should be like a procedure, e.g., invoked by beliefs
topics >
all references >
references g-h >
Topic:
logic programming
Quotation Skeleton
I proposed that logical implications like "all men … (called the "antecedent interpretation" in Planner), provides that … mortal can be logically derived. We can express … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: logic programming (34 items)