Results for 'Orkunt Sabuncu'

  1.  71
    Using criticalities as a heuristic for answer set programming.Orkunt Sabuncu, Ferda N. Alpaslan & Varol Akman - 2003 - In Vladimir Lifschitz & Ilkka Niemela (eds.), Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 2923 (7th International Conference, LPNMR 2004, Fort Lauderdale, FL, January 6-8, 2004 Proceedings). Berlin, Heidelberg: Springer. pp. 234-246.
    Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic programs. During the computation of an answer set, systems are faced with choice points where they have to select a literal and assign it a truth value. Generally, systems utilize some heuristics to choose new literals at the choice points. The heuristic used is one of the key factors for the performance of (...)
    Direct download (4 more)  
    Export citation  
  2.  9
    Halîfe b. Hayy't’ın Tarih Yazıcılığı Metodu.Ömer Sabuncu & Mahmut Sabuncu - 2018 - Cumhuriyet İlahiyat Dergisi 22 (2):1321-1345.
    No categories
    Direct download  
    Export citation