Verifying Preferential Equivalence and Subsumption via Model Checking

DOI10.1007/978-3-642-41575-3_25zbMath1404.68153OpenAlexW2184962110MaRDI QIDQ2868563

Ganesh Ram. Santhanam, Vasant Honavar, Samik Basu

Publication date: 17 December 2013

Published in: Algorithmic Decision Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-41575-3_25

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Individual preferences (91B08)

This page was built for publication: Verifying Preferential Equivalence and Subsumption via Model Checking