咨询与建议

限定检索结果

文献类型

  • 137 篇 会议
  • 16 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 123 篇 工学
    • 118 篇 计算机科学与技术...
    • 68 篇 软件工程
    • 8 篇 信息与通信工程
    • 7 篇 控制科学与工程
    • 5 篇 机械工程
    • 4 篇 电气工程
    • 4 篇 建筑学
    • 3 篇 材料科学与工程(可...
    • 3 篇 生物医学工程(可授...
    • 2 篇 冶金工程
    • 2 篇 交通运输工程
    • 2 篇 食品科学与工程(可...
    • 1 篇 力学(可授工学、理...
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
  • 39 篇 理学
    • 33 篇 数学
    • 5 篇 生物学
    • 2 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
  • 19 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 9 篇 工商管理
    • 6 篇 图书情报与档案管...
  • 4 篇 医学
    • 4 篇 临床医学
    • 3 篇 基础医学(可授医学...
    • 2 篇 药学(可授医学、理...
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 2 篇 农学

主题

  • 29 篇 logic programmin...
  • 14 篇 answer set progr...
  • 6 篇 programming
  • 5 篇 java programming...
  • 4 篇 object oriented ...
  • 4 篇 artificial intel...
  • 4 篇 dynamic programm...
  • 4 篇 knowledge repres...
  • 3 篇 conferences
  • 3 篇 prolog (programm...
  • 3 篇 computer program...
  • 2 篇 genetic programm...
  • 2 篇 access control
  • 2 篇 fill-in-blank pr...
  • 2 篇 problem solving
  • 2 篇 aspect oriented ...
  • 2 篇 fortran (program...
  • 2 篇 education
  • 2 篇 c++ (programming...
  • 2 篇 module theorem

机构

  • 3 篇 univ bath dept c...
  • 2 篇 univ angers leri...
  • 2 篇 aalto univ dept ...
  • 2 篇 macquarie univ d...
  • 2 篇 univ americas pu...
  • 2 篇 university of ke...
  • 1 篇 zaporizhzhia pol...
  • 1 篇 dipartimento di ...
  • 1 篇 department of co...
  • 1 篇 graduate school ...
  • 1 篇 ibm toronto lab....
  • 1 篇 icmc university ...
  • 1 篇 oak ridge natl l...
  • 1 篇 vienna universit...
  • 1 篇 univ evry val de...
  • 1 篇 guilin univ tech...
  • 1 篇 univ bologna dei...
  • 1 篇 computer enginee...
  • 1 篇 univ western ont...
  • 1 篇 department of el...

作者

  • 3 篇 faber wolfgang
  • 3 篇 alviano mario
  • 3 篇 osorio m
  • 3 篇 de vos marina
  • 2 篇 ortiz m
  • 2 篇 gavanelli marco
  • 2 篇 oikarinen emilia
  • 2 篇 stephan igor
  • 2 篇 da mota benoit
  • 2 篇 schwitter rolf
  • 2 篇 balduccini marce...
  • 2 篇 brain martin
  • 2 篇 greis noel p.
  • 2 篇 janhunen tomi
  • 2 篇 maratea marco
  • 2 篇 ricca francesco
  • 2 篇 zhang yuanlin
  • 2 篇 nogueira monica ...
  • 2 篇 ayala g
  • 2 篇 nicolas pascal

语言

  • 152 篇 英文
  • 1 篇 其他
检索条件"任意字段=4th International Workshop on Answer Set Programming"
153 条 记 录,以下是1-10 订阅
排序:
ASPOCP 2011 - 4th workshop on answer set programming and Other Computing Paradigms, collocated with the international Conference on Logic programming, ICLP 2011
ASPOCP 2011 - 4th Workshop on Answer Set Programming and Oth...
收藏 引用
4th workshop on answer set programming and Other Computing Paradigms, ASPOCP 2011, collocated with the 27th international Conference on Logic programming, ICLP 2011
the proceedings contain 7 papers. the topics discussed include: a transition system for AC language algorithms;weighted-sequence problem: ASP vs CASP and declarative vs problem oriented solving;a new algorithm for P-l...
来源: 评论
4th international workshop on Extensions of Logic programming, ELP 1993
4th International Workshop on Extensions of Logic Programmin...
收藏 引用
4th international workshop on Extensions of Logic programming, ELP 1993
the proceedings contain 22 papers. the special focus in this conference is on Extensions of Logic programming. the topics include: Design for AKL with intelligent pruning;birkhoff's HSP-theorem for cumulative logi...
来源: 评论
From (Quantified) Boolean Formulae to answer set programming
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2009年 第4期19卷 565-590页
作者: Stephan, Igor Da Mota, Benoit Nicolas, Pascal Univ Angers LERIA F-49045 Angers France
We propose in this article a translation from quantified Boolean formulae to answer set programming. the computation of a solution of a quantified Boolean formula is then equivalent to the computation of a stable mode...
来源: 评论
Efficiently Querying RDF(S) Ontologies with answer set programming
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2009年 第4期19卷 671-695页
作者: Ianni, Giovambattista Martello, Alessandra Panetta, Claudio Terracina, Giorgio Univ Calabria Dipartimento Matemat I-87036 Arcavacata Di Rende CS Italy Vienna Univ Technol Inst Informat Syst 184 3 A-1040 Vienna Austria
Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently expressive languages for the representation and queryin... 详细信息
来源: 评论
From (Quantified) Boolean Formulae to answer set programming
From (Quantified) Boolean Formulae to Answer Set Programming
收藏 引用
4th international workshop on answer set programming
作者: Stephan, Igor Da Mota, Benoit Nicolas, Pascal Univ Angers LERIA F-49045 Angers France
We propose in this article a translation from quantified Boolean formulae to answer set programming. the computation of a solution of a quantified Boolean formula is then equivalent to the computation of a stable mode... 详细信息
来源: 评论
the Significance of Memory Costs in answer set Solver Implementation
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2009年 第4期19卷 615-641页
作者: Brain, Martin De Vos, Marina Univ Bath Dept Comp Sci Bath BA2 7AY Avon England
Implementation costs linked to processor memory subsystems (cache miss costs, stalls due to bandwidth limits, etc.) have been shown to be a factor in the performance of a variety of declarative programming tools. this... 详细信息
来源: 评论
Monotonic answer set programming
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2009年 第4期19卷 539-564页
作者: Gebser, Martin Gharib, Mona Mercer, Robert Schaub, Torsten Univ Potsdam Inst Informat D-14482 Potsdam Germany Zagazig Univ Fac Sci Dept Math Zagazig Egypt Univ Western Ontario Dept Comp Sci London ON N6A 5B7 Canada
answer set programming (ASP) does not allow for incrementally constructing answer sets or locally validating constructions like proofs by only looking at a part of the given program. In this article, we elaborate upon... 详细信息
来源: 评论
Complexity of super-coherence problems in ASP  4
Complexity of super-coherence problems in ASP
收藏 引用
4th workshop on answer set programming and Other Computing Paradigms, ASPOCP 2011, collocated with the 27th international Conference on Logic programming, ICLP 2011
作者: Alviano, Mario Faber, Wolfgang Woltran, Stefan University of Calabria Italy Vienna University of Technology Austria
Adapting techniques from database theory in order to optimize answer set programming (ASP) systems, and in particular the grounding components of ASP systems, is an important topic in ASP. In recent years, the Magic S... 详细信息
来源: 评论
A Translation-based Approach to the Verification of Modular Equivalence
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2009年 第4期19卷 591-613页
作者: Oikarinen, Emilia Janhunen, Tomi Aalto Univ Dept Informat & Comp Sci FI-02015 Helsinki Finland
the goal of this article is to foster modular program development in answer set programming using a Gaifman-Shapiro-style module architecture. More specifically, a method for verifying the equivalence of logic program... 详细信息
来源: 评论
Fuzzy logic programming via multilattices
收藏 引用
FUZZY setS AND SYSTEMS 2007年 第6期158卷 674-688页
作者: Medina, Jesus Ojeda-Aciego, Manuel Ruiz-Calvino, Jorge Univ Malaga Dept Matemat Aplicada E-29071 Malaga Spain
We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logic programming framework. On the one hand, some theoretical results about ideals of a multilattice are presented in orde... 详细信息
来源: 评论