„Annotated logic programming“

Suchergebnisse

2 Treffer

• Using Generalized Annotated Programs to Solve Social Network Optimization Problems
  Shakarian, Paulo ; Subrahmanian, V.S. ; Sapino, Maria Luisa 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
  Riguzzi, Fabrizio ; Swift, Terrance 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik