Concepedia

Theory of generalized annotated logic programming and its applications**A preliminary report on this research has appeared in [34].

Michael Kifer, V. S. Subrahmanian

The Journal of Logic Programming · 1992 · 446 citations · 28 references

Concepts

ComputingComputer ScienceFormal MethodsLogicProgramming LanguagesAutomated ReasoningLogic ProgrammingPredicate LogicType Systems For Logic Programming

References

28

Computer-Based Medical Consultations: MYCIN.

Annals of Internal Medicine · 1976 · 2.5K citations

Computing, Biomedical Informatics, Health Informatics +9

On the theory of inconsistent formal systems.

Newton C. A. da Costa · Notre Dame Journal of Formal Logic · 1974 · 739 citations · Full text

Computing, Computer Science, Philosophy +6

Multivalued logics: a uniform approach to reasoning in artificial intelligence

Matthew L. Ginsberg · Computational Intelligence · 1988 · 511 citations

Computing, Computer Science, Artificial Intelligence +16

Bilattices and the semantics of logic programming

Melvin Fitting · The Journal of Logic Programming · 1991 · 410 citations

Humanities, Computer Science, Logic +11

Toward useful type-free theories. I

Solomon Feferman · Journal of Symbolic Logic · 1984 · 382 citations

Natural Sciences, Mathematics, Logic +12