掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Applications of Declarative Programming and Knowledge Management
International Conference on Applications of Declarative Programming and Knowledge Management
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Integrating Time Constraints into Constraint-Based Configuration Models
机译:
将时间约束集成到基于约束的配置模型中
作者:
Ulrich John
;
Ulrich Geske
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
2.
Mining Semantic Structures in Movies
机译:
电影中的挖掘语义结构
作者:
Kimiaki Shirahama
;
Yuya Matsuo
;
Kuniaki Uehara
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
3.
A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints
机译:
求解基于图形的全局约束的约束问题的本地搜索系统
作者:
Markus Bohlin
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
4.
An Evaluation of a Rule-Based Language for Classification Queries
机译:
评估基于规则的分类查询语言
作者:
Dennis P. Groth
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
5.
Incremental Learning of Transfer Rules for Customized Machine Translation
机译:
自定义机器翻译转移规则的增量学习
作者:
Werner Winiwarter
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
6.
Deductive and Inductive Reasoning on Spatio-Temporal Data
机译:
短时间数据的演绎和归纳推理
作者:
Mirco Nanni
;
Alessandra Raffaeta
;
Chiara Renso
;
Franco Turini
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
7.
SQL Based Frequent Pattern Mining with FP-Growth
机译:
基于SQL的频繁模式挖掘,具有FP-生长
作者:
Xuequn Shang
;
Kai-Uwe Sattler
;
Ingolf Geist
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
8.
Declaratively Querying and Visualizing Knowledge Bases in XML
机译:
在XML中声明和可视化知识库
作者:
Dietmar Seipel
;
Joachim Baumeister
;
Marbod Hopfner
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
关键词:
knowledge systems;
rule bases;
PROLOG;
OWL;
XML query/transformations;
visualization;
9.
DialogEngines - Dialog Agents for Web-Based Self Service Consulting
机译:
Dialogengenes - 基于Web的自助服务咨询的对话代理
作者:
Oskar Bartenstein
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
10.
Solving Alternating Boolean Equation Systems in Answer Set Programming
机译:
解决答案集编程中的交替布尔方程系统
作者:
Misa Keinaenen
;
Ilkka Niemelae
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
11.
Realising the Alternative Resources Constraint
机译:
实现替代资源约束
作者:
Armin Wolf
;
Hans Schlenker
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
12.
Towards Ubiquitous Maintenance — Defining Invocation of Plant Maintenance Agents in Real Workspace by Spatial Programming
机译:
拓宽维护 - 通过空间编程定义真实工作空间中的植物维护代理的调用
作者:
Hiroki Takahashi
;
Osamu Yoshie
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
13.
Effective Modeling with Constraints
机译:
用约束有效建模
作者:
Roman Bartak
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
14.
A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language
机译:
对Xcerpt的语义,Web查询和转换语言的贡献
作者:
Francois Bry
;
Sebastian Schaffert
;
Andreas Schroeder
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
15.
Web Services Based on PROLOG and XML
机译:
基于Prolog和XML的Web服务
作者:
Bernd D. Heumesser
;
Andreas Ludwig
;
Dietmar Seipel
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
16.
Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases
机译:
诊断规则基础的质量措施和半自动挖掘
作者:
Martin Atzmueller
;
Joachim Baumeister
;
Frank Puppe
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
17.
A Pragmatic Approach to Pre-testing Prolog Programs
机译:
预先测试Prolog计划的务实方法
作者:
Christoph Beierle
;
Marija Kulas
;
Manfred Widera
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
18.
Optimizing the Evaluation of XPath Using Description Logics
机译:
使用描述逻辑优化XPath的评估
作者:
Peter Baumgartner
;
Ulrich Furbach
;
Margret Gross-Hardt
;
Thomas Kleemann
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
关键词:
XML;
XPath;
description logics;
automated reasoning;
DTD;
schema;
19.
Concurrent Engineering to Wisdom Engineering
机译:
智慧工程并发工程
作者:
Shuichi Fukuda
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
20.
Distributed Constraint-Based Railway Simulation
机译:
基于分布的基于约束的铁路模拟
作者:
Hans Schlenker
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2005年
21.
Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource
机译:
线性加权任务 - 总和 - 在单个资源上调度优先任务
作者:
Armin Wolf
;
Gunnar Schrader
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
22.
Constraint-Based Timetabling System for the German University in Cairo
机译:
基于约束的开罗德语大学的时间表系统
作者:
Slim Abdennadher
;
Mohamed Aly
;
Marlien Edward
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
23.
Integrating XQuery and Logic Programming
机译:
集成XQuery和逻辑编程
作者:
Jesus M. Almendros-Jimenez
;
Antonio Becerra-Teron
;
Francisco J. Enciso-Banos
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
24.
Efficient Edge-Finding on Unary Resources with Optional Activities Revised and Extended Version
机译:
有效的优化边缘查找拟合资源,可选活动修订和扩展版本
作者:
Sebastian Kuhnert
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
关键词:
Constraint-based scheduling;
Global constraints;
Optional tasks and activities;
Unary resources;
25.
Java Type Unification with Wildcards
机译:
Java类型统一与通配符
作者:
Martin Plumicke
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
26.
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators
机译:
混合算子Prolog调节规则编程模型
作者:
Grzegorz J. Nalepa
;
Igor Wojnicki
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
27.
Relational Models for Tabling Logic Programs in a Database
机译:
用于在数据库中提交逻辑程序的关系模型
作者:
Pedro Costa
;
Ricardo Rocha
;
Michel Ferreira
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
28.
A Guide for Manual Construction of Difference-List Procedures
机译:
手动构建差异列表程序指南
作者:
Ulrich Geske
;
Hans-Joachim Goltz
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
29.
Causal Subgroup Analysis for Detecting Confounding
机译:
检测混沌的因果子组分析
作者:
Martin Atzmueller
;
Frank Puppe
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
30.
Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining
机译:
使用域知识的声明性规范来描述性数据挖掘
作者:
Martin Atzmueller
;
Dietmar Seipel
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
31.
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics
机译:
具有呼叫时选择语义的一阶功能逻辑程序缩小
作者:
Francisco J. Lopez-Fraguas
;
Juan Rodriguez-Hortala
;
Jaime Sanchez-Hernandez
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
32.
The Kiel Curry System KICS
机译:
基尔咖喱系统KIC
作者:
Bernd Brassel
;
Frank Huch
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
33.
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics
机译:
Spock:答案集语义下的逻辑节目的调试支持工具
作者:
Martin Gebser
;
Jorg Puhrer
;
Torsten Schaub
;
Hans Tompits
;
Stefan Woltran
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
34.
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications
机译:
南瓜:用于分析,调整和重构关系数据库应用程序的工具
作者:
Andreas M. Boehm
;
Dietmar Seipel
;
Albert Sickmann
;
Matthias Wetzka
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
35.
Encoding of Planning Problems and Their Optimizations in Linear Logic
机译:
线性逻辑中规划问题的编码及其优化
作者:
Lukas Chrpa
;
Pavel Surynek
;
Jiri Vyskocil
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
36.
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT
机译:
测试在系统CCT中的答案集投影下的均匀均匀等效
作者:
Johannes Oetsch
;
Martina Seidl
;
Hans Tompits
;
Stefan Woltran
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
37.
Integrating Temporal Annotations in a Modular Logic Language
机译:
以模块化逻辑语言集成时间注释
作者:
Vitor Nogueira
;
Salvador Abreu
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2009年
38.
Translating Nondeterministic Functional Language Based on Attribute Grammars into Java
机译:
基于属性语法转换为Java的非算法函数语言
作者:
Masanobu Umeda
;
Ryoto Naruse
;
Hiroaki Sone
;
Keiichi Katamine
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
关键词:
Knowledge representation language;
Language translation;
Prolog;
Java;
39.
Every Formula-Based Logic Program Has a Least Infinite-Valued Model
机译:
基于公式的逻辑程序具有最小无限值的模型
作者:
Rainer Ludecke
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
关键词:
Logic programming;
Semantics of programs;
Negation-as-failure;
Infinite-valued logics;
Set theory;
40.
Translating Answer-Set Programs into Bit-Vector Logic
机译:
将答案设置程序翻译成位矢量逻辑
作者:
Mai Nguyen
;
Tomi Janhunen
;
Ilkka Niemela
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
41.
Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks
机译:
序号秩的声明性关系查询语言的敏感性分析
作者:
Radim Belohlavek
;
Lucie Urbanova
;
Vilem Vychodil
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
关键词:
Declarative query languages;
Ordinal ranks;
Relational databases;
Residuated lattices;
42.
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
机译:
利用Abstal Aructure Systems的答案集编程的进步
作者:
Wolfgang Dvorak
;
Sarah Alice Gaggl
;
Johannes Peter Wallner
;
Stefan Woltran
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
关键词:
Abstract argumentation;
Answer-set programming;
Meta programming;
43.
Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users
机译:
保密 - 保密的EDPS为轻信和持怀疑态度的用户
作者:
Katsumi Inoue
;
Chiaki Sakama
;
Lena Wiese
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
关键词:
Data publishing;
Confidentiality;
Privacy;
Extended abduction;
Answer set programming;
Negation as failure;
Non-monotonic reasoning;
44.
The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report
机译:
密封已降落:用于答案集编程的IDE - 初步报告
作者:
Johannes Oetsch
;
Jorg Puhrer
;
Hans Tompits
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
45.
Coprocessor - a Standalone SAT Preprocessor
机译:
协处理器 - 一个独立的SAT预处理器
作者:
Norbert Manthey
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
46.
A Prototype of a Knowledge-Based Programming Environment
机译:
基于知识的编程环境的原型
作者:
Stef De Pooter
;
Johan Wittocx
;
Marc Denecker
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
47.
Solving Modular Model Expansion: Case Studies
机译:
解决模块化模型扩张:案例研究
作者:
Shahab Tasharrofi
;
Xiongnan (Newman) Wu
;
Eugenia Ternovska
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
48.
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
机译:
KARA:用于可视化和视觉编辑对答案设置程序的解释的系统
作者:
Christian Kloimullner
;
Johannes Oetsch
;
Jorg Puhrer
;
Hans Tompits
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
49.
Computing with Logic as Operator Elimination: The ToyElim System
机译:
用逻辑计算为操作员消除:Toyelim系统
作者:
Christoph Wernhard
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
50.
Unit Testing in ASPIDE
机译:
aspide中的单元测试
作者:
Onofrio Febbraro
;
Nicola Leone
;
Kristian Reale
;
Francesco Ricca
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
51.
A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming
机译:
使用约束逻辑编程计算序数条件函数的声明性方法
作者:
Christoph Beierle
;
Gabriele Kern-Isberner
;
Karl Sodler
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
52.
FdConfig: A Constraint-Based Interactive Product Configurator
机译:
fdconfig:基于约束的交互式产品配置器
作者:
Denny Schneeweiss
;
Petra Hofstedt
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
53.
A Descriptive Approach to Preferred Answer Sets
机译:
首选答案集的描述性方法
作者:
Jan Sefranek
;
Alexander Simko
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
关键词:
Extended logic program;
Answer set;
Preference;
Preferred answer set;
Argumentation structure;
54.
The Parameterized Complexity of Constraint Satisfaction and Reasoning
机译:
约束满足和推理的参数化复杂性
作者:
Stefan Szeider
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
55.
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems
机译:
用于管理多上下文系统不一致的ACM策略语言
作者:
Thomas Eiter
;
Michael Fink
;
Giovambattista Ianni
;
Peter Schuller
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
56.
dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation
机译:
Dynpartix - 一种用于抽象论证的动态编程推理
作者:
Wolfgang Dvorak
;
Michael Morak
;
Clemens Nopp
;
Stefan Woltran
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
57.
HEX-Programs with Nested Program Calls
机译:
带有嵌套程序调用的十六进制程序
作者:
Thomas Eiter
;
Thomas Krennwallner
;
Christoph Redl
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
58.
A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases
机译:
一种统一的FixPoint方法,用于执行推断方法的推断方法
作者:
Andreas Behrend
会议名称:
《International Conference on Applications of Declarative Programming and Knowledge Management》
|
2013年
意见反馈
回到顶部
回到首页