From post

An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions.

, , и . ICLP (Technical Communications), том 17 из LIPIcs, стр. 222-234. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection., и . LPNMR, том 5753 из Lecture Notes in Computer Science, стр. 264-276. Springer, (2009)Stepwise Debugging of Description-Logic Programs., , и . Correct Reasoning, том 7265 из Lecture Notes in Computer Science, стр. 492-508. Springer, (2012)An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions., , и . ICLP (Technical Communications), том 17 из LIPIcs, стр. 222-234. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)F-Logic#: Loosely Coupling F-Logic Rules and Ontologies., , , , и . Web Intelligence, стр. 248-255. IEEE Computer Society, (2010)Stepping through an Answer-Set Program., , и . LPNMR, том 6645 из Lecture Notes in Computer Science, стр. 134-147. Springer, (2011)Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin., , и . LPNMR, том 8148 из Lecture Notes in Computer Science, стр. 323-328. Springer, (2013)Realizability of three-valued semantics for abstract dialectical frameworks.. Artif. Intell., (2020)Stream Packing for Asynchronous Multi-Context Systems using ASP., и . CoRR, (2016)ArgueApply: A Mobile App for Argumentation.. LPNMR, том 10377 из Lecture Notes in Computer Science, стр. 250-262. Springer, (2017)Annotating answer-set programs in Lana., , , , и . Theory Pract. Log. Program., 12 (4-5): 619-637 (2012)