咨询与建议

限定检索结果

文献类型

  • 492 篇 会议
  • 29 篇 期刊文献
  • 24 册 图书

馆藏范围

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

日期分布

学科分类号

  • 382 篇 工学
    • 347 篇 计算机科学与技术...
    • 220 篇 软件工程
    • 60 篇 控制科学与工程
    • 40 篇 电气工程
    • 22 篇 信息与通信工程
    • 11 篇 电子科学与技术(可...
    • 9 篇 机械工程
    • 9 篇 建筑学
    • 8 篇 力学(可授工学、理...
    • 8 篇 土木工程
    • 8 篇 生物医学工程(可授...
    • 7 篇 材料科学与工程(可...
    • 7 篇 交通运输工程
    • 5 篇 仪器科学与技术
    • 5 篇 生物工程
    • 4 篇 化学工程与技术
  • 113 篇 理学
    • 93 篇 数学
    • 13 篇 系统科学
    • 12 篇 统计学(可授理学、...
    • 10 篇 物理学
    • 10 篇 生物学
  • 29 篇 管理学
    • 17 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 12 篇 医学
    • 10 篇 基础医学(可授医学...
    • 10 篇 临床医学
    • 7 篇 药学(可授医学、理...
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 法学
    • 4 篇 社会学
  • 4 篇 教育学
    • 4 篇 教育学
  • 2 篇 农学

主题

  • 88 篇 logic programmin...
  • 24 篇 computer circuit...
  • 20 篇 fuzzy logic
  • 16 篇 semantics
  • 15 篇 programming
  • 15 篇 mathematical log...
  • 15 篇 logics and meani...
  • 14 篇 artificial intel...
  • 13 篇 programming lang...
  • 12 篇 linear programmi...
  • 12 篇 programming tech...
  • 11 篇 formal logic
  • 11 篇 software enginee...
  • 10 篇 logic gates
  • 10 篇 logic
  • 9 篇 genetic programm...
  • 9 篇 algebra
  • 9 篇 functional progr...
  • 8 篇 web services
  • 7 篇 programmable log...

机构

  • 3 篇 cwi p.o. box 940...
  • 2 篇 sri int menlo pk...
  • 2 篇 huelva universit...
  • 2 篇 department of co...
  • 2 篇 trinity coll dub...
  • 2 篇 ctr wiskunde & i...
  • 2 篇 computer science...
  • 2 篇 hanoi univ techn...
  • 2 篇 department of me...
  • 2 篇 università di pi...
  • 2 篇 applied mathemat...
  • 2 篇 fujitsu laborato...
  • 2 篇 dept. of informa...
  • 2 篇 industrial depar...
  • 2 篇 department of ma...
  • 2 篇 department of el...
  • 2 篇 univ munich inst...
  • 2 篇 faculty of elect...
  • 2 篇 univ kent canter...
  • 2 篇 vienna univ tech...

作者

  • 3 篇 osorio m
  • 2 篇 riedl l
  • 2 篇 ortiz m
  • 2 篇 yu yong
  • 2 篇 kurz a
  • 2 篇 casadei roberto
  • 2 篇 kahl wolfram
  • 2 篇 schobbens pierre...
  • 2 篇 hennicker r
  • 2 篇 ray oliver
  • 2 篇 le van hung
  • 2 篇 kifer michael
  • 2 篇 bidoit m
  • 2 篇 lin ying
  • 2 篇 zhao na
  • 2 篇 moto-oka t.
  • 2 篇 stehr mark-olive...
  • 2 篇 zhang xuan
  • 2 篇 pianini danilo
  • 2 篇 jaffar joxan

语言

  • 537 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"任意字段=4th International Conference on Algebraic and Logic Programming"
545 条 记 录,以下是371-380 订阅
排序:
Optimized translation of multi modal logic into predicate logic  4th
收藏 引用
4th international conference on logic programming and Automated Reasoning, LPAR 1993
作者: Ohlbach, Hans Jürgen Max-Planck-Institut für Informatik Im Stadtwald Saarbrücken 116600 Germany
the functional translation from modal logic into first-order predicate logic is revised. Quantifier elimination of second-order predicates is used to translate almost arbitrary modal systems, i.e. not only modal formu... 详细信息
来源: 评论
5th international Andrei Ershov Memorial conference, PSI 2003
收藏 引用
5th international Andrei Ershov Memorial conference on Perspectives of System Informatics, PSI 2003
the proceedings contain 55 papers. the special focus in this conference is on programming Issues and Software Engineering. the topics include: A grand challenge for computing research;linear types for cashflow reengin...
来源: 评论
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties
收藏 引用
4th international conference on Runtime Verification (RV)
作者: Decker, Normann Leucker, Martin thoma, Daniel Med Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany
We study monitoring of visibly context-free properties. these properties reflect the common concept of nesting which arises naturally in software systems. they can be expressed e. g. in the temporal logic CaRet which ... 详细信息
来源: 评论
Testing First-Order logic Axioms in Program Verification
Testing First-Order Logic Axioms in Program Verification
收藏 引用
4th international conference on Tests and Proofs
作者: Ahn, Ki Yung Denney, Ewen Portland State Univ Portland OR 97207 USA NASA Ames Res Ctr Mission Crit Technol Inc Moffett Field CA 94035 USA NASA Ames Res Ctr Stinger Ghaffarian Technol Inc Moffett Field CA 94035 USA
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms correctly (that is, formalizing propertie... 详细信息
来源: 评论
A generic formulation of neural nets as a model of parallel and self-programming computation
收藏 引用
4th international Work-conference on Artificial Neural Networks (IWANN 97)
作者: Mira, J Herrero, JC Delgado, AE Univ Nacl Educ Distancia Dpto Inteligencia Artificial Madrid Spain
In the same way the more conventional fields of computer science need some theory, including the mathematical foundations of the calculus and the establishment of formal models, neural computation also needs its own. ... 详细信息
来源: 评论
A logic programming based specification animation tool for real-time systems
A logic programming based specification animation tool for r...
收藏 引用
4th IEEE Region 10th international conference - TENCON '89
作者: Mitra, S. Bhattacharyya, G. Ghoshal, T.K. Datta, K. Sengupta, R. Electr Eng Dept Jadavpur Univ Calcutta India
During elicitation and verification of specification for real time control systems the sequential-temporal aspects need to be treated separately. these aspects also require animation for verification and incremental r... 详细信息
来源: 评论
programming by Demonstration: An Inductive Learning Formulation  99
Programming by Demonstration: An Inductive Learning Formulat...
收藏 引用
4th international conference on Intelligent User Interfaces, IUI 1999
作者: Lau, Tessa A. Weld, Daniel S. Department of Computer Science and Engineering University of Washington SeattleWA98195-2350 United States
Although programming by Demonstration (PBD) has the potential to improve the productivity of unsophisticated users, previous PBD systems have used brittle, heuristic, domain-specific approaches to execution-trace gene... 详细信息
来源: 评论
4th international conference on Soft Computing, Intelligent Systems and Information Technology, ICSIIT 2015
4th International Conference on Soft Computing, Intelligent ...
收藏 引用
4th international conference on Soft Computing, Intelligent Systems and Information Technology, ICSIIT 2015
the proceedings contain 68 papers. the special focus in this conference is on Fuzzy logic and control system, Genetic algorithm and heuristic approaches, Artificial intelligence and machine learning, Similarity-based ...
来源: 评论
4th international conference on Concurrency theory, CONCUR 1993
4th International Conference on Concurrency Theory, CONCUR 1...
收藏 引用
4th international conference on Concurrency theory, CONCUR 1993
the proceedings contain 37 papers. the special focus in this conference is on Concurrency theory. the topics include: the lambda-calculus with multiplicities;a multiset semantics for the pi-calculus with replication;m...
来源: 评论
Optimal Trajectory Planning for Multiphase Lunar Landing
Optimal Trajectory Planning for Multiphase Lunar Landing
收藏 引用
4th IFAC conference on Advances in Control and Optimization of Dynamical Systems (ACODS 2016)
作者: Mathavaraj, S. Pandiyan, R. Padhi, R. ISRO Satellite Ctr FDG ADD Bangalore Karnataka India ISRO Satellite Ctr FDG Bangalore Karnataka India Indian Inst Sci Dept Aerosp Engn Bangalore Karnataka India
Lunar landing problem is formulated as an optimal control problem and has been solved by Legendre Pseudospectral method. the landing problem is split into various stages to take into account various mission constraint... 详细信息
来源: 评论