logique des défauts
Sign in to savetype de logique non monotone
In the Vinony graph
Vinony's link graph records 22 inbound references to logique des défauts, and connects out to Richard Nixon, Republican Party (United States) and Wayback Machine.
It is catalogued under topics including Knowledge representation, Logical calculi and Logic programming.
Vinony links it to 9 Wikipedia language editions.
Connections
Richard Nixon
Person
Republican Party (United States)
Concept
Wayback Machine
Entity
digital object identifier
Entity
Quakers
Entity
Prolog
Entity
propositional calculus
Entity
bijection
Entity
Stanford Encyclopedia of Philosophy
Entity
tautology
Entity
modal logic
Entity
abductive reasoning
Entity
fixed point
Entity
first-order logic
Entity
logic programming
Entity
consistency
Entity
logical consequence
Entity
analysis of algorithms
Entity
rule of inference
Entity
polynomial hierarchy
Entity