首页>外文期刊>Kunstliche Intelligenz

Kunstliche Intelligenz

中文名称：人工智能

ISSN：0933-1875
出版周期：Quarterly

发文量：681

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.Aggregates in Answer Set Programming

机译：答案集编程中的聚集体
- 作者：Mario Alviano;Wolfgang Faber
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Answer set programming;
- Recursive aggregates;
- Nonmonotonic reasoning;
2.Answer Set Programming

机译：回答设置编程
- 作者：Tomi Janhunen
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Declarative programming;
- Satisfiability checking;
- Constraint satisfaction;
- Theory reasoning;
3.The DLVHEX System

机译：DLVHEX系统
- 作者：Thomas Eiter;Stefano Germano;Giovambattista Ianni;Tobias Kaminski;Christoph Redl;Peter Schüller;Antonius Weinzierl
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Answer set programming;
- External source access;
- Nonmonotonic reasoning;
4.News

机译：消息
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
5.Special Issue on Answer Set Programming

机译：答案集编程的特殊问题
- 作者：Torsten Schaub;Stefan Woltran
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
6.Answer Set Programming from a Logical Point of View

机译：从逻辑的角度回答设置编程
- 作者：Pedro Cabalar;David Pearce;Agustín Valverde
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Answer set programming;
- Equilibrium logic;
- Non-classical logics;
7.Lazy Grounding for Dynamic Configuration

机译：动态配置的懒惰接地
- 作者：Thomas Eiter;Gerhard Friedrich;Richard Taupe;Antonius Weinzierl
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Lazy grounding;
- Answer set programming;
- Logic programming;
- Nonmonotonic reasoning;
8.Answer set programming unleashed!

机译：回答设置编程释放！
- 作者：Torsten Schaub;Stefan Woltran
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
9.Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

机译：使用ASPTools集合的交叉翻译答案设置程序
- 作者：Tomi Janhunen
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Cross compilation;
- Rules;
- Answer sets;
- Constraints;
- Satisfiability;
10.ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution

机译：ASP为综合分析和临床指南执行解释
- 作者：Luca Piovesan;Matteo Spiotta;Paolo Terenziani;Daniele Theseider Dupré
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
11.Industrial Applications of Answer Set Programming

机译：答案集编程的工业应用
- 作者：Andreas Falkner;Gerhard Friedrich;Konstantin Schekotihin;Richard Taupe;Erich C. Teppan
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Answer set programming;
- Applications;
12.Answer Set Programming in Linguistics

机译：回答语言学中的设置编程
- 作者：Peter Schüller
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Answer set programming;
- Natural language processing;
- Computational linguistics;
13.Applications of ASP in Robotics

机译：ASP在机器人中的应用
- 作者：Esra Erdem;Volkan Patoglu
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Answer set programming;
- Cognitive robotics;
- Planning;
14.AI in Germany: Well-Prepared and Eager to Do Something

机译：德国艾：准备好，渴望做点什么
- 作者：Daniel Sonntag
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
15.Interview with Gerhard Brewka

机译：采访Gerhard Brewka
- 作者：Gerhard Brewka;Torsten Schaub;Stefan Woltran
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
16.The ASP System DLV: Advancements and Applications

机译：ASP系统DLV：进步和应用
- 作者：Weronika T. Adrian;Mario Alviano;Francesco Calimeri;Bernardo Cuteri;Carmine Dodaro;Wolfgang Faber;Davide Fuscà;Nicola Leone;Marco Manna;Simona Perri;Francesco Ricca;Pierfrancesco Veltri;Jessica Zangari
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Answer set programming;
- KRR;
- Artificial intelligence;
- Implementations;
- Applications;
17.Interview with Vladimir Lifschitz

机译：采访Vladimir Lifschitz
- 作者：Vladimir Lifschitz;Torsten Schaub;Stefan Woltran
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
18.ASP Applications in Bio-informatics: A Short Tour

机译：Bio-Informatics的ASP应用：短途旅行
- 作者：Alessandro Dal Palù;Agostino Dovier;Andrea Formisano;Enrico Pontelli
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Answer set programming;
- Bioinformatics;
19.Stream Reasoning with LARS

机译：用Lars溪流推理
- 作者：Harald Beck;Minh Dao-Tran;Thomas Eiter;Christian Folie
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Stream reasoning;
- Incremental reasoning;
20.Answer Set Planning in Single- and Multi-agent Environments

机译：回答单个Agent环境中的设置规划
- 作者：Tran Cao Son;Marcello Balduccini
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Answer set planning;
- Multi-agent planning;
- Action languages;
21.Advanced Solving Technology for Dynamic and Reactive Applications

机译：用于动态和无功应用的先进求解技术
- 作者：Gerhard Brewka;Stefan Ellmauthaler;Gabriele Kern-Isberner;Philipp Obermeier;Max Ostrowski;Javier Romero;Torsten Schaub;Steffen Schieweck
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
22.The Potsdam Answer Set Solving Collection 5.0

机译：波茨坦答案设置解决收藏5.0
- 作者：Martin Gebser;Roland Kaminski;Benjamin Kaufmann;Patrick Lühne;Philipp Obermeier;Max Ostrowski;Javier Romero;Torsten Schaub;Sebastian Schellhorn;Philipp Wanko
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
23.ASPIDE and L oIDE]]>

机译：<！[cdata [cdata [开发带 aspide 和<重点类型=“bolditialic”> l <重点类型=“粗体” IDE ]]>
- 作者：Francesco Calimeri;Stefano Germano;Eliana Palermiti;Kristian Reale;Francesco Ricca
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Declarative Languages;
- Integrated development environment (IDE);
- Logics;
- Web-based applications;
24.A Games Industry Perspective on Recent Game AI Developments Interview with Duygu Cakmak, Creative Assembly

机译：最近游戏行业的观点，最近的游戏AI发展采访Duygu Cakmak，创意装配
- 作者：Preuss Mike;Risi Sebastian;Cakmak Duygu
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第1期
25.Measuring the Quality of Explanations: The System Causability Scale (SCS) Comparing Human and Machine Explanations

机译：测量解释质量：系统造盘性比例（SCS）比较人员和机器解释
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第2期
- System causability scale (SCS);
- Explainable AI;
- Human-AI interfaces;
26.Cognitive Argumentation for Human Syllogistic Reasoning

机译：人类三段推理的认知论证
- 作者：Emmanuelle-Anna Dietz Saldanha;Antonis Kakas
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第3期
27.One Explanation Does Not Fit All The Promise of Interactive Explanations for Machine Learning Transparency

机译：一个解释不适合机器学习透明度的互动解释的所有承诺
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第2期
- Interactive;
- Personalised;
- Explanations;
- Counterfactuals;
28.eXplainable Cooperative Machine Learning with NOVA

机译：用新星解释合作机器学习
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第2期
- Annotation;
- Cooperative machine learning;
- Explainable AI;
29.Power to the Oracle? Design Principles for Interactive Labeling Systems in Machine Learning

机译：对甲骨文的力量？机器学习中交互式标签系统的设计原理
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第2期
- Interactive labeling;
- Interactive machine learning;
- Training data;
30.Reg3DFacePtCd: Registration of 3D Point Clouds Using a Common Set of Landmarks for Alignment of Human Face Images

机译：Reg3dfaceptcd：使用常见的地标的3D点云注册用于对齐人类脸部图像
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第4期
- Reg3DFacePtCd;
- Registration;
- Alignment;
- Point clouds;
31.Search, Abstractions and Learning in Real-Time Strategy Games A Dissertation Summary

机译：在实时战略游戏中搜索，抽象和学习论文摘要
- 作者：Barriga Nicolas A.
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第1期
- Real-time strategy games;
- Game tree search;
- Deep convolutional neural networks;
- Evolutionary algorithms;
32.AI in Medicine, Covid-19 and Springer Nature's Open Access Agreement

机译：AI在医学，Covid-19和Springer Nature的开放式访问协议
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第2期
33.Interview with Uli Sattler

机译：采访乌利萨蒂勒
- 作者：Sattler Uli;Schneider Thomas
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第3期
34.A Jumpstart Framework for Semantically Enhanced OPC-UA

机译：用于语义增强的OPC-UA的JumpStart框架
- 作者：Badarinath Katti;Christiane Plociennik;Michael Schweitzer
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第2期
- Cloud MES;
- GeSCo;
- Edge Manufacturing;
- OPC-UA;
- Semantic Web Services;
- SAWSDL;
- OWL-S;
35.Cognitive Reasoning: A Personal View

机译：认知推理：个人观点
- 作者：Ulrich Furbach;Steffen Holldobler;Marco Ragni;Claudia Schon;Frieder Stolzenburg
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第3期
- Reasoning;
- Cognitive reasoning;
- Commonsense reasoning;
36.Explanations for Temporal Recommendations

机译：时间建议的解释
- 作者：Homanga Bharadhwaj;Shruti Joshi
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第4期
- Recommendation systems;
- Explainable AI;
- Recurrent Neural Networks;
37.Shakey Ever After? Questioning Tacit Assumptions in Robotics and Artificial Intelligence

机译：哇哇哇哇哇哇哇哇哇哇哇哇提问机器人和人工智能中的默契假设
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第4期
- Shakey;
- Architectures;
- Design;
- Objectivism;
38.The AI Settlement Generation Challenge in Minecraft First Year Report

机译：MINECRAFT第一年报告中的AI定居点挑战
- 作者：Salge Christoph;Green Michael Cerny;Canaan Rodrigo;Skwarski Filip;Fritsch Rafael;Brightmoore Adrian;Ye Shaofang;Cao Changxing;Togelius Julian
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第1期
- Competition;
- Generative design;
- Procedural content generation;
- Minecraft;
39.Categorisations: AI

机译：分类：AI。
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第4期
40.News

机译：消息
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第2期
41.On the Development of AI in Germany

机译：论德国AI的发展
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第2期
42.Learning Description Logic Ontologies: Five Approaches. Where Do They Stand?

机译：学习描述逻辑本体：五种方法。他们站在哪里？
- 作者：Ozaki Ana
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第3期
- Ontology learning;
- Description logic;
- Logic and learning;
43.Managed Forgetting to Support Information Management and Knowledge Work

机译：忘记忘记支持信息管理和知识工作
- 作者：Christian Jilek;Yannick Runge;Claudia Niederee;Heiko Maus;Tobias Tempel;Andreas Dengel;Christian Frings
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第1期
44.Concepts and Algorithms for Computing Maximum Entropy Distributions for Knowledge Bases with Relational Probabilistic Conditionals

机译：用于计算具有关系概率条件的知识库的最大熵分布的概念和算法
- 作者：Marc Finthammer
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第1期
45.SocRob@Home: Integrating AI Components in a Domestic Robot System

机译：Socrof @主页：在国内机器人系统中集成AI组件
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第4期
46.Perception-Guided Mobile Manipulation Robots for Automation of Warehouse Logistics

机译：仓库物流自动化的感知引导的移动操纵机器人
- 作者：Georg Bartels;Michael Beetz
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第2期
47.Weed Management of the Future

机译：未来的杂草管理
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第4期
- Autonomous robots;
- Agricultural robotics;
- Weed management;
- Deep learning;
48.Can We Stop the Academic AI Brain Drain?

机译：我们可以阻止学术AI脑流失吗？
- 作者：Lars Kunze
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第1期
49.Bridging the Prototype Gap: On the Evolution of Ugly Ducklings

机译：弥合原型差距：丑陋鸭子的演变
- 作者：Anni-Yasmin Turhan
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第3期
50.2018 IEEE Conference on Computational Intelligence and Games (CIG 2018)

机译：2018年IEEE计算智能和游戏会议（CIG 2018）
- 作者：Winands Mark H. M.
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第1期
51.News

机译：消息
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第4期
52.Intentional Forgetting in Distributed Artificial Intelligence

机译：故意忘记分布式人工智能
- 作者：Lukas Reuter;Jan Ole Berndt;Anna-Sophie Ulfert;Conny H. Antoni;Thomas Ellwart;Ingo J. Timm
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第1期
- Intelligent agent;
- Multiagent-system;
- Intentional forgetting;
- Distributed artificial intelligence;
53.Image Schema Combinations and Complex Events

机译：图像模式组合和复杂事件
- 作者：Maria M. Hedblom;Oliver Kutz;Rafael Penaloza;Giancarlo Guizzardi
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第3期
- Image schemas;
- Knowledge representation;
- Commonsense reasoning;
- Event structure;
- Ontology design patterns;
- Egg cracking problem;
54.Making AI Smarter

机译：使AI更聪明
- 作者：Kristian Kersting
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第4期
55.Multitask and Multilingual Modelling for Lexical Analysis

机译：词汇分析多任务和多语言建模
- 作者：Johannes Bjerva
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第4期
- Natural language processing;
- Deep learning;
- Multitask learning;
- Multilingual learning;
56.Deskilling Robots in Logistics Environments

机译：物流环境中的桌面机器人
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第4期
- AGV;
- Logistics;
- Scheduling;
57.On the Applicability of Probabilistic Programming Languages for Causal Activity Recognition

机译：论概率规划语言对因果活动识别的适用性
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第4期
- Bayesian filtering;
- Causal model;
- Probabilistic programming language;
- Anglican;
- WebPPL;
- Figaro;
- Particle filter;
58.Uncertainty Handling in Surrogate Assisted Optimisation of Games Dissertation Abstract

机译：代理辅助优化游戏论文的不确定性处理摘要
- 作者：Volz Vanessa
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第1期
- Surrogate-assisted Evolutionary Algorithms;
- Procedural Content Generation;
- Uncertainty handling;
59.News

机译：消息
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第4期
60.The CoRg Project: Cognitive Reasoning

机译：CORG项目：认知推理
- 作者：Claudia Schon;Sophie Siebert;Frieder Stolzenburg
- 期刊名称：《Kunstliche Intelligenz》 | 2019年第3期
- Cognitive reasoning;
- Commonsense reasoning;
- Automated reasoning;
- Machine learning;
61.A Genetic Algorithm Based System for Simultaneous Optimisation of Workforce Skills and Teams

机译：基于遗传算法的劳动力技能和团队的同时优化
- 作者：A. J. Starkey;H. Hagras;S. Shakya;G. Owusu
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第4期
62.Robots in Committees

机译：委员会的机器人
- 作者：Ubbo Visser
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第1期
63.Interview with Gerhard Brewka

机译：采访Gerhard Brewka
- 作者：Gerhard Brewka;Torsten Schaub;Stefan Woltran
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
64.Landmarks are Exaggerated

机译：地标被夸大了
- 作者：Daniel R. Montello
- 期刊名称：《Kunstliche Intelligenz》 | 2017年第2期
- Landmarks;
- Spatial cognition;
- Wayfinding;
- Spatial learning;
65.Towards Strong AI

机译：走向强壮的ai.
- 作者：Butz Martin V.
- 期刊名称：《Kunstliche Intelligenz》 | 2021年第1期
66.Ontology-Mediated Querying with Horn Description Logics

机译：与喇叭描述逻辑的本体介绍查询
- 作者：Sabellek Leif
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第4期
67.Special Issue on Ontologies and Data Management: Part II

机译：在本体和数据管理中的特刊：第二部分
- 作者：Schneider Thomas;Simkus Mantas
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第4期
68.Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules

机译：具有喇叭本体的数据访问：其中描述逻辑符合存在规则
- 作者：Mugnier Marie-Laure
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第4期
- Data access;
- Ontology-mediated query answering;
- Existential rules;
- Horn description logics;
69.Assessing the Attitude Towards Artificial Intelligence: Introduction of a Short Measure in German, Chinese, and English Language

机译：评估对人工智能的态度：引入德语，中文和英语的短措施
- 作者：Sindermann Cornelia;Sha Peng;Zhou Min;Wernicke Jennifer;Schmitt Helena S.;Li Mei;Sariyska Rayna;Stavrou Maria;Becker Benjamin;Montag Christian
- 期刊名称：《Kunstliche Intelligenz》 | 2021年第1期
- Artificial Intelligence;
- ATAI;
- German;
- Chinese;
- English;
- ATAI scale;
- Attitude Towards Artificial Intelligence;
70.Towards Explanatory Interactive Image Captioning Using Top-Down and Bottom-Up Features, Beam Search and Re-ranking

机译：使用自上而下和自下而上的特征，波束搜索和重新排序来朝着解释的交互式图像标题
- 作者：Biswas Rajarshi;Barz Michael;Sonntag Daniel
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第4期
71.Goal-Directed Exploration for Learning Vowels and Syllables: A Computational Model of Speech Acquisition

机译：学习元音和音节的目标导向探索：语言获取的计算模型
- 作者：Philippsen Anja
- 期刊名称：《Kunstliche Intelligenz》 | 2021年第1期
- Goal babbling;
- Speech acquisition;
- Vocal learning;
- Imitation learning;
- Inverse model;
- Developmental learning;
72.Lazy Grounding for Dynamic Configuration

机译：动态配置的懒惰接地
- 作者：Thomas Eiter;Gerhard Friedrich;Richard Taupe;Antonius Weinzierl
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Lazy grounding;
- Answer set programming;
- Logic programming;
- Nonmonotonic reasoning;
73.A Quality Evaluation of Combined Search on a Knowledge Base and Text

机译：关于知识库和文本组合搜索的质量评估
- 作者：Hannah Bast;Bj?rn Buchhold;Elmar Haussmann
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第1期
- Knowledge bases;
- Semantic search;
- KB+Text search;
- Quality evaluation;
74.All-Instances Restricted Chase Termination for Linear TGDs

机译：全景限制线性TGDS的Chase终止
- 作者：Gogacz Tomasz;Marcinkowski Jerzy;Pieris Andreas
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第4期
75.'KogniChef': A Cognitive Cooking Assistant

机译：“Kognichef”：一种认知烹饪助手
- 作者：Alexander Neumann;Christof Elbrechter;Nadine Pfeiffer-Lessmann;Risto Koiva;Birte Carlmeyer;Stefan Ruther;Michael Schade;Andre Uckermann;Sven Wachsmuth;Helge J. Ritter
- 期刊名称：《Kunstliche Intelligenz》 | 2017年第3期
- Smart home;
- Assist;
- Cooking;
- Assisted living;
- Human machine interaction;
76.Declarative Reasoning about Space and Motion with Video

机译：关于空间和视频的陈述理由
- 作者：Jakob Suchan
- 期刊名称：《Kunstliche Intelligenz》 | 2017年第4期
- Cognitive vision;
- Spatio-temporal dynamics;
- Semantic interpretation of video;
77.News

机译：消息
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
78.Big Data Science

机译：大数据科学
- 作者：Katharina Morik;Christian Bockermann;Sebastian Buschj?ger
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第1期
- Big data;
- Data science;
79.Analyzing the Effects of VGI-based Landmarks on Spatial Memory and Navigation Performance

机译：基于VGI的地标对空间记忆和导航性能的影响分析
- 作者：Anne-Kathrin Bestgen;Dennis Edler;Lars Kuchinke;Frank Dickmann
- 期刊名称：《Kunstliche Intelligenz》 | 2017年第2期
- Spatial cognition;
- Landmarks;
- Cognitive map;
- VGI;
- OSM;
80.From Big Data to Big Artificial Intelligence?

机译：从大数据到大型人工智能？
- 作者：Kristian Kersting;Ulrich Meyer
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第1期
81.Rethinking Computer Science Through AI

机译：通过AI重新思考计算机科学
- 作者：Kersting Kristian
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第4期
82.A Short Survey on Inconsistency Handling in Ontology-Mediated Query Answering

机译：本体介绍查询应答中的不一致处理的简短调查
- 作者：Bienvenu Meghyn
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第4期
- Inconsistency handling;
- Ontology-mediated query answering;
- Description logics;
83.Automatic Detection of Visual Search for the Elderly using Eye and Head Tracking Data

机译：自动检测使用眼睛和头跟踪数据的老年人的视觉搜索
- 作者：Michael Dietz;Daniel Schork;Ionut Damian;Anika Steinert;Marten Haesner;Elisabeth Andre
- 期刊名称：《Kunstliche Intelligenz》 | 2017年第4期
- Visual search;
- Activity recognition;
- Machine learning;
- Eye tracking;
- Head tracking;
84.Industrial Applications of Answer Set Programming

机译：答案集编程的工业应用
- 作者：Andreas Falkner;Gerhard Friedrich;Konstantin Schekotihin;Richard Taupe;Erich C. Teppan
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Answer set programming;
- Applications;
85.Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

机译：使用ASPTools集合的交叉翻译答案设置程序
- 作者：Tomi Janhunen
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Cross compilation;
- Rules;
- Answer sets;
- Constraints;
- Satisfiability;
86.Aggregates in Answer Set Programming

机译：答案集编程中的聚集体
- 作者：Mario Alviano;Wolfgang Faber
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Answer set programming;
- Recursive aggregates;
- Nonmonotonic reasoning;
87.A Cognitive Observer-Based Landmark-Preference Model

机译：基于认知观察者的地标偏好模型
- 作者：Florian Roser
- 期刊名称：《Kunstliche Intelligenz》 | 2017年第2期
88.Assigning Group Activity Semantics to Multi-Device Mobile Sensor Data: An Explanation-Based Perspective

机译：将组活动语义分配给多设备移动传感器数据：基于解释的透视图
- 作者：Seng W. Loke;Amin Bakshandeh Abkenar
- 期刊名称：《Kunstliche Intelligenz》 | 2017年第4期
89.Dynamic Programming on Tree Decompositions with D-FLAT

机译：用D-FLAT的树分解动态编程
- 作者：Michael Abseher;Bernhard Bliem;Markus Hecher;Marius Moldovan;Stefan Woltran
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Tree decomposition;
- Answer set programming;
- Dynamic programming;
90.Editorial to Special Issue on Smart Environments

机译：智能环境中的特殊问题
- 作者：Diedrich Wolter;Alexandra Kirsch
- 期刊名称：《Kunstliche Intelligenz》 | 2017年第3期
91.Answer set programming unleashed!

机译：回答设置编程释放！
- 作者：Torsten Schaub;Stefan Woltran
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
92.Rewriting Approaches for Ontology-Mediated Query Answering

机译：本体介导查询应答的重写方法
- 作者：Ahmetaj Shqiponja
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第4期
93.A Lightweight Defeasible Description Logic in Depth Quantification in Rational Reasoning and Beyond

机译：一种轻量级义的描述，理性推理和超越深度量化的逻辑
- 作者：Pensel Maximilian
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第4期
94.On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture

机译：关于合理性遵守的遵守措施：或多或少完整的图片
- 作者：Matthias Thimm
- 期刊名称：《Kunstliche Intelligenz》 | 2017年第1期
- Inconsistency measurement;
- Rationality postulates;
95.DFG Research Unit (Forschergruppe) FOR 1513 Hybrid Reasoning for Intelligent Systems

机译：DFG研究单位（Forschergruppe）为智能系统的1513个混合推理
- 作者：Gerhard Lakemeyer
- 期刊名称：《Kunstliche Intelligenz》 | 2017年第1期
96.Landmark Extraction from Web-Harvested Place Descriptions

机译：来自Web收集的地方描述的地标提取
- 作者：Junchul Kim;Maria Vasardani;Stephan Winter
- 期刊名称：《Kunstliche Intelligenz》 | 2017年第2期
- Landmark extraction;
- Spatial information;
- Human spatial knowledge;
- Textual descriptions;
- Web harvesting;
97.Defeasible Description Logics

机译：不可避免的描述逻辑
- 作者：Varzinczak Ivan
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第4期
98.Answer Set Programming from a Logical Point of View

机译：从逻辑的角度回答设置编程
- 作者：Pedro Cabalar;David Pearce;Agustín Valverde
- 期刊名称：《Kunstliche Intelligenz》 | 2018年第3期
- Answer set programming;
- Equilibrium logic;
- Non-classical logics;
99.The AAA ABox Abduction Solver System Description

机译：AAA ABOX展示求解器系统描述
- 作者：Pukancova Julia;Homola Martin
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第4期
- Description logics;
- Abduction;
- Implementation;
100.Semantic Technologies for Situation Awareness Report on a Project Within the CRC 'Highly Adaptive Energy-Efficient Computing'

机译：关于CRC“高度自适应节能计算”项目中项目的语义技术
- 作者：Baader Franz;Borgwardt Stefan;Koopmann Patrick;Thost Veronika;Turhan Anni-Yasmin
- 期刊名称：《Kunstliche Intelligenz》 | 2020年第4期
- Situation awareness;
- Description logics;
- Reasoning;
- Complexity;
- Ontology-based data access;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号