咨询与建议

限定检索结果

文献类型

  • 14 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 12 篇 工学
    • 11 篇 计算机科学与技术...
    • 10 篇 软件工程
    • 1 篇 机械工程
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 生物工程
  • 5 篇 理学
    • 4 篇 数学
    • 2 篇 统计学(可授理学、...
    • 1 篇 生物学
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 1 篇 法学
    • 1 篇 法学

主题

  • 5 篇 logic programmin...
  • 1 篇 computer circuit...
  • 1 篇 search engines
  • 1 篇 commerce
  • 1 篇 petri nets
  • 1 篇 semantics
  • 1 篇 assembly
  • 1 篇 monte carlo meth...

机构

  • 2 篇 university of po...
  • 2 篇 university of kl...
  • 1 篇 dipartimento di ...
  • 1 篇 universitaê de t...
  • 1 篇 royal holloway u...
  • 1 篇 imperial college...
  • 1 篇 tu wien austria
  • 1 篇 informatics inst...
  • 1 篇 principles of in...
  • 1 篇 university of co...
  • 1 篇 alma ai alma mat...
  • 1 篇 scuola normale s...
  • 1 篇 czech technical ...
  • 1 篇 dipartimento di ...
  • 1 篇 inria bretagne a...
  • 1 篇 department of co...
  • 1 篇 alpen-adria univ...
  • 1 篇 ted university a...
  • 1 篇 department of co...
  • 1 篇 2-1-2 hitotsubas...

作者

  • 3 篇 morak michael
  • 2 篇 toni francesca
  • 2 篇 faber wolfgang
  • 2 篇 satoh ken
  • 1 篇 sileno giovanni
  • 1 篇 paulino-passos g...
  • 1 篇 contissa giusepp...
  • 1 篇 moinard yves
  • 1 篇 riguzzi fabrizio
  • 1 篇 calegari roberta
  • 1 篇 nguyen ha thanh
  • 1 篇 woltran stefan
  • 1 篇 perrussel lauren...
  • 1 篇 hecher markus
  • 1 篇 lamma evelina
  • 1 篇 chrpa lukaâës
  • 1 篇 sabuncu orkunt
  • 1 篇 stathis kostas
  • 1 篇 fandinno jorge
  • 1 篇 åžimåek mehmet c...

语言

  • 14 篇 英文
检索条件"任意字段=2020 International Conference on Logic Programming Workshop, ICLP20WS 2020"
14 条 记 录,以下是1-10 订阅
排序:
iclp20ws 2020 - international conference on logic programming 2020 workshop Proceedings, co-located with 36th international conference on logic programming, iclp 2020
ICLP20WS 2020 - International Conference on Logic Programmin...
收藏 引用
2020 international conference on logic programming workshop, iclp20ws 2020
The proceedings contain 15 papers. The topics discussed include: encoding choice logics in ASP;determining action reversibility in STRIPS using answer set programming;solving assembly line workload smoothing problem v...
来源: 评论
Structural Decompositions of Epistemic logic Programs
Structural Decompositions of Epistemic Logic Programs
收藏 引用
2020 international conference on logic programming workshop, iclp20ws 2020
作者: Hecher, Markus Morak, Michael Woltran, Stefan Tu Wien Austria University of Potsdam Germany University of Klagenfurt Austria
来源: 评论
Operationalizing Declarative and Procedural Knowledge: A Benchmark on logic programming Petri Nets (LPPNs)
Operationalizing Declarative and Procedural Knowledge: A Ben...
收藏 引用
2020 international conference on logic programming workshop, iclp20ws 2020
作者: Sileno, Giovanni Informatics Institute University of Amsterdam Netherlands
Modelling, specifying and reasoning about complex systems requires to process in an integrated fashion declarative and procedural aspects of the target domain. The paper reports on an experiment conducted with a propo... 详细信息
来源: 评论
An Epistemic logic for Reasoning about Strategies in General Auctions
An Epistemic Logic for Reasoning about Strategies in General...
收藏 引用
2020 international conference on logic programming workshop, iclp20ws 2020
作者: Mittelmann, Munyque Perrussel, Laurent UniversitAê de Toulouse-IRIT France
In this paper, we present the Epistemic Auction Description Language (E-ADL), a language for epistemic and strategic reasoning in auctions from the playerâs perspective. An automated auction player faces the chal... 详细信息
来源: 评论
Solving Assembly Line Workload Smoothing Problem via Answer Set programming
Solving Assembly Line Workload Smoothing Problem via Answer ...
收藏 引用
2020 international conference on logic programming workshop, iclp20ws 2020
作者: Sabuncu, Orkunt ÅžimÅek, Mehmet Cem Ted University Ankara Turkey
Assembly line balancing problems aim to assign production tasks to workstations or people while satisfying some constraints and optimizing various criteria such as production rate or number of workstations needed. One... 详细信息
来源: 评论
An Analysis of Gibbs Sampling for Probabilistic logic Programs
An Analysis of Gibbs Sampling for Probabilistic Logic Progra...
收藏 引用
2020 international conference on logic programming workshop, iclp20ws 2020
作者: Azzolini, Damiano Riguzzi, Fabrizio Lamma, Evelina Dipartimento di Ingegneria University of Ferrara Via Saragat 1 FerraraI-44122 Italy Dipartimento di Matematica e Informatica University of Ferrara Via Saragat 1 FerraraI-44122 Italy
Markov Chain Monte Carlo (MCMC) is one of the most used families of algorithms based on sampling. They allow to sample from the posterior distribution when direct sampling from it is infeasible, due to the complexity ... 详细信息
来源: 评论
Determining Action Reversibility in STRIPS Using Epistemic logic Programs
Determining Action Reversibility in STRIPS Using Epistemic L...
收藏 引用
2020 international conference on logic programming workshop, iclp20ws 2020
作者: Faber, Wolfgang Morak, Michael University of Klagenfurt Austria
In planning and reasoning about action and change, reversibility of actions is the problem of deciding whether the effects of an action can be reverted by applying other actions in order to return to the original stat... 详细信息
来源: 评论
Determining Action Reversibility in STRIPS Using Answer Set programming
Determining Action Reversibility in STRIPS Using Answer Set ...
收藏 引用
2020 international conference on logic programming workshop, iclp20ws 2020
作者: Chrpa, LukAâËs Faber, Wolfgang FiËser, Daniel Morak, Michael Czech Technical University in Prague Czech Republic Alpen-Adria University Klagenfurt Austria
In planning and reasoning about action and change, reversibility of actions is the problem of deciding whether the effects of an action can be reverted by applying other actions in order to return to the original stat... 详细信息
来源: 评论
Dynamic Epistemic logic with ASP Updates: Application to Conditional Planning
Dynamic Epistemic Logic with ASP Updates: Application to Con...
收藏 引用
2020 international conference on logic programming workshop, iclp20ws 2020
作者: Cabalar, Pedro Fandinno, Jorge FariÃas Del Cerro, Luis University of Corunna Spain University of Potsdam Germany Institut de Recherche en Informatique de Toulouse Universty of Toulouse Cnrs France
Dynamic Epistemic logic (DEL) is a family of multimodal logics that has proved to be very successful for epistemic reasoning in planning tasks. In this logic, the agentâs knowledge is captured by modal epistemic ... 详细信息
来源: 评论
Using ASP with recent extensions for causal explanations  3
Using ASP with recent extensions for causal explanations
收藏 引用
3rd workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2010 - Collocated with the international conference on logic programming, iclp 2010
作者: Moinard, Yves INRIA Bretagne Atlantique IRISA Campus de Beaulieu Rennes Cedex35042 France
We examine the practicality for a user of using Answer Set programming (ASP) for representing logical formalisms. We choose as an example a formalism aiming at capturing causal explanations from causal information. We... 详细信息
来源: 评论