( en | de | ru )

 

Disambiguierung von "Swift, Terrance"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Limits of Fixed-Order Computation.

, , und . Logic in Databases, Volume 1154 von Lecture Notes in Computer Science, Seite 343-363. Springer, (1996)

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.

James Swift

Terrance Albrecht

 

Weitere Publikationen von Autoren mit dem selben Namen

An Abstract Machine for Computing the Well-Founded Semantics., , und . JICSLP, Seite 274-288. MIT Press, (1996)An Abstract Machine for Fixed-Order Dynamically Stratified Programs., , und . CADE, Volume 1104 von Lecture Notes in Computer Science, Seite 328-342. Springer, (1996)Goal-Directed Evaluation of Well-Founded Sematics for XSB., , und . ILPS, Seite 679. MIT Press, (1993)Advanced Knowledge Base Debugging for Rulelog., , , , , , , , und . RuleML (2), Volume 1004 von CEUR Workshop Proceedings, CEUR-WS.org, (2013)Editorial: 29th International Conference on Logic Programming special issue., und . Theory Pract. Log. Program., 13 (4-5): 465-470 (2013)Scheduling in SLG Revisited., , und . TAPD, Seite 62-66. (1998)Forest logging: A trace-based analysis of large rule-based computations.. Semantic Web, 6 (5): 427-449 (2015)A New Formulation of Tabled Resolution with Delay.. EPIA, Volume 1695 von Lecture Notes in Computer Science, Seite 163-177. Springer, (1999)Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs., und . AAAI, Seite 379-386. AAAI Press, (2013)The PITA System for Logical-Probabilistic Inference., und . ILP (Late Breaking Papers), Seite 79-86. Imperial College Press / World Scientific, (2011)