Tabling with Answer Subsumption: Implementation, Applications and Performance
暂无分享,去创建一个
[1] Theresa Swift. Tabling for non‐monotonic programming , 2004, Annals of Mathematics and Artificial Intelligence.
[2] Giridhar Pemmasani,et al. Online Justification for Tabled Logic Programs , 2004, FLOPS.
[3] Konstantinos Sagonas,et al. An abstract machine for tabled execution of fixed-order stratified logic programs , 1998, TOPL.
[4] Wolfgang Reisig,et al. Place or Transition Petri Nets , 1996, Petri Nets.
[5] Fabrizio Riguzzi,et al. Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions , 2010, ICLP.
[6] Tadashi Kanamori,et al. Abstract Interpretation based on OLDT Resolution , 1993, J. Log. Program..
[7] Luís Moniz Pereira,et al. Monotonic and Residuated Logic Programs , 2001, ECSQARU.
[8] Wolfgang Reisig,et al. Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.
[9] Tom A. B. Snijders,et al. Social Network Analysis , 2011, International Encyclopedia of Statistical Science.
[10] V. S. Subrahmanian,et al. Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..
[11] Thomas W. Valente,et al. Bridging: Locating critical connectors in a network , 2010, Soc. Networks.
[12] Michael Clarke,et al. Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.
[13] John Scott. What is social network analysis , 2010 .
[14] Edsger W. Dijkstra,et al. A note on two problems in connexion with graphs , 1959, Numerische Mathematik.
[15] Michael Kifer,et al. Logic Programming with Defaults and Argumentation Theories , 2009, ICLP.
[16] Wolfgang Faber,et al. Aggregate Functions in DLV , 2003, Answer Set Programming.