Home Advanced Search

Advanced Search - Page 1

Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Armin Biere (auth.), Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Armin Biere (auth.), Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Armin Biere (auth.), Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation
  • DJVU
  • English
  • Year: 1997
  • Author: Torsten Schaub (auth.)
The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation
  • PDF
  • English
  • Year: 1997
  • Author: Torsten Schaub (auth.)
Inconsistency Tolerance
  • PDF
  • English
  • Year: 2005
  • Author: Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (auth.), Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (eds.)
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: David Harel (auth.), Armin Biere, Amir Nahir, Tanja Vos (eds.)
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Armin Biere (auth.), Kerstin Eder, João Lourenço, Onn Shehory (eds.)
Handbook of satisfiability
  • PDF
  • English
  • Year: 2021
  • Author: Armin Biere
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz
  • PDF
  • English
  • Year: 2012
  • Author: Jack Minker (auth.), Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce (eds.)
search