Computing with default logic - Concepedia

Concepedia

Publication | Closed Access

Computing with default logic

56

Citations

22

References

1999

Year

Paweł Cholewiński, Victor W. Marek, Mirosław Truszczyński, Artur Mikitiuk

Artificial Intelligence

Applied LogicEngineeringAutomated ReasoningDefault LogicFormal MethodsComputer ScienceFormal VerificationLogic Programming

References

	Year	Citations

Page 1