( en | de | ru )

 

Disambiguierung von "Cabalar, Pedro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Free Logic for Stable Models with Partial Intensional Functions.

, , , und . JELIA, Volume 8761 von Lecture Notes in Computer Science, Seite 340-354. Springer, (2014)

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.

Benno Pedrotti

Mario Pedroso

Luicy Pedroza Espinoza

Claudia Pedroni

Francisco Pedrosa Gil

 

Weitere Publikationen von Autoren mit dem selben Namen

Stable reasoning., , und . J. Appl. Non Class. Logics, 27 (3-4): 238-254 (2017)Enablers and Inhibitors in Causal Justifications of Logic Programs., und . CoRR, (2016)Partial Functions and Equality in Answer Set Programming.. ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 392-406. Springer, (2008)Gelfond-Zhang aggregates as propositional formulas., , , und . Artif. Intell., (2019)Stable Models for Temporal Theories - - Invited Talk -.. LPNMR, Volume 9345 von Lecture Notes in Computer Science, Seite 1-13. Springer, (2015)Enablers and Inhibitors in Causal Justifications of Logic Programs., und . LPNMR, Volume 9345 von Lecture Notes in Computer Science, Seite 199-212. Springer, (2015)Splitting Epistemic Logic Programs., , und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 120-133. Springer, (2019)Answer Set; Programming?. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, Volume 6565 von Lecture Notes in Computer Science, Seite 334-343. Springer, (2011)Logic Programs with Functions and Default Values., und . JELIA, Volume 3229 von Lecture Notes in Computer Science, Seite 294-306. Springer, (2004)Splitting Epistemic Logic Programs., , und . CoRR, (2018)