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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,160 篇 会议
58 册 图书
37 篇 期刊文献

馆藏范围

1,254 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

922 篇 工学
- 870 篇 计算机科学与技术...
- 470 篇 软件工程
- 93 篇 控制科学与工程
- 66 篇 电气工程
- 43 篇 信息与通信工程
- 13 篇 机械工程
- 10 篇 土木工程
- 8 篇 建筑学
- 8 篇 石油与天然气工程
- 7 篇 交通运输工程
- 7 篇 生物工程
- 6 篇 生物医学工程（可授...
- 5 篇 力学（可授工学、理...
- 5 篇 仪器科学与技术
- 5 篇 电子科学与技术（可...
- 5 篇 农业工程
242 篇 理学
- 203 篇 数学
- 19 篇 系统科学
- 18 篇 物理学
- 15 篇 生物学
- 7 篇 统计学（可授理学、...
97 篇 管理学
- 62 篇 管理科学与工程(可...
- 41 篇 图书情报与档案管...
- 37 篇 工商管理
13 篇 教育学
- 12 篇 教育学
11 篇 医学
- 8 篇 基础医学(可授医学...
- 7 篇 临床医学
10 篇 法学
- 6 篇 社会学
7 篇 经济学
- 7 篇 应用经济学
7 篇 农学
- 6 篇 作物学
4 篇 文学
3 篇 哲学

主题

254 篇 logic programmin...
53 篇 artificial intel...
50 篇 fuzzy logic
42 篇 semantics
40 篇 formal logic
40 篇 mathematical log...
32 篇 computer circuit...
31 篇 logics and meani...
27 篇 software enginee...
23 篇 integer programm...
22 篇 temporal logic
21 篇 programming tech...
20 篇 programming lang...
19 篇 programming
19 篇 calculations
19 篇 knowledge repres...
17 篇 computer science
17 篇 logic
17 篇 answer set progr...
14 篇 software enginee...

机构

9 篇 univ bath dept c...
9 篇 vienna univ tech...
5 篇 univ london impe...
5 篇 rhein westfal th...
5 篇 univ london impe...
5 篇 univ texas dept ...
4 篇 tu wien austria
4 篇 simon fraser uni...
4 篇 department of co...
4 篇 guangxi key labo...
4 篇 univ liverpool d...
4 篇 univ potsdam ins...
4 篇 carnegie mellon ...
4 篇 univ glamorgan c...
4 篇 univ potsdam ins...
3 篇 univ potsdam ins...
3 篇 theoretical comp...
3 篇 saitama univ dep...
3 篇 microsoft resear...
3 篇 univ potsdam pot...

作者

12 篇 schaub torsten
12 篇 de vos marina
10 篇 brain martin
9 篇 ricca francesco
8 篇 gebser martin
8 篇 russo alessandra
7 篇 gore rajeev
6 篇 leone nicola
6 篇 andrei voronkov
6 篇 xu yang
6 篇 giesl juergen
5 篇 cliffe owen
5 篇 eiter thomas
5 篇 faber wolfgang
5 篇 cabalar pedro
5 篇 gupta gopal
5 篇 tompits hans
5 篇 schaub t
4 篇 mileo alessandra
4 篇 chang liang

语言

1,217 篇 英文
30 篇 其他
9 篇 中文
1 篇 葡萄牙文

检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"

共 1255 条记录，以下是261-270 订阅

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

详细简洁

排序：

Abductive logic programming for Normative reasoning and Ontologies 7th

Abductive Logic Programming for Normative Reasoning and Onto...

引用

7th international Symposium on Artificial Intelligence (ISAI)

作者： Gavanelli, Marco Lamma, Evelina Riguzzi, Fabrizio Bellodi, Elena Riccardo, Zese Cota, Giuseppe Univ Ferrara Dipartimento Ingn Via Saragat 1 I-44122 Ferrara Italy Univ Ferrara Dipartimento Matemat & Informat Via Saragat 1 I-44122 Ferrara Italy

ISBN: (纸本)9783319509532;9783319509525

Abductive logic programming (ALP) has been exploited to formalize societies of agents, commitments and norms, taking advantage from ALP operational support as a (static or dynamic) verification tool. In [7], the most common deontic operators (obligation, prohibition, permission) are mapped into the abductive expectations of an ALP framework for agent societies. Building upon such correspondence, in [5], authors introduced Deon +, a language where obligation and prohibition deontic operators are enriched with quantification over time, by means of ALP and Constraint logic programming (CLP). In recent work [30,31], we have shown that the same ALP framework can be suitable to represent Datalog +/- ontologies. Ontologies are a fundamental component of both the Semantic Web and knowledge-based systems, even in the legal setting, since they provide a formal and machine manipulable model of a domain. In this work, we show that ALP is a suitable framework for representing both norms and ontologies. Normative reasoning and ontological query answering are obtained by applying the same abductive proof procedure, smoothly achieving their integration. In particular, we consider the ALP framework named SCIFF and derived from the IFF abductive framework, able to deal with existentially (and universally) quantified variables in rule heads and CLP constraints. the main advantage is that this integration is achieved within a single language, grounded on abduction in computational logic.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

ArgueApply: A Mobile App for Argumentation 14th

ArgueApply: A Mobile App for Argumentation

引用

14th international conference on logic programming and Nonmonotonic reasoning (LPNMR)

作者： Puehrer, Joerg Univ Leipzig Inst Comp Sci Leipzig Germany

ISBN: (纸本)9783319616605;9783319616599

Formal models developed in the field of argumentation allow for analysing and evaluating problems that have previously been studied by philosophers on an informal level only. Importantly, they also give rise to the development of computational tools for argumentation. In this paper we report on ArgueApply, a mobile app for argumentation that is based on the Grappa framework, an extension of, e.g., abstract argumentation in the sense of Dung. With ArgueApply users can engage in online discussions and evaluate their semantics. Each of the resulting interpretations can be seen as a coherent view on a discussion in which some of the discussions statements are accepted and others rejected. Being a mobile tool, ArgueApply is intended to be more accessible than existing systems for computing argumentation semantics allowing, e.g., for spontaneous analysis of an ongoing discussion or collective preparation for an important debate. While having a practical system for these applications is the final goal of our work, an immediate objective is using the system for exploring which type of Grappa frameworks under which semantics are best suited for such applications.

关键词： Argumentation Grappa Mobile application Android Answer-set programming

来源：评论

学校读者我要写书评

暂无评论

Supporting Learning Analytics in Computing Education 17

Supporting Learning Analytics in Computing Education

引用

7th international Learning Analytics and Knowledge conference (LAK)

作者： Olivares, Daniel M. Hundhausen, Christopher D. Washington State Univ Human Ctr Environm Learning & Programming HELP La Sch Elect Engn & Comp Sci Pullman WA 99164 USA

ISBN: (纸本)9781450348706

As is the case for many undergraduate STEM degree programs, computing degree programs are plagued by high attrition rates. this is especially true in early computing courses, in which failure and drop-out rates in the 35 to 50 percent range are common. By collecting learning process data as students engage in computer programming assignments, computing educators can place themselves in a position not only to better understand students' struggles, but also to better tailor instructional interventions to students' needs. We have developed OSBLE+, a learning management and analytics environment that interfaces with a computer programming environment to support the automatic collection of learners' programming process and social data as they work on programming assignments, while also providing an interactive environment for the analysis and visualization of those data. In ongoing work, we are using OSBLE+ to explore two possibilities: (a) leveraging learning and social data to strategically deliver automated learning interventions, and (b) presenting learners with visual representations of their learning data in order to prompt them to reflect on and discuss their learning processes.

关键词： Computing education research Learning analytics Learning Management System Social Learning Data collection Visualizations OSBLE

来源：评论

学校读者我要写书评

暂无评论

A visual programming approach based on domain ontologies for configuring industrial IoT installations 17

A visual programming approach based on domain ontologies for...

引用

7th international conference on the Internet of things

作者： Tomlein, Matus Gronbaek, Kaj Aarhus Univ Dept Comp Sci Aarhus Denmark

ISBN: (纸本)9781450353182

Industrial products tend to be customized by third-parties for different use cases. this is currently supported by adding external Programmable logic Controllers (PLC) to installations. As IoT software ecosystems become wide-spread, the need for such hardware will decrease. However, removing the controllers opens the challenge of configuring distributed industrial installations. this paper argues for modeling application requirements on industrial installations so that they can be evaluated automatically based on information about targeted installations. GIMLE, a visual language for modeling application requirements using expressive domain knowledge, is proposed. GIMLE enables modeling requirements on physical features of installations, which hasn't received significant attention in the related work. A study with domain experts is used to reflect on the proposed process. the scalability of the visual language is evaluated using a model for a real-world application. the support for reuse of requirements enabled us to build models that can add support for new installations without significant changes and with a slower increase in size the more components can be reused.

关键词： End-user programming visual programming modeling

来源：评论

学校读者我要写书评

暂无评论

A Context Broker for Better Access to Quality and Cost-effective Healthcare 8

A Context Broker for Better Access to Quality and Cost-effec...

引用

8th international conference on Ambient Systems, Networks and Technologies (ANT) / 7th international conference on Sustainable Energy Information Technology (SEIT)

作者： Ovengalt, C. B. Tokpo Djouani, K. Kurien, A. M. Chibani, A. Tshwane Univ Technol Private Bag X680Staatsartillerie Rd ZA-0183 Pretoria South Africa Univ Paris Est Creteil 61 Ave Gen Charles de Gaulle F-94010 Creteil France

Context refers to the particular settings that give additional information on the reasons behind the set of data that is obtained and its value to the end user. Context is often derived through inferences and reasoning techniques, the aim being disambiguation, reducing doubts, and improve confidence levels. In essence, context is determined based on factors including time, location, frequency, participating persons and devices, etc. It is critical for data to be considered in its context, albeit the quality of context is equally important. How data is collected (processes), its usefulness (validity), its correctness (accuracy), and its up-to-dateness (latest facts) are just some key parameters considered in evaluating the quality of the data that is being processed. In recent years, there has been numerous attempts to deploy middeware agents such as brokers in a myriad of applications in domains such as retail, education, and healthcare. the context broker that is presented in this paper addresses some critical healthcare issues: availability, cost and quality. this broker is for general and specialised healthcare needs in specific medical fields, and it is especially useful in emergency situations. It showcases how a broker can be used to enhance the provision of cost-effective and quality medical services across the 34 main healthcare centres in the city of Pretoria. the context broker collects queries from users (patients or their dependents), and refers them to the best and most affordable hospitals on the basis of their geographical location, financial status, quality of care and the availability of the requested medical services at the time their request is made. (c) 2017 the Authors. Published by Elsevier B.V.

关键词： Broker context healthcare fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Intelligent Detection Without Modeling of Behavior Unusual by Fuzzy logic 7th

Intelligent Detection Without Modeling of Behavior Unusual b...

引用

7th international conference on Model and Data Engineering (MEDI)

作者： Chebi, Hocine Acheli, Dalila Kesraoui, Mohamed Univ Mhamed Bougara Boumerdes Fac Hydrocarbons & Chem Boumerdes Algeria Univ Mhamed Bougara Boumerdes Fac Engn Lab Automat Appl Ave Independance Boumerdes 35000 Algeria

ISBN: (纸本)9783319668543;9783319668536

this work falls within the framework of the video surveillance research axis. It involves a link between automatic processing and problems related to video surveillance. the job is to analyze video streams coming from a network of surveillance cameras, deployed in an area of interest in order to detect abnormal behavior. Our approach in this paper is based on the new application and the use of fuzzy logic with an aim of avoided the modeling of abnormal crowd behavior. By introducing the notion of degree in the verification of a condition, thus allowing a condition to be in another state rather than true or false, fuzzy logic confers a very appreciable flexibility on the reasoning that uses it, taking into account inaccuracies and uncertainties. One of the work interests performed in formalized human reasoning is that the rules are spelled out in a natural language. Detecting these behaviors will increase the response speed of security services to perform accurate analysis and detection of abnormal events. We then present a comparative table followed by a study on the effects of using another technique. Despite the complexity of the sequences, our approach provides highly relevant results including in the detection areas of several crowd behaviors.

关键词： Abnormal detection Crowd behavior Classification Segmentation Tracking Fuzzy logic Events

来源：评论

学校读者我要写书评

暂无评论

Suitability of BlackBox Dataset for Style Analysis in Detection of Source Code Plagiarism 7

Suitability of BlackBox Dataset for Style Analysis in Detect...

引用

7th international conference on Innovative Computing Technology (INTECH)

作者： Mirza, Olfat M. Joy, Mike Cosma, Georgina Univ Warwick Dept Comp Sci Coventry CV4 7AL W Midlands England Nottingham Trent Univ Sch Sci & Technol Nottingham NG1 4FQ England

ISBN: (纸本)9781509039890

Plagiarism is one of the most common problem that has been increasing in the field of higher education. Many research papers have highlighted the issue of plagiarism in context to its detection and source that is often obtained from the text books and online sources, there is a variety of easy ways for students to copy others' work. Coding style can be used to detect source code plagiarism because it relates to programmer personality but does not affect the logic of a program, thus offering a way to differentiate between different code authors. the immediate objective of this paper is to identify whether a data set consisting of student programming assignments is rich enough to apply coding style metrics on in order to detect similarities between code sequences, and we use the BlackBox data set as a case study.

关键词： component Source Code Plagairism Detection Style Analysis Coding Style

来源：评论

学校读者我要写书评

暂无评论

reasoning in the Bernays-Schonfinkel-Ramsey Fragment of Separation logic 18th

Reasoning in the Bernays-Schonfinkel-Ramsey Fragment of Sepa...

引用

18th international conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)

作者： Reynolds, Andrew Iosif, Radu Serban, Cristina Univ Iowa Iowa City IA USA Univ Grenoble Alpes Verimag CNRS Grenoble France

ISBN: (纸本)9783319522340;9783319522333

Separation logic (SL) is a well-known assertion language used in Hoare-style modular proof systems for programs with dynamically allocated data structures. In this paper we investigate the fragment of first-order SL restricted to the Bernays-Schonfinkel-Ramsey quantifier prefix there exists*for all*, where the quantified variables range over the set of memory locations. When this set is uninterpreted (has no associated theory) the fragment is PSPACE-complete, which matches the complexity of the quantifier-free fragment [7]. However, SL becomes undecidable when the quantifier prefix belongs to there exists*for all*there exists* instead, or when the memory locations are interpreted as integers with linear arithmetic constraints, thus setting a sharp boundary for decidability within SL. We have implemented a decision procedure for the decidable fragment of there exists*for all* SL as a specialized solver inside a DPLL(T) architecture, within the CVC4 SMT solver. the evaluation of our implementation was carried out using two sets of verification conditions, produced by (i) unfolding inductive predicates, and (ii) a weakest precondition-based verification condition generator. Experimental data shows that automated quantifier instantiation has little overhead, compared to manual model-based instantiation.

关键词： Computability and decidability

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Model and Data Engineering, MEDI 2017

7th International Conference on Model and Data Engineering, ...

引用

7th international conference on Model and Data Engineering, MEDI 2017

ISBN: (纸本)9783319668536

the proceedings contain 29 papers. the special focus in this conference is on Model and Data Engineering. the topics include: Advances in modeling language engineering.;a tale of calmness in the lives of structured data;continuous process compliance using model driven engineering;an approach to automated two-phase business model-driven synthesis of data models.;the stability of threshold values for software metrics in software defect prediction;assessment of the SEMCO model-based repository approach for software system engineering;use of tabular expressions for refinement automation;a performance study;towards an explicitation and a conceptualization of cost models in database systems;a feature selection method based on feature correlation networks;collecting and processing arabic facebook comments for sentiment analysis.;mastering heterogeneous behavioural models;intelligent detection without modeling of behavior unusual by fuzzy logic.;a taxonomy of data aggregation processes;automating the evolution of data models for space missions. a model-based approach and towards an emergent semantic of web resources using collaborative tagging;ontology-based user profile modelling to facilitate inclusion of visual impairment people.

关键词：

来源：评论

学校读者我要写书评

暂无评论

13th international conference on logic programming and Nonmonotonic reasoning, LPNMR 2015

引用

13th international conference on logic programming and Nonmonotonic reasoning, LPNMR 2015

ISBN: (纸本)9783319232638

the proceedings contain 48 papers. the special focus in this conference is on logic programming and Nonmonotonic reasoning. the topics include: Stable models for temporal theories;algorithmic decision theory meets logic;relational and semantic data mining;shift design with answer set programming;advances in WASP;improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics;integrating ASP into ROS for reasoning in robots;automated inference of rules with exception from past legal cases using ASP;solving constraint satisfaction problems with answer set programming;a theory of intentions for intelligent agents;answer set programming modulo acyclicity;a framework for goal-directed query evaluation with negation;implementing preferences with asprin;diagnosing automatic whitelisting for dynamic remarketing ads using hybrid ASP;performance tuning in answer set programming;enablers and inhibitors in causal justifications of logic programs;efficient problem solving on tree decompositions using binary decision diagrams;knowledge acquisition via non-monotonic reasoning in distributed heterogeneous environments;a formal theory of justifications;a new computational logic approach to reason with conditionals;interactive debugging of non-ground ASP programs;linking open-world knowledge bases using nonmonotonic rules;ASP, amalgamation, and the conceptual blending workflow;diagnostic reasoning for robotics using action languages;connecting object-oriented and logic programming;reasoning with forest logic programs using fully enriched automata;ASP solving for expanding universes and combining heuristics for configuration problems using answer set programming;infinitary equilibrium logic and strong equivalence and compacting boolean formulae for inference in probabilistic logic programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共126页 << < 23 24 25 26 27 28 29 30 31 32 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：