Stable Models and an Alternative Logic Programming Paradigm 论文

1999Artificial intelligence引用 734
DOI
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsAdvanced Algebra and Logic
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systems
关系图谱

Stable Models and an Alternative Logic Programming Paradigm · 作者

M

Mirosław Truszczyński

V

Victor W. Marek