咨询与建议

限定检索结果

文献类型

  • 4 篇 期刊文献

馆藏范围

  • 4 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 工学
    • 4 篇 计算机科学与技术...
    • 1 篇 软件工程
  • 3 篇 法学
    • 3 篇 法学
  • 1 篇 理学
    • 1 篇 数学

主题

  • 4 篇 answer set progr...
  • 2 篇 hybrid reasoning
  • 2 篇 answer set progr...
  • 1 篇 design space exp...
  • 1 篇 reasoning about ...
  • 1 篇 actions
  • 1 篇 dynamic spatial ...
  • 1 篇 evolutionary sys...
  • 1 篇 non-monotonic sp...
  • 1 篇 difference const...
  • 1 篇 multi-agent path...
  • 1 篇 declarative spat...
  • 1 篇 semantic foundat...
  • 1 篇 and change
  • 1 篇 multi-agent plan...

机构

  • 1 篇 univ a coruna de...
  • 1 篇 univ bremen brem...
  • 1 篇 univ rostock app...
  • 1 篇 designspace grp ...
  • 1 篇 bosch sensortec ...
  • 1 篇 univ munster mun...
  • 1 篇 potassco solut d...
  • 1 篇 dorabot peoples ...
  • 1 篇 univ potsdam dep...
  • 1 篇 univ warsaw wars...
  • 1 篇 univ nebraska om...
  • 1 篇 new mexico state...
  • 1 篇 univ potsdam dep...
  • 1 篇 univ potsdam ins...

作者

  • 3 篇 schaub torsten
  • 3 篇 wanko philipp
  • 1 篇 walega przemysla...
  • 1 篇 schultz carl
  • 1 篇 fandinno jorge
  • 1 篇 chen kai
  • 1 篇 son tran cao
  • 1 篇 rajaratnam david
  • 1 篇 bhatt mehul
  • 1 篇 cabalar pedro
  • 1 篇 neubauer kai
  • 1 篇 mueller luise
  • 1 篇 haubelt christia...
  • 1 篇 liu sirui

语言

  • 4 篇 英文
检索条件"主题词=answer set programming modulo theories"
4 条 记 录,以下是1-10 订阅
排序:
Non-monotonic spatial reasoning with answer set programming modulo theories
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2017年 第2期17卷 205-225页
作者: Walega, Przemyslaw Andrzej Schultz, Carl Bhatt, Mehul DesignSpace Grp Spatial Reasoning Neuherberg Germany Univ Warsaw Warsaw Poland Univ Munster Munster Germany Univ Bremen Bremen Germany
The systematic modelling of dynamic spatial systems is a key requirement in a wide range of application areas such as commonsense cognitive robotics, computer-aided architecture design, and dynamic geographic informat... 详细信息
来源: 评论
Solving an Industrial-Scale Warehouse Delivery Problem with answer set programming modulo Difference Constraints
收藏 引用
ALGORITHMS 2023年 第4期16卷 216-216页
作者: Rajaratnam, David Schaub, Torsten Wanko, Philipp Chen, Kai Liu, Sirui Son, Tran Cao Potassco Solut D-14467 Potsdam Germany Univ Potsdam Inst Comp Sci D-14469 Potsdam Germany Dorabot Shenzhen 518068 Peoples R China New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
A warehouse delivery problem consists of a set of robots that undertake delivery jobs within a warehouse. Items are moved around the warehouse in response to events. A solution to a warehouse delivery problem is a col... 详细信息
来源: 评论
Evolutionary System Design with answer set programming
收藏 引用
ALGORITHMS 2023年 第4期16卷 179-179页
作者: Haubelt, Christian Mueller, Luise Neubauer, Kai Schaub, Torsten Wanko, Philipp Univ Rostock Appl Microelect & Comp Engn D-18051 Rostock Germany Bosch Sensortec GmbH D-01109 Dresden Germany Univ Potsdam Dept Comp Sci D-14482 Potsdam Germany
We address the problem of evolutionary system design (ESD) by means of answer set programming modulo difference constraints (AMT). The goal of this design approach is to synthesize new product variants or generations ... 详细信息
来源: 评论
On the Semantics of Hybrid ASP Systems Based on Clingo
收藏 引用
ALGORITHMS 2023年 第4期16卷 185-185页
作者: Cabalar, Pedro Fandinno, Jorge Schaub, Torsten Wanko, Philipp Univ A Coruna Dept Comp Sci A Corunna 15008 Spain Univ Nebraska Omaha Coll Informat Sci & Technol Omaha NE 68182 USA Univ Potsdam Dept Comp Sci D-14469 Potsdam Germany
Over the last decades, the development of answer set programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provi... 详细信息
来源: 评论