咨询与建议

限定检索结果

文献类型

  • 668 篇 会议
  • 32 篇 期刊文献
  • 19 册 图书

馆藏范围

  • 718 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 648 篇 工学
    • 645 篇 计算机科学与技术...
    • 356 篇 软件工程
    • 28 篇 控制科学与工程
    • 22 篇 电气工程
    • 18 篇 信息与通信工程
    • 3 篇 材料科学与工程(可...
    • 3 篇 建筑学
    • 3 篇 生物工程
    • 2 篇 生物医学工程(可授...
    • 1 篇 力学(可授工学、理...
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 核科学与技术
    • 1 篇 农业工程
  • 129 篇 理学
    • 120 篇 数学
    • 5 篇 物理学
    • 5 篇 生物学
    • 5 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 化学
  • 33 篇 管理学
    • 23 篇 图书情报与档案管...
    • 13 篇 管理科学与工程(可...
    • 7 篇 工商管理
  • 5 篇 法学
    • 4 篇 社会学
    • 1 篇 法学
  • 3 篇 医学
    • 3 篇 临床医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 药学(可授医学、理...
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 农学

主题

  • 247 篇 logic programmin...
  • 46 篇 answer set progr...
  • 44 篇 semantics
  • 22 篇 computer circuit...
  • 22 篇 artificial intel...
  • 21 篇 knowledge repres...
  • 20 篇 formal logic
  • 18 篇 nonmonotonic rea...
  • 12 篇 calculations
  • 11 篇 mathematical log...
  • 11 篇 logics and meani...
  • 9 篇 constraint progr...
  • 8 篇 answer-set progr...
  • 8 篇 atoms
  • 8 篇 inductive logic ...
  • 8 篇 ontology
  • 7 篇 knowledge repres...
  • 7 篇 programming tech...
  • 6 篇 software enginee...
  • 6 篇 data description

机构

  • 21 篇 vienna univ tech...
  • 11 篇 univ potsdam pot...
  • 10 篇 univ kentucky de...
  • 8 篇 univ bath dept c...
  • 8 篇 univ potsdam ins...
  • 7 篇 univ texas dept ...
  • 6 篇 new mexico state...
  • 6 篇 tu wien austria
  • 6 篇 inria rennes ren...
  • 6 篇 university of po...
  • 5 篇 univ potsdam ins...
  • 5 篇 univ a coruna la...
  • 5 篇 simon fraser uni...
  • 5 篇 univ genoa dibri...
  • 5 篇 univ calabria ar...
  • 5 篇 new mexico state...
  • 5 篇 univ calabria de...
  • 5 篇 univ alberta dep...
  • 4 篇 vienna universit...
  • 4 篇 university of ca...

作者

  • 35 篇 schaub torsten
  • 25 篇 gebser martin
  • 23 篇 ricca francesco
  • 19 篇 tompits hans
  • 18 篇 eiter thomas
  • 17 篇 woltran stefan
  • 16 篇 leone nicola
  • 14 篇 alviano mario
  • 12 篇 faber wolfgang
  • 12 篇 cabalar pedro
  • 11 篇 brain martin
  • 11 篇 de vos marina
  • 10 篇 calimeri frances...
  • 10 篇 fink michael
  • 10 篇 inoue katsumi
  • 9 篇 ianni giovambatt...
  • 9 篇 son tran cao
  • 8 篇 giordano laura
  • 8 篇 eiter t
  • 8 篇 lifschitz vladim...

语言

  • 713 篇 英文
  • 4 篇 中文
  • 2 篇 其他
检索条件"任意字段=7th International Conference on Logic Programming and Nonmonotonic Reasoning"
719 条 记 录,以下是41-50 订阅
排序:
LTLf2ASP: LTLf Bounded Satisfiability in ASP  17th
LTLf2ASP: LTLf Bounded Satisfiability in ASP
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Fionda, Valeria Ielo, Antonio Ricca, Francesco Univ Calabria Arcavacata Di Rende CS Italy
Finite variant of Linear Temporal logic (LTLf) is increasingly popular in Artificial Intelligence (AI).Indeed, several AI applications rely on checking the satisfiability of temporal specifications expressed in LTLf (... 详细信息
来源: 评论
Integrating MiniZinc with ASP Chef: Browser-Based Constraint programming for Education and Prototyping  17th
Integrating MiniZinc with ASP Chef: Browser-Based Constraint...
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Alviano, Mario Reiners, Luis Angel Rodriguez Univ Calabria DEMACS Via Bucci 30-B I-87036 Arcavacata Di Rende CS Italy
In this paper, we present the integration of MiniZinc into ASP Chef, expanding its capabilities to include constraint programming alongside Answer Set programming (ASP). By leveraging the web assembly version of MiniZ... 详细信息
来源: 评论
An ASP-Based Approach to Water Distribution System Reconstruction  17th
An ASP-Based Approach to Water Distribution System Reconstru...
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Ielo, Antonio Falco, Salvatore Iiritano, Salvatore Piro, Patrizia Polizzi, Ada Ricca, Francesco Univ Calabria I-87036 Arcavacata Di Rende CS Italy SigmaWater Srl I-87036 Arcavacata Di Rende CS Italy Revelis Srl I-87036 Arcavacata Di Rende CS Italy
Hydraulic engineering analysis of Water Distribution Systems (WDSs) is performed by running simulation softwares. the starting point to setup a simulation is to reconstruct the WDS topology. In many countries, includi... 详细信息
来源: 评论
Integrating Structured Declarative Language (SDL) into ASP Chef  17th
Integrating Structured Declarative Language (SDL) into ASP C...
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Alviano, Mario Guarasci, Paola Reiners, Luis Angel Rodriguez Vasile, Ilaria R. Univ Calabria DEMACS Via Bucci 30-B I-87036 Arcavacata Di Rende CS Italy
this article explores the integration of Structured Declarative Language (SDL) into ASP Chef, a low-code web application designed to facilitate the development of pipelines for combinatorial search and optimization. S... 详细信息
来源: 评论
Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets  17th
Answer Set Explanations via Preferred Unit-Provable Unsatisf...
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Alviano, Mario Hahn, Susana Sabuncu, Orkunt Weichelt, Johannes Univ Calabria DEMACS Via Bucci 30-B I-87036 Arcavacata Di Rende CS Italy Univ Potsdam Potsdam Germany Potassco Solut Potsdam Germany
Explainability in Artificial Intelligence (XAI) is crucial for enhancing the transparency and trustworthiness of AI systems. Our work focuses on providing clear explanations for why certain atoms in a given answer set... 详细信息
来源: 评论
7th international conference on logic for programming and Automated reasoning, LPAR 2000
收藏 引用
7th international conference on logic for programming and Automated reasoning, LPAR 2000
the proceedings contain 30 papers. the special focus in this conference is on Nonmononic reasoning and Descriptive complexity. the topics include: On the complexity of theory curbing;graph operations and monadic secon...
来源: 评论
Fourth international conference on logic programming and nonmonotonic reasoning (LPNMR '97) Dagstuhl, Germany, 28-31 July 1997
收藏 引用
AI COMMUNICATIONS 1997年 第3-4期10卷 203-207页
作者: Milnikel, R
the fourth international conference on logic programming and nonmonotonic reasoning (LPNMR) was held in Dagstuhl, Germany from the 28th to the 31st of July 1997. this year's installment of LPNMR reflected a new st... 详细信息
来源: 评论
logic programming and knowledge representation - the A-Prolog perspective
收藏 引用
ARTIFICIAL INTELLIGENCE 2002年 第1-2期138卷 3-38页
作者: Gelfond, M Leone, N Texas Tech Univ Dept Comp Sci Lubbock TX 79409 USA Univ Calabria Dept Math I-87030 Arcavacata Di Rende CS Italy
In this paper we give a short introduction to logic programming approach to knowledge representation and reasoning. the intention is to help the reader to develop a 'feel' for the field's history and some ... 详细信息
来源: 评论
Probabilistic reasoning with answer sets  7
收藏 引用
7th international conference on logic programming and nonmonotonic reasoning
作者: Baral, C Gelfond, M Rushton, N Arizona State Univ Dept Comp Sci & Engn Tempe AZ 85287 USA Texas Tech Univ Dept Comp Sci Lubbock TX 79409 USA
We give a logic programming based account of probability and describe a declarative language P-log capable of reasoning which combines both logical and probabilistic arguments. Several non-trivial examples illustrate ... 详细信息
来源: 评论
Answer set programming and plan generation
收藏 引用
ARTIFICIAL INTELLIGENCE 2002年 第1-2期138卷 39-54页
作者: Lifschitz, V Univ Texas Austin TX 78712 USA
the idea of answer set programming is to represent a given computational problem by a logic program whose answer sets correspond to solutions, and then use an answer set solver, such as SMODELS or DLV, to find an answ... 详细信息
来源: 评论