Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Niemela, Ilkka"'
We discuss the evolution of aspects of nonmonotonic reasoning towards the computational paradigm of answer-set programming (ASP). We give a general overview of the roots of ASP and follow up with the personal perspective on research developments that
Externí odkaz:
http://arxiv.org/abs/1108.3281
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX, where k is a non-negative integer and X is a finite set of propositional atoms. We develop a theory of mca-programs. We demonstrate
Externí odkaz:
http://arxiv.org/abs/cs/0310063
The Smodels system implements the stable model semantics for normal logic programs. It handles a subclass of programs which contain no function symbols and are domain-restricted but supports extensions including built-in functions as well as cardinal
Externí odkaz:
http://arxiv.org/abs/cs/0003033
The US Data Encryption Standard, DES for short, is put forward as an interesting benchmark problem for nonmonotonic reasoning systems because (i) it provides a set of test cases of industrial relevance which shares features of randomly generated prob
Externí odkaz:
http://arxiv.org/abs/cs/0003039
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Brewka, Gerhard, Niemela, Ilkka
Publikováno v:
AI Magazine; Vol 19, No 4: Winter 1998; 141
The Seventh International Workshop on Nonmonotonic Reasoning was held in Trento, Italy, on 30 May to 1 June 1998 in conjunction with the Sixth International Conference on the Principles of Knowledge Representation and Reasoning (KR-98). The workshop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=issn07384602::3313c532ad958791fb49cba2de7ba47e
http://aaai.org/ojs/index.php/aimagazine/article/view/1429
http://aaai.org/ojs/index.php/aimagazine/article/view/1429
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
2013 13th International Conference on Application of Concurrency to System Design; 2013, p216-225, 10p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.