Toolbox

2008/11/20 by Karl Schlechta, Schlechta, Karl
Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO

paper · pdf · doi:10.48550/arxiv.0811.3402

arxiv created 2008/11/20 · arxiv updated 2009/12/01

Abstract

Contains various tools for preferential and related logics

Related

• Roadmap for preferential logics
• Logic in the Lab
• The Logic Programming Paradigm and Prolog
• AppLP: A Dialogue on Applications of Logic Programming
• Warranted Derivations of Preferred Answer