咨询与建议

限定检索结果

文献类型

  • 416 篇 会议
  • 38 篇 期刊文献
  • 1 册 图书

馆藏范围

  • 455 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 328 篇 工学
    • 313 篇 计算机科学与技术...
    • 198 篇 软件工程
    • 30 篇 电气工程
    • 24 篇 控制科学与工程
    • 17 篇 信息与通信工程
    • 9 篇 机械工程
    • 7 篇 电子科学与技术(可...
    • 5 篇 安全科学与工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 生物工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 动力工程及工程热...
    • 2 篇 建筑学
    • 2 篇 测绘科学与技术
  • 77 篇 理学
    • 57 篇 数学
    • 13 篇 系统科学
    • 10 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 4 篇 物理学
    • 1 篇 地质学
  • 29 篇 管理学
    • 21 篇 管理科学与工程(可...
    • 11 篇 工商管理
    • 8 篇 图书情报与档案管...
  • 5 篇 医学
    • 4 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 文学
    • 1 篇 外国语言文学
    • 1 篇 新闻传播学
  • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学

主题

  • 104 篇 logic programmin...
  • 22 篇 fuzzy logic
  • 15 篇 semantics
  • 12 篇 object oriented ...
  • 12 篇 programming
  • 11 篇 logic gates
  • 11 篇 linear programmi...
  • 9 篇 computer circuit...
  • 9 篇 hardware
  • 9 篇 dynamic programm...
  • 7 篇 logic
  • 7 篇 probabilistic lo...
  • 6 篇 access control
  • 6 篇 formal logic
  • 6 篇 model checking
  • 6 篇 computational mo...
  • 6 篇 fuzzy control
  • 6 篇 computer program...
  • 6 篇 answer set progr...
  • 6 篇 software design

机构

  • 4 篇 vienna univ tech...
  • 3 篇 suny stony brook...
  • 2 篇 school of automo...
  • 2 篇 univ nova lisboa...
  • 2 篇 univ calif river...
  • 2 篇 univ bologna dei...
  • 2 篇 school of comput...
  • 2 篇 department of co...
  • 2 篇 information and ...
  • 2 篇 univ cagliari di...
  • 2 篇 ibm tokyo resear...
  • 2 篇 labmag lisbon
  • 2 篇 wroclaw univ tec...
  • 2 篇 calif state poly...
  • 2 篇 univ kentucky de...
  • 2 篇 shenzhen tourism...
  • 2 篇 univ texas dept ...
  • 1 篇 new mexico state...
  • 1 篇 dept. computersc...
  • 1 篇 k.u. leuven depa...

作者

  • 4 篇 pereira lm
  • 3 篇 truszczynski m
  • 3 篇 swift t
  • 3 篇 lifschitz v
  • 3 篇 alferes jj
  • 3 篇 vojtás p
  • 3 篇 marriott kim
  • 2 篇 deschreye d
  • 2 篇 schuerman kees
  • 2 篇 pinna g. michele
  • 2 篇 medina j
  • 2 篇 montali marco
  • 2 篇 bruynooghe mauri...
  • 2 篇 przymusinski tc
  • 2 篇 li liang-liang
  • 2 篇 véron andré
  • 2 篇 bartoletti massi...
  • 2 篇 cui bq
  • 2 篇 sideri m
  • 2 篇 cimoli tiziana

语言

  • 449 篇 英文
  • 4 篇 其他
  • 1 篇 法文
  • 1 篇 俄文
检索条件"任意字段=5th Conference on Logic Programming, 1986"
455 条 记 录,以下是121-130 订阅
排序:
Making program logics intelligible
Making program logics intelligible
收藏 引用
5th International conference on theoretical Aspects of Software Engineering, TASE 2011
作者: Reynolds, John C. Carnegie Mellon University United States
To verify program specifications, rather than generic safety properties, it will be necessary to integrate verification into the process of programming. Program proving is unlike theorem proving in mathematics mathema... 详细信息
来源: 评论
Formalizing application programming interfaces of the OSEK/VDX operating system specification
Formalizing application programming interfaces of the OSEK/V...
收藏 引用
5th International conference on theoretical Aspects of Software Engineering, TASE 2011
作者: Zhu, Longfei Zhang, Min Huang, Yanhong Shi, Jianqi Zhu, Huibiao Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai China
OSEK/VDX Operating System Specification is a standard in automotive industry with a long history. Dozens of mature industrial operating systems are based on this specification and widely applied in the products of maj... 详细信息
来源: 评论
Scalable Uncertainty Management - 5th International conference, SUM 2011, Proceedings
收藏 引用
5th International conference on Scalable Uncertainty Management, SUM 2011
the proceedings contain 42 papers. the topics discussed include: causality, responsibility, and blame: a structural-model approach;fuzzy logic, annotation domains and semantic web languages;logic programming and uncer...
来源: 评论
Argumentation Frameworks with Necessities
收藏 引用
5th International conference on Scalable Uncertainty Management (SUM 2011)
作者: Nouioua, Farid Risch, Vincent CNRS UMR 6168 LSIS F-13397 Marseille France
In this paper, we introduce argumentation frameworks with necessities (AFNs), an extension of Dung's argumentation frameworks (AFs) taking into account a necessity relation as a kind of support relation between ar... 详细信息
来源: 评论
t-DeLP: A Temporal Extension of the Defeasible logic programming Argumentative Framework
收藏 引用
5th International conference on Scalable Uncertainty Management (SUM 2011)
作者: Pardo, Pere Godo, Lluis CSIC IIIA E-08193 Bellaterra Catalonia Spain
the aim of this paper is to offer an argumentation-based defeasible logic that enables temporal forward reasoning. We extend the DeLP logical framework by associating temporal parameters to literals. A temporal logic ... 详细信息
来源: 评论
Learning to Act Optimally in Partially Observable Markov Decision Processes Using Hybrid Probabilistic logic Programs
收藏 引用
5th International conference on Scalable Uncertainty Management (SUM 2011)
作者: Saad, Emad Gulf Univ Sci & Technol Dept Comp Sci Mishref Kuwait
We present a probabilistic logic programming framework to reinforcement learning, by integrating reinforcement learning, in POMDP environments, with normal hybrid probabilistic logic programs with probabilistic answer... 详细信息
来源: 评论
A Semantic Model for Many-Core Parallel Computing
A Semantic Model for Many-Core Parallel Computing
收藏 引用
5th Annual International conference on Combinatorial Optimization and Applications (COCOA 2011)
作者: Zhang, Nan Duan, Zhenhua Xidian Univ Inst Comp Theory & Technol Xian 710071 Peoples R China
Many-core parallel computing and programming is a new challenge for formal specification and verification. this paper presents a semantic model for many-core parallel computing systems so that the systems can be model... 详细信息
来源: 评论
Visibly Pushdown Languages for a GUI Parsing Application with Probabilistic Lexer
Visibly Pushdown Languages for a GUI Parsing Application wit...
收藏 引用
5th Annual IEEE International conference on Semantic Computing (ICSC)
作者: Lehavi, David Barkol, Omer Schein, Sagi HP Labs Palo Alto CA 94304 USA
Automatic understanding of GUI (Graphic User Interfaces) is vitally important for applications such as quality assurance, user monitoring, speech activated devices, automatic generation of GUI for application accessib... 详细信息
来源: 评论
Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic programming
Synthesizing Solutions to the Leader Election Problem Using ...
收藏 引用
5th International Haifa Verification conference
作者: Katz, Gal Peled, Doron Bar Ilan Univ Dept Comp Sci IL-52900 Ramat Gan Israel
In recent papers [13,14,15], we demonstrated a methodology for developing correct-by-design programs from temporal logic specification using genetic programming. Model checking the temporal specification is used to ca... 详细信息
来源: 评论
Inline evaluation of hybrid knowledge bases: PhD description
Inline evaluation of hybrid knowledge bases: PhD description
收藏 引用
5th International conference on Web Reasoning and Rule Systems, RR 2011
作者: Xiao, Guohui Eiter, thomas Institute of Information Systems 184/3 Vienna University of Technology Favoritenstraße 9-11 A-1040 Vienna Austria
the deployment of knowledge representation formalisms to the Web has created the need for hybrid formalisms that combine heterogeneous knowledge bases. the aim of this research is to improve the reasoning efficiency o... 详细信息
来源: 评论