咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 472 篇 电子文献
  • 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
  • 16 篇 artificial intel...
  • 15 篇 semantics
  • 12 篇 object oriented ...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 software enginee...
  • 11 篇 logic gates
  • 11 篇 linear programmi...
  • 9 篇 computer circuit...
  • 9 篇 programming tech...
  • 9 篇 hardware
  • 9 篇 dynamic programm...
  • 8 篇 programming lang...
  • 8 篇 logics and meani...
  • 8 篇 logic design
  • 7 篇 logic
  • 7 篇 probabilistic lo...
  • 6 篇 access control

机构

  • 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

语言

  • 466 篇 英文
  • 4 篇 其他
  • 1 篇 法文
  • 1 篇 俄文
检索条件"任意字段=5th Conference on Logic Programming, 1986"
472 条 记 录,以下是201-210 订阅
排序:
Active security system for an industrial robot based on artificial vision and fuzzy logic principles
Active security system for an industrial robot based on arti...
收藏 引用
ICINCO 2008 - 5th International conference on Informatics in Control, Automation and Robotics
作者: Fevery, B. Wyns, B. Boullart, L. Llata García, J.R. Torre Ferrero, C. Department of Electrical Energy Systems and Automation Ghent University Ghent Belgium Control Engineering Group Electronic Technology and Automatic Systems Department University of Cantabria Santander Spain
An active security system assures that interacting robots don't collide or that a robot operating independently doesn't hit any obstacle that is encountered in the robots workspace. In this paper, an active se... 详细信息
来源: 评论
Implementation of a data gathering system with scalable intelligent control architecture
收藏 引用
5th International Working conference on the Design of Information Infrastructure Systems for Manufacturing
作者: Takata, M Arai, E Univ Electrocommun Informat Proc Ctr Chofu Tokyo 182 Japan
this paper describes a system named "Glue logic", which is a infrastructural system designed for factory automation control system, and a sample implementation of a layer structured control system architectu... 详细信息
来源: 评论
Design Patterns for Description-logic Programs  5th
Design Patterns for Description-Logic Programs
收藏 引用
5th International Joint conference on Knowledge Discovery, Knowledge Engineering, and Knowledge Management (IC3K)
作者: Cruz-Filipe, L. Gaspar, G. Nunes, I. Univ Southern Denmark Dept Math & Comp Sci Odense Denmark Univ Lisbon Fac Ciencias Lisbon Portugal LabMAg Lisbon Portugal
Originally proposed in the mid-90s, design patterns for software development played a key role in object-oriented programming not only in increasing software quality, but also by giving a better understanding of the p... 详细信息
来源: 评论
A Journey into DSL design using generative programming: FPGA mapping of image border handling through refinement  5
A Journey into DSL design using generative programming: FPGA...
收藏 引用
5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International conference on Field Programmable logic and Applications, FPL 2018
作者: Akif Özkan, M. Pérard-Gayot, Arsène Membarth, Richard Slusallek, Philipp Teich, Jürgen Hannig, Frank Germany Germany Germany
Field Programmable Gate Arrays (FPGAs) are continually improving their computing capabilities and energy efficiency. Yet, programming FPGAs remains a time-consuming task and requires expert knowledge to obtain good pe... 详细信息
来源: 评论
Development of Concurrent Object-Oriented logic programming Platform for the Intelligent Monitoring of Anomalous Human Activities  7th
Development of Concurrent Object-Oriented Logic Programming ...
收藏 引用
5th International conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS) is part of 7th International Joint conference on Biomedical Engineering Systems and Technologies (BIOSTEC)
作者: Morozov, Alexei A. Vaish, Abhishek Polupanov, Alexander F. Antciperov, Vyacheslav E. Lychkov, Igor I. Alfimtsev, Aleksandr N. Deviatkov, Vladimir V. RAS Kotelnikov Inst Radio Engn & Elect Moscow 117901 Russia Indian Inst Informat Technol Allahabad Uttar Pradesh India Bauman Moscow State Tech Univ Moscow Russia Moscow State Univ Psychol & Educ Moscow Russia
the logic programming approach to the intelligent monitoring of anomalous human activity is considered. the main idea of this approach is to use first order logic for describing abstract concepts of anomalous human ac... 详细信息
来源: 评论
Typed Lambda Calculi and Applications  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Pierre-Louis Curien
this book constitutes the refereed proceedings of the 9th International conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th Inte... 详细信息
来源: 评论
A Prolog-oriented extension of Java programming based on generics and annotations  07
A Prolog-oriented extension of Java programming based on gen...
收藏 引用
2007 5th International conference on the Principles and Practice of programming in Java, PPPJ 2007
作者: Cimadamore, Maurizio Viroli, Mirko DEIS Cesena Alma Mater Studiorum Università di Bologna via Venezia 52 47023 Cesena Italy
Although object-oriented languages are nowadays the mainstream of application development, several research contexts suggest that a multi-paradigm approach is worth pursuing. In particular, a declarative, logic-based ... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
OPTIMIZING A DISCOURSE STRUCTURING COMPONENT FOR UTTERANCE GENERATION IN HUMAN-COMPUTER DIALOGUE
OPTIMIZING A DISCOURSE STRUCTURING COMPONENT FOR UTTERANCE G...
收藏 引用
5th conference on Speech Technology and Human-Computer-Dialogue (SpeD 2009)
作者: Popescu, Vladimir Caelen, Jean Burileanu, Corneliu Univ Avignon Lab Informat Avignon Avignon France
In this paper we describe a series of optimizations brought to a discourse structuring module for answer generation in dialogue systems. Starting from a baseline rhetorical structure updating algorithm, based on a fir... 详细信息
来源: 评论
Complementing logic program semantics  5th
Complementing logic program semantics
收藏 引用
Proceedings of the 1996 5th International conference on Algebraic and logic programming, ALP'96
作者: Giacobazzi, Roberto Ranzato, Francesco Dipartimento di Informatica Università di Pisa Corso Italia 40 Pisa 56155 Italy Dipartimento di Matematica Pura ed Applicata Università di Padova Via Belzoni 7 Padova 35131 Italy
We consider abstract interpretation, and in particular the basic operators of reduced product and complementation of abstract domains, as a tool to systematically derive denotational semantics by composition and decom... 详细信息
来源: 评论