Operationalizing Declarative and Procedural Knowledge: A Benchmark on Logic Programming Petri Nets (LPPNs)

Autor: Sileno, G., Dodaro, C., Elder, G.A., Faber, W., Fandinno, J., Gebser, M., Hecher, M., LeBlanc, E., Morak, M., Zangari, J.

Publikováno v: International Conference on Logic Programming 2020 Workshop Proceedings: co-located with 36th International Conference on Logic Programming (ICLP 2020) : Rende, Italy, September 18-19, 2020
International Conference on Logic Programming 2020 Workshop Proceedings

Modelling, specifying and reasoning about complex systems requires to process in an integrated fashion declarative and procedural aspects of the target domain. The paper reports on an experiment conducted with a propositional version of Logic Program

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0baf7f4ddaf9cb6ec60522f9635d8621
https://dare.uva.nl/personal/pure/en/publications/operationalizing-declarative-and-procedural-knowledge-a-benchmark-on-logic-programming-petri-nets-lppns(fc1c71fb-02d9-483e-9ac4-74c6c5567626).html

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.