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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

217 篇 会议
16 册 图书
7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

180 篇 工学
- 167 篇 计算机科学与技术...
- 85 篇 软件工程
- 23 篇 电气工程
- 13 篇 控制科学与工程
- 8 篇 信息与通信工程
- 7 篇 机械工程
- 5 篇 建筑学
- 2 篇 安全科学与工程
- 1 篇 力学（可授工学、理...
- 1 篇 仪器科学与技术
- 1 篇 材料科学与工程（可...
- 1 篇 动力工程及工程热...
- 1 篇 电子科学与技术（可...
- 1 篇 土木工程
- 1 篇 水利工程
- 1 篇 测绘科学与技术
- 1 篇 交通运输工程
- 1 篇 环境科学与工程（可...
37 篇 理学
- 30 篇 数学
- 6 篇 系统科学
- 3 篇 统计学（可授理学、...
- 1 篇 化学
- 1 篇 生物学
13 篇 管理学
- 11 篇 管理科学与工程(可...
- 3 篇 图书情报与档案管...
5 篇 教育学
- 5 篇 教育学
3 篇 艺术学
- 3 篇 设计学（可授艺术学...
2 篇 法学
- 1 篇 法学
- 1 篇 社会学
1 篇 哲学
- 1 篇 哲学

主题

52 篇 logic programmin...
13 篇 mathematical log...
11 篇 logics and meani...
10 篇 artificial intel...
8 篇 semantics
8 篇 programming lang...
7 篇 computer circuit...
7 篇 formal logic
7 篇 software enginee...
5 篇 programming
5 篇 logic gates
5 篇 optimization
5 篇 programming tech...
5 篇 temporal logic
4 篇 data mining
4 篇 algorithm analys...
4 篇 inductive logic ...
4 篇 knowledge repres...
3 篇 object oriented ...
3 篇 fuzzy logic

机构

3 篇 new mexico state...
2 篇 tech univ munich...
2 篇 eth dept comp sc...
2 篇 institute of log...
2 篇 katholieke univ ...
2 篇 univ massachuset...
2 篇 vienna univ tech...
2 篇 imdea software i...
2 篇 michigan state u...
2 篇 univ hawaii dept...
2 篇 suny stony brook...
2 篇 hong kong univ s...
2 篇 univ texas dept ...
2 篇 temple univ dept...
1 篇 sd and m ag d-40...
1 篇 univ calabria de...
1 篇 escola politécni...
1 篇 univ massachuset...
1 篇 laboratoire pps ...
1 篇 new mexico state...

作者

4 篇 eiter thomas
3 篇 pontelli e
3 篇 sakama chiaki
3 篇 woltran stefan
3 篇 denecker marc
3 篇 inoue katsumi
3 篇 tompits hans
2 篇 giovannetti tani...
2 篇 leone nicola
2 篇 avrunin gs
2 篇 yamaguchi takehi...
2 篇 mehta f
2 篇 fink m
2 篇 martono niken pr...
2 篇 eiter t
2 篇 serebrenik a
2 篇 sciavicco guido
2 篇 ohwada hayato
2 篇 oetsch johannes
2 篇 faber wolfgang

语言

235 篇 英文
3 篇 中文
2 篇 其他

检索条件"任意字段=19th International Conference on Inductive Logic Programming"

共 240 条记录，以下是181-190 订阅

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

详细简洁

排序：

19th international conference of the Italian Association for Artificial Intelligence, AIxIA 2020

19th International Conference of the Italian Association for...

引用

19th international conference of the Italian Association for Artiﬁcial Intelligence, AIxIA 2020

ISBN: (纸本)9783030770907

the proceedings contain 27 papers. the special focus in this conference is on Italian Association for Artificial Intelligence. the topics include: Preface;exploring Contextual Importance and Utility in Explaining Affect Detection;towards an Implementation of a Concurrent Language for Argumentation;a Fault-Tolerant Automated Flight Path Planning System for an Ultralight Aircraft;In Defence of Design Patterns for AI Planning Knowledge Models;solving Operating Room Scheduling Problems with Surgical Teams via Answer Set programming;optimal Control of Point-to-Point Navigation in Turbulent Time Dependent Flows Using Reinforcement Learning;brain-Driven Telepresence Robots: A Fusion of User’s Commands with Robot’s Intelligence;knowledge-Driven Conversation for Social Robots: Exploring Crowdsourcing Mechanisms for Improving the System Capabilities;grounding Dialogue History: Strengths and Weaknesses of Pre-trained Transformers;breaking Down High-Level Robot Path-Finding Abstractions in Natural Language programming;Interleaving Levels of Consistency Enforcement for Singleton Arc Consistency in CSPs, with a New Best (N)SAC Algorithm;Explainable and Ethical AI: A Perspective on Argumentation and logic programming;Improving the Efficiency of Euclidean TSP Solving in Constraint programming by Predicting Effective Nocrossing Constraints;from Contrastive to Abductive Explanations and Back Again;towards Positive Artificial Intelligence;management at the Edge of Situation Awareness During Patient Telemonitoring;a Community-Based Activity Center to Promote Social Engagement and Counteract Decline of Elders Living Independently;Age-Related Walkability Assessment: A Preliminary Study Based on the EMG;it’s the End of the Gold Standard as We Know It: Leveraging Non-aggregated Data for Better Evaluation and Explanation of Subjective Tasks;shared Intelligence for User-Supervised Robots: From User’s Commands to Robot’s Actions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

19th international conference on Artificial Intelligence in Education, AIED 2018

19th International Conference on Artificial Intelligence in ...

引用

19th international conference on Artificial Intelligence in Education, AIED 2018

ISBN: (纸本)9783319938424

the proceedings contain 146 papers. the special focus in this conference is on Artificial Intelligence in Education. the topics include: Sequence based course recommender for personalized curriculum planning;Towards improving introductory computer programming with an ITS for conceptual learning;investigation of the influence of hint type on problem solving behavior in a logic proof tutor;modeling math success using cohesion network analysis;amplifying teachers intelligence in the design of gamified intelligent tutoring systems;where is the Nurse? Towards automatically visualising meaningful team movement in healthcare education;exploring gritty students’ behavior in an intelligent tutoring system;characterizing students based on their participation in the class;adaptive learning goes to China;ontology development for competence assessment in virtual communities of practice;how gamification impacts on vocational training students;ROBIN: Using a programmable robot to provide feedback and encouragement on programming tasks;classifying educational questions based on the expected characteristics of answers;on the learning curve attrition bias in additive factor modeling;the impact of affect-aware support on learning tasks that differ in their cognitive demands;mitigating knowledge decay from instruction with voluntary use of an adaptive learning system;Computational thinking through game creation in STEM classrooms;behavioral explanation versus structural explanation in learning by model-building;Temporal changes in affiliation and emotion in MOOC discussion forum discourse;investigating influence of demographic factors on study recommenders;A design-based approach to a classroom-centered OELE;on the value of answerers in early detection of response time to questions for peer recommender systems;conversational support for education.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Peer reviewing in participatory guarantee systems: Modelisation and algorithmic aspects 19

Peer reviewing in participatory guarantee systems: Modelisat...

引用

19th international conference on Autonomous Agents and Multiagent Systems, AAMAS 2020

作者： Barrot, Nathanaël Lemeilleur, Sylvaine Paget, Nicolas Saffidine, Abdallah RIKEN AIP Kyushu University Fukuoka Japan CIRAD Montpellier France University of New South Wales Sydney Australia

ISBN: (纸本)9781450375184

the term Participatory Guarantee Systems (PGS) refers to quality certification systems based on the active participation of stakeholders, i.e., producers, consumers, and experts. Unlike to the more common third Party Certification system, quality standards are guaranteed by peer review: visits of production sites by producers themselves. A critical issue in PGS is the assignment of the peers carrying each review visit, in a way that incentivizes participation. this paper explores algorithmic aspects of this peer assignment, so as to better address challenges faced by PGS. First, we propose a mathematical model of this task that can express diverse local PGS situations, as well as possible extensions. then, we show that this model leads to computationally challenging problems and identify restrictions that are easy to handle. Finally, we develop an encoding of the model in Answer Set programming and use it to solve realistic scenarios of PGS. © 2020 international Foundation for Autonomous.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Bounded model checking for propositional projection temporal logic

Bounded model checking for propositional projection temporal...

引用

19th international Computing and Combinatorics conference, COCOON 2013

作者： Duan, Zhenhua Tian, Cong Yang, Mengfei He, Jia ICTT and ISN Lab Xidian University Xi'an 710071 China China Academy of Space Technology Beijing 100094 China

ISBN: (纸本)9783642387678

this paper presents a bounded model checking approach for propositional projection temporal logic (PPTL). To this end, first PPTL is briefly introduced. then, bounded semantics of PPTL is defined according to its semantics in logic theory. Further, a reduction method from BMC to SAT is given in detail. In addition, an example is presented to illustrate how the approach works. Our experience shows that BMC approach for PPTL proposed in the paper is useful and feasible. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

19th international conference on Artificial Intelligence in Education, AIED 2018

19th International Conference on Artificial Intelligence in ...

引用

19th international conference on Artificial Intelligence in Education, AIED 2018

ISBN: (纸本)9783319938455

the proceedings contain 111 papers. the special focus in this conference is on Artificial Intelligence in Education. the topics include: Sequence based course recommender for personalized curriculum planning;Towards improving introductory computer programming with an ITS for conceptual learning;investigation of the influence of hint type on problem solving behavior in a logic proof tutor;modeling math success using cohesion network analysis;amplifying teachers intelligence in the design of gamified intelligent tutoring systems;where is the Nurse? Towards automatically visualising meaningful team movement in healthcare education;exploring gritty students’ behavior in an intelligent tutoring system;characterizing students based on their participation in the class;adaptive learning goes to China;ontology development for competence assessment in virtual communities of practice;how gamification impacts on vocational training students;ROBIN: Using a programmable robot to provide feedback and encouragement on programming tasks;classifying educational questions based on the expected characteristics of answers;on the learning curve attrition bias in additive factor modeling;the impact of affect-aware support on learning tasks that differ in their cognitive demands;mitigating knowledge decay from instruction with voluntary use of an adaptive learning system;Computational thinking through game creation in STEM classrooms;behavioral explanation versus structural explanation in learning by model-building;Temporal changes in affiliation and emotion in MOOC discussion forum discourse;investigating influence of demographic factors on study recommenders;A design-based approach to a classroom-centered OELE;on the value of answerers in early detection of response time to questions for peer recommender systems;conversational support for education.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Source-tracking unification 19th

引用

19th international conference on Automated Deduction, CADE 2003

作者： Choppella, Venkatesh Haynes, Christopher T. Computer Science Department Indiana University BloomingtonIN47405 United States

ISBN: (纸本)3540405593

We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugging unification-based systems, including the diagnosis of ill-typed programs and the generation of success and failure proofs in logic programming. the objects of source-tracking are deductions in the logic of unification. the semantics of deductions are paths over a unification graph whose labels form the language of suffixes of a semi-Dyck set. Based on this framework, two algorithms for generating proofs are presented: the first uses context-free shortest-path algorithms to generate optimal (shortest) proofs in time O(n3), where n is the number of vertices of the unification graph. the second algorithm integrates easily with standard unification algorithms, entailing an overhead of only a constant factor, but generates non-optimal proofs. these non-optimal proofs may be further simplified by group rewrite rules. © Springer-Verlag Berlin Heidelberg 2003.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Interactive web course for teaching system programming 19

Interactive web course for teaching system programming

引用

19th IEEE international conference on Emerging eLearning Technologies and Applications, ICETA 2021

作者： Solanik, Michal Bilanova, Zuzana Gecaseka, Daniel Genci, Jan Novak, Dominik Technical University of Košice Faculty of Electrical Engineering and Informatics Department of Computers and Informatics Letná 9 Košice042 00 Slovakia

ISBN: (纸本)9781665421027

the article is devoted to the design and implementation of modern interactive courses in the form of a web interface. In the introduction, we justified the need to modernize teaching methods in university subjects aimed at acquiring and deepening programming skills. We briefly described the nature of the course for which the presented web interface is created, to justify some specific elements of the future design. We also analyzed various existing courses of a similar nature, freely available on the internet, for the created web application to meet current standards and meet the needs of students as much as possible. After identifying the key features and teaching methods applied in the analyzed courses, we designed and implemented an original solution. We verified its adequacy and usability through an extensive sample of students in the subject. At the end of the article, we evaluated the benefits of the solution not only for the course for which it was designed but also in terms of its potential to be an inspiration for other teachers seeking to innovate traditional teaching methods. © 2021 IEEE.

关键词： Teaching

来源：评论

学校读者我要写书评

暂无评论

Exploring the Responses of Large Language Models to Beginner Programmers' Help Requests 23

Exploring the Responses of Large Language Models to Beginner...

引用

19th Annual ACM conference on international Computing Education Research V.1 (ICER)

作者： Hellas, Arto Leinonen, Juho Sarsa, Sami Koutcheme, Charles Kujanpaa, Lilja Sorva, Juha Aalto Univ Espoo Finland Univ Auckland Auckland New Zealand

ISBN: (纸本)9781450399760

Background and Context: Over the past year, large language models (LLMs) have taken the world by storm. In computing education, like in other walks of life, many opportunities and threats have emerged as a consequence. Objectives: In this article, we explore such opportunities and threats in a specific area: responding to student programmers' help requests. More specifically, we assess how good LLMs are at identifying issues in problematic code that students request help on. Method: We collected a sample of help requests and code from an online programming course. We then prompted two different LLMs (OpenAI Codex and GPT-3.5) to identify and explain the issues in the students' code and assessed the LLM-generated answers both quantitatively and qualitatively. Findings: GPT-3.5 outperforms Codex in most respects. Both LLMs frequently find at least one actual issue in each student program (GPT-3.5 in 90% of the cases). Neither LLM excels at finding all the issues (GPT-3.5 finding them 57% of the time). False positives are common (40% chance for GPT-3.5). the advice that the LLMs provide on the issues is often sensible. the LLMs perform better on issues involving program logic rather than on output formatting. Model solutions are frequently provided even when the LLM is prompted not to. LLM responses to prompts in a non-English language are only slightly worse than responses to English prompts. Implications: Our results continue to highlight the utility of LLMs in programming education. At the same time, the results highlight the unreliability of LLMs: LLMs make some of the same mistakes that students do, perhaps especially when formatting output as required by automated assessment systems. Our study informs teachers interested in using LLMs as well as future efforts to customize LLMs for the needs of programming education.

关键词： large language models introductory programming education CS1 help seeking student questions automatic feedback OpenAI Codex GPT

来源：评论

学校读者我要写书评

暂无评论

Object-oriented modeling method for algebraic specifications in CafeOBJ

Object-oriented modeling method for algebraic specifications...

引用

Proceedings of the 1997 IEEE 19th international conference on Software Engineering

作者： Nakajima, Shin Futatsugi, Kokichi NEC Corp Kawasaki Japan

A scenario-based object-oriented modeling method for algebraic specifications is proposed. the method is based on the integration of a new algebraic specification language, CafeOBJ, and a multiparadigm design notation, GILO-2 (Generic Interaction Language for Objects). CafeOBJ is a successor of the algebraic specification language OBJ and supports object-oriented formal specifications based on hidden order sorted rewriting logic. GILO-2 provides collaborations as well as classes of objects to capture behavioral aspects of scenarios in object-oriented modeling. Given a problem description of the system to develop, the proposed method provides guidelines for decomposing the problem into executable CafeOBJ specification modules through scenario-based object-oriented design in GILO-2;the decomposition reflects the structure of the problem domain. the proposal also indicates how formal executable specification CafeOBJ can be systematically obtained from the design in GILO-2.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

the SeaLion has landed: An IDE for answer-set programming—preliminary report 19th

The SeaLion has landed: An IDE for answer-set programming—p...

引用

19th international conference on Applications of Declarative programming and Knowledge Management, INAP 2011 and 25th Workshop on logic programming, WLP 2011

作者： Oetsch, Johannes Pührer, Jörg Tompits, Hans Institut für Informationssysteme 184/3 Technische Universität Wien Favoritenstraße 9-11 Vienna1040 Austria

ISBN: (纸本)9783642415234

We report about the current state and designated features of the tool SeaLion, aimed to serve as an integrated development environment (IDE) for answer-set programming (ASP). A main goal of SeaLion is to provide a user-friendly environment for supporting a developer to write, evaluate, debug, and test answer-set programs. To this end, new support techniques have to be developed that suit the requirements of the answer-set semantics and meet the constraints of practical applicability. In this respect, SeaLion benefits from the research results of a project on methods and methodologies for answer-set program development in whose context SeaLion is realised. Currently, the tool provides source-code editors for the languages of Gringo and DLV that offer syntax highlighting, syntax checking, refactoring functionality, and a visual program outline. Further implemented features are a documentation generator, support for external solvers, and visualisation as well as visual editing of answer sets. SeaLion comes as a plugin of the popular Eclipse platform and provides itself interfaces for future extensions of the IDE. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Visual languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共24页 << < 15 16 17 18 19 20 21 22 23 24 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：