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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

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 条记录，以下是1-10 订阅

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

详细简洁

排序：

17th international conference on logic programming and non-monotonic reasoning, LPNMR 2024

17th International Conference on Logic Programming and Non-m...

引用

17th international conference on logic programming and non-monotonic reasoning, LPNMR 2024

ISBN: (纸本)9783031742088

the proceedings contain 30 papers. the special focus in this conference is on logic programming and non-monotonic reasoning. the topics include: A Sequent Calculus for Generalized Inductive Definitions;tExplain: Information Extraction with Explanations;ASP-Based Large Neighborhood Prioritized Search for Course Timetabling;towards Industrial-Scale Product Configuration;An ILASP-Based Approach to Repair Petri Nets;abstract Dialectical Frameworks are Boolean Networks;Using Learning from Answer Sets for Robust Question Answering with LLM;Multi-paradigm logic programming in the ErgoAI System;An ASP-Based Approach to Water Distribution System Reconstruction;consequence Operators of Characterization logics – the Case of Abstract Argumentation;Efficiently Grounding FOL Using Bit Vectors;Integrating MiniZinc with ASP Chef: Browser-Based Constraint programming for Education and Prototyping;answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets;Towards Mass Spectrum Analysis with ASP;monitoring and Scheduling of Semiconductor Failure Analysis Labs;a Semantical Approach to Abstraction in Answer Set programming and Assumption-Based Argumentation;on Forgetting in Assumption-Based Argumentation;Towards Explainable Weather Forecasting through FastLAS;semantic-Based Arguments Using logic programming Rewriting Systems;modelling Dialogues in a Concurrent Language for Argumentation;a Fixpoint Characterisation of Temporal Equilibrium logic;a Category-theoretic Perspective on Higher-Order Approximation Fixpoint theory;a Simulation for Supply Chains Contract Execution;reasoning and Explanation Generation in Ad Hoc Collaboration Between Humans and Embodied AI;policies, Penalties, and Autonomous Agents;LTLf2ASP: LTLf Bounded Satisfiability in ASP;Integrating Structured Declarative Language (SDL) into ASP Chef;a Generalisation of Epistemic Splitting Property.

关键词：

来源：评论

学校读者我要写书评

暂无评论

logic for programming, Artificial Intelligence, and reasoning - 17th international conference, LPAR-17, Proceedings

Logic for Programming, Artificial Intelligence, and Reasonin...

引用

17th international conference on logic for programming, Artificial Intelligence, and reasoning, LPAR-17

ISBN: (纸本)364216241X

the proceedings contain 45 papers. the topics discussed include: the complexity of partial-observation parity games;awareness in games, awareness in logic;human and unhuman commonsense reasoning;tableau calculus for the logic of comparative similarity over arbitrary distance spaces;extended computation tree logic;using causal relationships to deal with the ramification problem in action formalisms based on description logics;generating counterexamples for structural inductions by exploiting nonstandard models;characterizing space complexity classes via Knuth-Bendix orders;how to universally close the existential rule;magically constraining the inverse method using dynamic polarity assignment;lazy abstraction for size-change termination;a syntactical approach to qualitative constraint networks merging;on the satisfiability of two-variable logic over data words;and generic methods for formalizing sequent calculi applied to provability logic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

HYDRA-RCRA 2022 - Joint Proceedings of the 1st international Workshop on HYbrid Models for Coupling Deductive and Inductive reasoning and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, co-located with the 16th international conference on logic programming and non-monotonic reasoning, LPNMR 2022

HYDRA-RCRA 2022 - Joint Proceedings of the 1st International...

引用

1st international Workshop on HYbrid Models for Coupling Deductive and Inductive reasoning and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, HYDRA-RCRA 2022

the proceedings contain 7 papers. the topics discussed include: care robots learning rules of ethical behavior under the supervision of an ethical teacher;a parallelization approach for hybrid-AI-based models: an application study for semantic segmentation of medical images;towards inductive learning of domain-specific heuristics for ASP;mining sequences in phone recordings with answer set programming;estimation-based verification of cyber-physical systems via statistical model checking;explainability via short formulas: the case of propositional logic with implementation;and evaluating epistemic logic programs via answer set programming with quantifiers.

关键词：

来源：评论

学校读者我要写书评

暂无评论

17th international conference on logic for programming, Artificial Intelligence, and reasoning, LPAR 2010

17th International Conference on Logic for Programming, Arti...

引用

17th international conference on logic for programming, Artificial Intelligence, and reasoning, LPAR 2010

ISBN: (纸本)9783642162411

the proceedings contain 45 papers. the special focus in this conference is on logic for programming, Artificial Intelligence, and reasoning. the topics include: Characterising space complexity classes via Knuth-Bendix orders;focused natural deduction;how to universally close the existential rule;on the Complexity of the Bernays-Schönfinkel Class with Datalog;magically constraining the inverse method using dynamic polarity assignment;lazy abstraction for size-change termination;a syntactical approach to qualitative constraint networks merging;on the satisfiability of two-variable logic over data words;generic methods for formalising sequent calculi applied to provability logic;awareness in games, awareness in logic;characterising probabilistic processes logically: (Extended abstract);fCube: An efficient prover for Intuitionistic propositional logic;superposition-Based Analysis of First-Order Probabilistic Timed Automata;A nonmonotonic extension of KLM Preferential logic P;on strong normalization of the Calculus of Constructions with type-based termination;aligators for arrays (tool paper);Clause elimination procedures for CNF formulas;Partitioning SAT instances for distributed solving;infinite families of finite string rewriting systems and their confluence;polite theories revisited;human and unhuman commonsense reasoning;clausal graph tableaux for hybrid logic with eventualities and difference;the consistency of the CADIAG-2 knowledge base: A probabilistic approach;on the Complexity of Model Expansion;labelled Unit Superposition Calculi for Instantiation-Based reasoning;Boosting local search thanks to CDCL;interpolating quantifier-free Presburger Arithmetic;variable compression in ProbLog;Improving resource-unaware SAT solvers;expansion nets: Proof-nets for propositional classical logic;revisiting matrix interpretations for polynomial derivational complexity of term rewriting;Gödel logics – A SURVEY;bottom-up tree automata with term constraints.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

reasoning and Explanation Generation in Ad Hoc Collaboration Between Humans and Embodied AI 17th

Reasoning and Explanation Generation in Ad Hoc Collaboration...

引用

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

作者： Dodampegama, Hasra Sridharan, Mohan Univ Edinburgh Sch Informat Inst Percept Act & Behav Edinburgh Midlothian Scotland

ISBN: (纸本)9783031742088;9783031742095

An assistive embodied AI agent often has to collaborate with previously unseen humans. State of the art frameworks for such ad hoc teamwork use a large labeled dataset of prior observations to model the behavior of other agents and to determine the ad hoc (i.e., embodied AI) agent's behavior. these approaches do not support rapid incremental revisions or transparency, and the necessary resources (e.g., training examples, computation) are not readily available in practical domains. Our previous work introduced an architecture that enabled an ad hoc agent to choose its actions in simple simulated domains based on non-monotonic logical reasoning with prior domain knowledge and models learned from limited examples to predict the behavior of other agents. Here, we extend this architecture to enable an ad hoc embodied AI agent to collaborate with a human performing household tasks in a complex indoor environment, focusing on the ad hoc agent's ability to identify and reason with relevant knowledge, and provide relational descriptions as explanations of its behavior and that of the human. We evaluate our architecture's capabilities in VirtualHome, a realistic 3D simulation environment.

关键词： Ad hoc teamwork non-monotonic logical reasoning Ecological rationality Explanation generation Embodied AI

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：