5 found
Order:
  1. Uniform Semantic Treatment of Default and Autoepistemic Logics.Marc Denecker, Victor W. Marek & Mirosław Truszczyński - 2003 - Artificial Intelligence 143 (1):79-122.
  2. The Logic Programming Paradigm: A 25-Year Perspective.Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski & David S. Warren - 2002 - Studia Logica 71 (1):145-148.
     
    Export citation  
     
    Bookmark  
  3.  13
    Introduction to Mathematics of Satisfiability.Victor W. Marek - 2009 - Taylor & Francis.
    From electronic design problems to resolution proofs to SAT solvers, this book focuses on the satisfiabilityof theories that consist of propositional logic ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  19
    The Complexity of Recursive Constraint Satisfaction Problems.Victor W. Marek & Jeffrey B. Remmel - 2010 - Annals of Pure and Applied Logic 161 (3):447-457.
    We investigate the complexity of finding solutions to infinite recursive constraint satisfaction problems. We show that, in general, the problem of finding a solution to an infinite recursive constraint satisfaction problem is equivalent to the problem of finding an infinite path through a recursive tree. We also identify natural classes of infinite recursive constraint satisfaction problems where the problem of finding a solution to the infinite recursive constraint satisfaction problem is equivalent to the problem of finding an infinite path through (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5. Computing with Default Logic.Paweł Cholewiński, Victor W. Marek, Mirosław Truszczyński & Artur Mikitiuk - 1999 - Artificial Intelligence 112 (1-2):105-146.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation