检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

105 篇 会议
7 篇 期刊文献
6 册 图书

馆藏范围

118 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

107 篇 工学
- 107 篇 计算机科学与技术...
- 78 篇 软件工程
- 2 篇 信息与通信工程
- 2 篇 控制科学与工程
- 1 篇 电气工程
- 1 篇 化学工程与技术
- 1 篇 农业工程
- 1 篇 环境科学与工程（可...
- 1 篇 食品科学与工程（可...
10 篇 理学
- 8 篇 数学
- 1 篇 化学
- 1 篇 生物学
- 1 篇 系统科学
2 篇 管理学
- 2 篇 管理科学与工程(可...
- 1 篇 工商管理
1 篇 农学
- 1 篇 作物学

主题

44 篇 logic programmin...
16 篇 answer set progr...
7 篇 semantics
5 篇 nonmonotonic rea...
5 篇 knowledge repres...
4 篇 artificial intel...
3 篇 belief revision
3 篇 computer circuit...
3 篇 answer-set progr...
3 篇 programming tech...
3 篇 constraint progr...
3 篇 logics and meani...
2 篇 model checking
2 篇 software enginee...
2 篇 constraint satis...
2 篇 planning
2 篇 prime implicants
2 篇 database updates
2 篇 circumscription
2 篇 mathematical log...

机构

5 篇 univ potsdam pot...
5 篇 inria rennes ren...
5 篇 university of po...
4 篇 vienna univ tech...
3 篇 univ genoa dibri...
3 篇 univ calabria de...
3 篇 aalto university...
2 篇 univ nova lisboa...
2 篇 univ calif river...
2 篇 univ a coruna la...
2 篇 tu wien austria
2 篇 imperial coll lo...
2 篇 alpen-adria-univ...
2 篇 calif state poly...
2 篇 univ kentucky de...
2 篇 suny stony brook...
2 篇 univ angers leri...
2 篇 siemens ag öster...
2 篇 univ calabria ar...
2 篇 univ texas dept ...

作者

10 篇 schaub torsten
8 篇 gebser martin
8 篇 ricca francesco
6 篇 alviano mario
4 篇 maratea marco
4 篇 inoue katsumi
3 篇 soh takehide
3 篇 banbara mutsunor...
3 篇 pereira lm
3 篇 eiter thomas
3 篇 leite joao
3 篇 calimeri frances...
3 篇 ielo antonio
3 篇 swift t
3 篇 lifschitz v
3 篇 cabalar pedro
3 篇 tamura naoyuki
3 篇 dodaro carmine
2 篇 bomanson jori
2 篇 krennwallner tho...

语言

116 篇 英文
2 篇 中文

检索条件"任意字段=5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999"

共 118 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

5th international conference on logic programming and nonmonotonic reasoning, lpnmr 1999

引用

5th international conference on logic programming and nonmonotonic reasoning, lpnmr 1999

ISBN: (纸本)3540667490

the proceedings contain 30 papers. the special focus in this conference is on logic programming and nonmonotonic reasoning. the topics include: Fixed parameter complexity in AI and nonmonotonic reasoning;classifying semi-normal default logic on the basis of its expressive power;locally determined logic programs;annotated revision programs;belief, knowledge, revisions, and a semantics of non-monotonic reasoning;an argumentation framework for reasoning about actions and changes;representing transition systems by logic programs;transformations of logic programs related to causality and planning;from causal theories to logic programs;monotone expansion of updates in logical databases;updating extended logic programs through abduction;pushing goal derivation in DLP computations;linear tabulated resolution for well founded semantics;minimal founded semantics for disjunctive logic programming;on the role of negation in choice logic programs;approximating reiter’s default logic;coherent well-founded annotated logic programs;many-valued disjunctive logic programs with probabilistic semantics;extending disjunctive logic programming by T-norms;extending the stable model semantics with more expressive rules;stable model semantics for weight constraint rules;towards first-order nonmonotonic reasoning;comparison of sceptical NAF-free logic programming approaches;characterizations of classes of programs by three-valued operators;using lpnmr for problem specification and code generation;answer set planning;world-modeling vs. world-axiomatizing and extended inheritance techniques to solve real-world problems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Datalog-2.0 2024 - Proceedings 5th international Workshop on the Resurgence of Datalog in Academia and Industry, co-located with the 17th international conference on logic programming and nonmonotonic reasoning, lpnmr 2024

Datalog-2.0 2024 - Proceedings 5th International Workshop on...

引用

5th international Workshop on the Resurgence of Datalog in Academia and Industry, Datalog-2.0 2024

the proceedings contain 8 papers. the topics discussed include: explaining answers to datalog queries;DatalogMTL: datalog with metric temporal logic operators;incremental evaluation of dynamic datalog programs as a higher-order DBSP program;a tool for reasoning over CNL sentences with temporal constructs;experiencing hypothetical datalog in SQL puzzles;LLM-based DatalogMTL modelling of MiCAR-compliant crypto-assets markets;an exploration of datalog applications to language documentation and reclamation;and Nemo: a scalable and versatile datalog engine.

关键词：

来源：评论

学校读者我要写书评

暂无评论

logic programming and nonmonotonic reasoning: 13th international conference, lpnmr 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings 1

引用

丛书名： Lecture Notes in Computer Science 9345

2015年

作者： Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski (eds.)

ISBN: (数字)9783319232645

ISBN: (纸本)9783319232638;9783319232645

this volume contains the refereed proceedings of the 13th international conference on logic programming and nonmonotonic reasoning, lpnmr 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set programming competition, and four papers presented by lpnmr student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. lpnmr is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. the aim of the lpnmr conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Deductive Systems for logic Programs with Counting: Preliminary Report 17th

Deductive Systems for Logic Programs with Counting: Prelimin...

引用

17th international conference on logic programming and Non-monotonic reasoning

作者： Fandinno, Jorge Lifschitz, Vladimir Univ Nebraska Omaha Omaha NE 68182 USA Univ Texas Austin Austin TX 78712 USA

ISBN: (纸本)9783031742088;9783031742095

In answer set programming, two groups of rules are considered strongly equivalent if they have the same meaning in any context. Strong equivalence of two programs can be sometimes established by deriving rules of each program from rules of the other in an appropriate deductive system. this paper shows how to extend this method of proving strong equivalence to programs containing the counting aggregate.

关键词： Answer Set programming Strong Equivalence Deductive Systems Aggregates

来源：评论

学校读者我要写书评

暂无评论

Multi-paradigm logic programming in the ErgoAI System 17th

Multi-paradigm Logic Programming in the ErgoAI System

引用

17th international conference on logic programming and Non-monotonic reasoning

作者： Swift, theresa Kifer, Michael Coherent Knowledge Mercer Isl WA 98040 USA SUNY Stony Brook Stony Brook NY USA

ISBN: (纸本)9783031742088;9783031742095

ErgoAI (abbr. Ergo) is a high level, multi-paradigm logic programming language and system developed by Coherent Knowledge Systems as an enhancement of and a successor to the popular Flora-2 system. Ergo is oriented towards scalable knowledge representation and reasoning, and can exploit both structured knowledge as well as knowledge derived from external sources such as vector embeddings. From the start, Ergo (and Flora-2 before it) were designed to exploit the well-founded semantics for reasoning in a multi-paradigm environment, including object-based logic (F-logic) with non-monotonic inheritance;higher order syntax in the style of HiLog;defeasibility of rules;semantically clean transactional updates;and extensive use of subgoal delay for better logical behavior and performance. Although Ergo programs are compiled into XSB and adopt many Prolog features, Ergo is altogether a different language with functionality equivalent to major Prologs.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A Generalisation of Epistemic Splitting Property 17th

A Generalisation of Epistemic Splitting Property

引用

17th international conference on logic programming and Non-monotonic reasoning

作者： Su, Ezgi Iraz Sinop Univ Dept Comp Engn Sinop Turkiye Univ Milano Bicocca Milan Italy

ISBN: (纸本)9783031742088;9783031742095

Answer-set programming (ASP) is a declarative logic programming paradigm that provides an efficient problem-solving approach in logic-based artificial intelligence (AI). While it has proven successful, ASP encounters specific situations where its language falls short of accurately representing and reasoning about incomplete information. Researchers now widely agree that ASP requires powerful introspective reasoning with the use of epistemic modal operators;yet, despite long-lasting debates on how to extend ASP with such operators, they cannot reach a consensus on satisfactory semantics. Cabalar et al. argue that such research should be grounded in formal robustness. thus, inspired by ASP's foundational properties, they introduce a structural principle called epistemic splitting and designate it as one of the compulsory criteria for epistemic ASP. this paper generalises their approach to a more comprehensive, meticulous, and conservative extension of ASP-splitting, thereby enhancing its applicability and efficiency.

关键词： Answer-set programming Equilibrium logic Epistemic logic programs Epistemic splitting property Subjective constraint monotonicity

来源：评论

学校读者我要写书评

暂无评论

A Semantical Approach to Abstraction in Answer Set programming and Assumption-Based Argumentation 17th

A Semantical Approach to Abstraction in Answer Set Programmi...

引用

17th international conference on logic programming and Non-monotonic reasoning

作者： Apostolakis, Iosif Saribatur, Zeynep G. Wallner, Johannes P. Graz Univ Technol Graz Austria TU Wien Vienna Austria

ISBN: (纸本)9783031742088;9783031742095

Recently forms of abstraction have been proposed for both logic programs (LPs) under the answer set semantics (ASP) and for the related formalism of assumption-based argumentation (ABA), e.g., via clustering of atoms or assumptions, in order to simplify a given LP or ABA framework. In both approaches after clustering the original answer sets and assumption sets are over-approximated, with the aim of avoiding spuriousness. In contrast, in ASP a given LP is syntactically modified to achieve over-approximation, while on ABA the framework is minimally modified and the semantics is abstracted. In this work we follow the latter approach and provide a novel semantical abstraction for LPs and for ABA frameworks corresponding to LPs.

关键词： Latent semantic analysis

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9783031742088;9783031742095

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 Process Mining, thanks to their formal semantics that enables automated analysis techniques. In this context, model repair is the task of aligning a process model with actual executions of the process. Current solutions to model repair do not allow for embedding domain knowledge, providing guarantees of rigor, and enforcing structural requirements at the same time. In this paper, we fill this gap by proposing an approach based on the Inductive logic programming system ILASP. We then implement our approach and perform an experimental evaluation, showing both its expressiveness and feasibility.

关键词： Petri nets Process Mining Model Repair Answer Set programming Inductive logic programming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9783031742088;9783031742095

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 the role of investigating general frameworks that can also provide a consistent and well-defined justification for a conclusion that cannot be inferred and there is certainty about it, which we call here NAF-arguments, which have been less explored in the formal argumentation theory, despite its potential use in practical applications for building nuanced well-structured explanations and justifications. this article introduces the so-called semantic argumentation guaranteeing well-known principles for quality in structured argumentation, and with the ability to generate two types of arguments, those where the conclusion atoms are semantically interpreted as true, and those where the conclusion is assumed to be false, we call them here semantic and NAF-arguments respectively. this framework is defined on the set of all logic programs in terms of rewriting systems based on a confluent set of transformation rules, the so-called Confluent logic programming Systems, making this approach a general framework. Additionally, we introduce a method for building such arguments using the program's strata through partial interpretations. We implement our framework named semantic argumentation solver available open source.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9783031742088;9783031742095

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 Safe beliefs (Osorio et al., 2005). Pearce's approach admits a characterisation in terms of a fixpoint (consequence) operator on the here-and-there intermediate logic (Heyting, 1930), which is similar to the notion of theory completion in default and autoepistemic logics. Osorio's safe beliefs are also given in terms of a fixpoint operator under intuitionistic logic semantics. In this latter case, intuitionistic logic can be replaced by any intermediate logic without altering the result. In this paper we consider temporal equilibrium logic, an combination of equilibrium logic and linear-time temporal logic. In this context we extend Pearce's and Osorio's approach to temporal case and we discuss the relation of intuitionistic temporal logic and temporal logic programming.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共12页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：