Autor der Publikation

NP Datalog: A Logic Language for NP Search and Optimization Queries.

, , und . IDEAS, Seite 344-353. IEEE Computer Society, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Conditional Preference-based Argumentation Framework., , , und . NMR, Volume 3464 von CEUR Workshop Proceedings, Seite 115-119. CEUR-WS.org, (2023)Optimizing the Computation of Approximate Certain Query Answers over Incomplete Databases., , und . FQAS, Volume 11529 von Lecture Notes in Computer Science, Seite 48-60. Springer, (2019)Querying Data Exchange Settings Beyond Positive Queries., , , , , und . SEBD, Volume 3478 von CEUR Workshop Proceedings, Seite 360-368. CEUR-WS.org, (2023)Approximate Query Answering over Inconsistent Knowledge Bases., , und . SEBD, Volume 2161 von CEUR Workshop Proceedings, CEUR-WS.org, (2018)Exploiting Equality Generating Dependencies in Checking Chase Termination., , , und . Proc. VLDB Endow., 9 (5): 396-407 (2016)Preference-based Inconsistency-Tolerant Query Answering under Existential Rules., , , und . KR, Seite 203-212. (2020)NP Datalog: A Logic Language for NP Search and Optimization Queries., , und . IDEAS, Seite 344-353. IEEE Computer Society, (2005)An Effective System for User Queries Assistance., , und . FQAS, Volume 11529 von Lecture Notes in Computer Science, Seite 361-373. Springer, (2019)On the Verification and Existence Problems in Epistemic Argumentation Framework., , , , und . AI³@AI*IA, Volume 3546 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Logic Program Termination Analysis Using Atom Sizes., , , und . IJCAI, Seite 2833-2839. AAAI Press, (2015)