„Answer-Set Programming“

Suchergebnisse

189 Treffer

• Applying Machine Learning Techniques to ASP Solving
  Maratea, Marco ; Pulina, Luca ; Ricca, Francesco 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report
  Baral, Chitta ; Ha Vo, Nguyen ; Liang, Shanshan 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Promoting Modular Nonmonotonic Logic Programs
  Krennwallner, Thomas 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Extensions of Answer Set Programming
  Brik, Alex 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Representing the Language of the Causal Calculator in Answer Set Programming
  Casolary, Michael ; Lee, Joohyung 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Hybrid ASP
  Brik, Alex ; Remmel, Jeffrey B. 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modelling Grammar Constraints with Answer Set Programming
  Drescher, Christian ; Walsh, Toby 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards a General Argumentation System based on Answer-Set Programming
  Gaggl, Sarah Alice 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Constraint Answer Set Programming Systems
  Drescher, Christian 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dynamic Magic Sets for Disjunctive Datalog Programs
  Alviano, Mario 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Methods and Methodologies for Developing Answer-Set Programs - Project Description
  Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Efficient Solving of Time-dependent Answer Set Programs
  Fayruzov, Timur ; Janssen, Jeroen ; Vermeir, Dirk ; Cornelis, Chris ; De Cock, Martine 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• HEX Programs with Action Atoms
  Basol, Selen ; Erdem, Ozan ; Fink, Michael ; Ianni, Giovambattista 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Learning Domain-Specific Heuristics for Answer Set Solvers
  Balduccini, Marcello 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model Revision of Logical Regulatory Networks Using Logic-Based Tools
  Gouveia, Filipe ; Lynce, Inês ; Monteiro, Pedro T. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Speeding up Lazy-Grounding Answer Set Solving
  Taupe, Richard 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs
  Yang, Zhun 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Explaining Actual Causation via Reasoning About Actions and Change
  LeBlanc, Emily C. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Learning Commonsense Knowledge Through Interactive Dialogue
  Wu, Benjamin ; Russo, Alessandra ; Law, Mark ; Inoue, Katsumi 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SMT-Based Answer Set Solver CMODELS(DIFF) (System Description)
  Shen, Da ; Lierler, Yuliya 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik