Symbolic and Quantitative Approaches to Reasoning with Uncertainty

DOI10.1007/B11792zbMath1274.68467OpenAlexW4229540941MaRDI QIDQ5900658

Robert Saxon Milnikel

Publication date: 6 April 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b11792

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics

This page was built for publication: Symbolic and Quantitative Approaches to Reasoning with Uncertainty