咨询与建议

限定检索结果

文献类型

  • 254 篇 会议
  • 24 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 235 篇 工学
    • 230 篇 计算机科学与技术...
    • 146 篇 软件工程
    • 11 篇 电气工程
    • 9 篇 控制科学与工程
    • 8 篇 信息与通信工程
    • 3 篇 建筑学
    • 2 篇 材料科学与工程(可...
    • 2 篇 电子科学与技术(可...
    • 2 篇 土木工程
    • 2 篇 化学工程与技术
    • 2 篇 生物医学工程(可授...
    • 2 篇 生物工程
    • 1 篇 交通运输工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 网络空间安全
  • 77 篇 理学
    • 73 篇 数学
    • 6 篇 统计学(可授理学、...
    • 2 篇 化学
    • 2 篇 生物学
    • 2 篇 系统科学
  • 11 篇 管理学
    • 9 篇 管理科学与工程(可...
    • 4 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 3 篇 医学
    • 3 篇 临床医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 药学(可授医学、理...
  • 1 篇 法学
    • 1 篇 法学
  • 1 篇 军事学
    • 1 篇 军队指挥学

主题

  • 60 篇 logic programmin...
  • 34 篇 answer set progr...
  • 18 篇 non-monotonic re...
  • 15 篇 knowledge repres...
  • 9 篇 semantics
  • 7 篇 inductive logic ...
  • 6 篇 computer circuit...
  • 5 篇 fuzzy logic
  • 5 篇 formal logic
  • 5 篇 programming
  • 4 篇 belief revision
  • 4 篇 epistemic logic ...
  • 4 篇 non-monotonic lo...
  • 4 篇 model checking
  • 4 篇 ontologies
  • 4 篇 defeasible logic
  • 4 篇 knowledge repres...
  • 4 篇 machine learning
  • 3 篇 equilibrium logi...
  • 3 篇 abduction

机构

  • 9 篇 univ potsdam pot...
  • 6 篇 univ calabria ar...
  • 5 篇 univ a coruna la...
  • 4 篇 new mexico state...
  • 4 篇 vrije univ bruss...
  • 4 篇 imperial coll lo...
  • 4 篇 univ milano bico...
  • 4 篇 univ angers leri...
  • 3 篇 tu wien austria
  • 3 篇 univ genoa dibri...
  • 3 篇 univ calabria de...
  • 3 篇 vienna univ tech...
  • 3 篇 tech univ dresde...
  • 2 篇 university of ma...
  • 2 篇 univ torino dipa...
  • 2 篇 katholieke univ ...
  • 2 篇 univ calabria di...
  • 2 篇 univ hasselt has...
  • 2 篇 univ politecn ma...
  • 2 篇 univ ferrara dip...

作者

  • 16 篇 ricca francesco
  • 9 篇 cabalar pedro
  • 8 篇 alviano mario
  • 7 篇 fandinno jorge
  • 6 篇 schaub torsten
  • 6 篇 maratea marco
  • 5 篇 maher michael j.
  • 5 篇 gebser martin
  • 4 篇 eiter thomas
  • 4 篇 son tran cao
  • 3 篇 akbar siami nami...
  • 3 篇 governatori guid...
  • 3 篇 gaggl sarah alic...
  • 3 篇 perez gilberto
  • 3 篇 riguzzi fabrizio
  • 3 篇 penaloza rafael
  • 3 篇 formisano andrea
  • 3 篇 aguado felicidad
  • 3 篇 russo alessandra
  • 3 篇 ielo antonio

语言

  • 282 篇 英文
检索条件"任意字段=17th International Conference on Logic Programming and Non-monotonic Reasoning"
282 条 记 录,以下是11-20 订阅
排序:
An ILASP-Based Approach to Repair Petri Nets  17th
An ILASP-Based Approach to Repair Petri Nets
收藏 引用
17th international conference on logic programming and non-monotonic reasoning
作者: Chiariello, Francesco Ielo, Antonio Tarzariol, Alice Univ Toulouse IRIT ANITI Toulouse France Univ Calabria Arcavacata Di Rende Italy Univ Klagenfurt Klagenfurt Austria
Petri nets are a class of models of computation used to compactly represent discrete event systems. Among many application domains, they have now become the most prominent formalism to express process models in Proces... 详细信息
来源: 评论
Semantic-Based Arguments Using logic programming Rewriting Systems  17th
Semantic-Based Arguments Using Logic Programming Rewriting S...
收藏 引用
17th international conference on logic programming and non-monotonic reasoning
作者: Guerrero, Esteban Nieves, Juan Carlos Umea Univ Dept Comp Sci Umea Sweden
Traditionally, in the argumentation theory literature structured arguments are constructed from rules interpretations aiming to build well-supported deductive evidence. Different from other approaches, we emphasize th... 详细信息
来源: 评论
Consequence Operators of Characterization logics - the Case of Abstract Argumentation  17th
Consequence Operators of Characterization Logics - The Case ...
收藏 引用
17th international conference on logic programming and non-monotonic reasoning
作者: Baurnann, Ringo Strass, Hannes Univ Leipzig Leipzig Germany Ctr Scalable Data Analyt & Artificial Intelligenc Dresden Germany Tech Univ Dresden Dresden Germany
the analysis of properties of consequence operators has been a very active field in the formative years of non-monotonic reasoning. One possible approach to do this is to start with a model-theoretic semantics and the... 详细信息
来源: 评论
A Fixpoint Characterisation of Temporal Equilibrium logic  17th
A Fixpoint Characterisation of Temporal Equilibrium Logic
收藏 引用
17th international conference on logic programming and non-monotonic reasoning
作者: Cabalar, Pedro Dieguez, Martin Laferrriere, Francois Schaub, Torsten Stephan, Igor Univ A Coruna La Coruna Spain Univ Angers LERIA Angers France Univ Potsdam Potsdam Germany
Connections of intuitionistic and intermediate logics with logic programming have been extensively studied in the literature. Among the different results in the literature we find equilibrium logic (Pearce, 1996) and ... 详细信息
来源: 评论
Compiling Metric Temporal Answer Set programming  17th
Compiling Metric Temporal Answer Set Programming
收藏 引用
17th international conference on logic programming and non-monotonic reasoning
作者: Becker, A. Cabalar, P. Dieguez, M. Hahn, S. Romero, J. Schaub, T. Univ A Coruna La Coruna Spain Univ Angers LERIA Angers France Univ Potsdam Potsdam Germany
We develop a computational approach to Metric Answer Set programming (ASP) to allow for expressing quantitative temporal constrains, like durations and deadlines. A central challenge is to maintain scalability when de...
来源: 评论
Monitoring and Scheduling of Semiconductor Failure Analysis Labs  17th
Monitoring and Scheduling of Semiconductor Failure Analysis ...
收藏 引用
17th international conference on logic programming and non-monotonic reasoning
作者: Mastria, Elena Pagliaro, Domenico Calimeri, Francesco Perri, Simona Pleschberger, Martin Schekotihin, Konstantin KAI GmbH Villach Austria Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy Univ Klagenfurt Dept AI & Cybersecur Klagenfurt Austria
Finding non-conformities, such as physical failures causing electrical malfunctioning of a device, in modern semiconductor devices is challenging. Highly qualified employees in a failure analysis (FA) lab typically us... 详细信息
来源: 评论
A Simulation for Supply Chains Contract Execution  17th
A Simulation for Supply Chains Contract Execution
收藏 引用
17th international conference on logic programming and non-monotonic reasoning
作者: Tran, Long Son, Tran Cao Flynn, Dylan Balduccini, Marcello New Mexico State Univ Las Cruces NM 88003 USA St Josephs Univ Philadelphia PA 19131 USA
Supply chains exhibit complex dynamics and intricate dependencies among their components, whose understanding is crucial for addressing the challenges highlighted by recent global disruptions. this paper presents a no... 详细信息
来源: 评论
Using Learning from Answer Sets for Robust Question Answering with LLM  17th
Using Learning from Answer Sets for Robust Question Answerin...
收藏 引用
17th international conference on logic programming and non-monotonic reasoning
作者: Kareem, Irfan Gallagher, Katie Borroto, Manuel Ricca, Francesco Russo, Alessandra Univ Calabria Dept Math & Comp Sci Cosenza Italy Univ Chicago Chicago IL 60637 USA Imperial Coll London Dept Comp London England
Large Language Models (LLMs) lack the ability for commonsense reasoning and learning from text. In this work, we present a system, called LLM2LAS, for learning commonsense knowledge from story-based question and answe... 详细信息
来源: 评论
Towards Explainable Weather Forecasting through FastLAS  17th
Towards Explainable Weather Forecasting Through FastLAS
收藏 引用
17th international conference on logic programming and non-monotonic reasoning
作者: Dreossi, Talissa Dovier, Agostino Formisano, Andrea Law, Mark Manzato, Agostino Russo, Alessandra Tait, Matthew Univ Udine Udine Italy ILASP Ltd London England ARPA FVG OSMER Udine Italy Imperial Coll London London England
Weather forecasting is important for saving lives, protecting property, and supporting economic activities. It provides timely warnings for severe weather, improves agricultural planning, and aids in disaster manageme... 详细信息
来源: 评论
ASP-Based Large Neighborhood Prioritized Search for Course Timetabling  17th
ASP-Based Large Neighborhood Prioritized Search for Course T...
收藏 引用
17th international conference on logic programming and non-monotonic reasoning
作者: Sugimori, Irumi Inoue, Katsumi Nabeshima, Hidetomo Schaub, Torsten Soh, Takehide Tamura, Naoyuki Banbara, Mutsunori Nagoya Univ Nagoya Aichi Japan Natl Inst Informat Tokyo Japan Univ Yamanashi Kofu Yamanashi Japan Univ Potsdam Potsdam Germany Kobe Univ Kobe Hyogo Japan
We develop an approach to solve curriculum-based course timetabling (CB-CTT) problems with Large Neighborhood Prioritized Search (LNPS) based on Answer Set programming (ASP). LNPS is a metaheuristic that starts with a... 详细信息
来源: 评论