Skip to content
cs-conference-ranking.org

Robert F. Strk

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

5

Active years

1989–2012

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2012CogSIMAMixed-initiative data mining with Bayesian networks.Robert F. Strk, Michael Farry, Jonathan D. Pfautz
2001CSLA Logic for Abstract State Machines.Robert F. Strk, Stanislas Nanchen
1997LFCSFormal Verification of Logic Programs: Foundations and Implementation.Robert F. Strk
1996CSLCall-by-Value, Call-by-Name and the Logic of Values.Robert F. Strk
1995LPNMRLoop Checking and the Wll-Founded Semantics.Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Strk
1995LPNMRA Transformation of Propositional Prolog Programs into Classical Logic.Robert F. Strk
1994LICSThe Declarative Semantics of the Prolog Selection RuleRobert F. Strk
1992CSLNegation-Complete Logic Programs.Robert F. Strk
1990CSLOn the Existence of Fixpoints in Moore's Autoepistemic Logic and the Non-Monotonic Logic of McDermott and Doyle.Robert F. Strk
1989CSLA Direct Proof for the Completeness of SLD-Resolution.Robert F. Strk
1989CSLA Quantifier-Free Completion of Logic Programs.Robert F. Strk