PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Mello, Paola"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Abductive Framework for Extended Logic Programming.

, , , und . LPNMR, Volume 928 von Lecture Notes in Computer Science, Seite 330-343. Springer, (1995)

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.

Keine Personen gefunden für den Autorennamen Mello, Paola
Eine Person hinzufügen mit dem Namen Mello, Paola
 

Weitere Publikationen von Autoren mit dem selben Namen

A Computational Logic Application Framework for Service Discovery and Contracting., , , , , , , und . Int. J. Web Service Res., 8 (3): 1-25 (2011)Extending Constraint Logic Programming for Temporal Reasoning., , und . Ann. Math. Artif. Intell., 22 (1-2): 139-158 (1998)Composing Open Logic Programs., , und . J. Log. Comput., 3 (4): 417-439 (1993)Modularity in Logic Programming., , und . J. Log. Program., (1994)Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions., , , und . Intelligenza Artificiale, 5 (1): 101-105 (2011)Expressing Collaborative and Competitive Coordination among Abductive., , , und . CL-2000 Workshop on Computational Logic in Multi-Agent Systems, Seite 35-43. (2000)Combining Solvers in a Meta Constraint Logic Programming Architecture., , und . FroCoS, Seite 267-283. (1996)Interpreting Abduction in CLP., , , , und . APPIA-GULP-PRODE, Seite 25-35. (2003)Interactive Constraint Satisfaction and its Application to Visual Object Recognition., , , , und . APPIA-GULP-PRODE, Seite 57-70. (1998)An Optimized Implementation of a Dynamic Modular Logic Language., , und . Software - Concepts and Tools, 17 (4): 148-162 (1996)