咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是91-100 订阅
排序:
Belief, knowledge, revisions, and a semantics of non-monotonic reasoning  5th
收藏 引用
5th International conference on logic programming and Nonmonotonic Reasoning (LPNMR 99)
作者: Sefránek, J Comenius Univ Inst Informat Bratislava 84215 Slovakia
Przymusinski's Autoepistemic logic of Knowledge and Belief (AELKB) is a unifying framework for various non-monotonic formalisms. In this paper we present a semantic characterization of AELKB in terms of Dynamic Kr... 详细信息
来源: 评论
the influence of indirect association rules on recommendation ranking lists
The influence of indirect association rules on recommendatio...
收藏 引用
5th International conference on Intelligent Systems Design and Applications (ISDA 2005)
作者: Kazienko, P Kuzminska, K Wroclaw Univ Technol Inst Appl Informat PL-50370 Wroclaw Poland
Association rules are often utilized in web recommendation systems for creation of suggested items lists. However, lists obtained in this way may be too short. Indirect association rules are introduced to extend class... 详细信息
来源: 评论
LEARNING IN thE RECURRENT HOPFIELD NETWORK
LEARNING IN THE RECURRENT HOPFIELD NETWORK
收藏 引用
5th International conference on Computer Graphics, Imaging and Visualization (CGIV)
作者: Sathasivam, Saratha Univ Sains Malaysia Sch Math Sci George Town Malaysia
there are two ways to calculate synaptic weights for neurons in logic programming. there are by using Hebbian learning or by Wan Abdullah's method Hebbian learning for governing events corresponding to some respec... 详细信息
来源: 评论
Relational algebras, logic, and functional programming  84
Relational algebras, logic, and functional programming
收藏 引用
1984 ACM SIGMOD International conference on Management of Data, SIGMOD 1984
作者: Hall, Patrick A.V. Cirrus Computers Ltd. 29/30 High Street FarehamPO16 7AD United Kingdom
Relational algebras as developed by Codd and his followers are extended by noting an equivalence with functional languages. this leads to higher order relations, recursive definitions of relations, and the use of high... 详细信息
来源: 评论
Agents that learn to behave in multi-agent simulations
Agents that learn to behave in multi-agent simulations
收藏 引用
5th IASTED International conference on Modelling, Simulation and Optimization
作者: Dávila, J Uzcátegui, M CeSiMo Fac Ingn Merida 5101 Venezuela
this paper illustrates the use of Inductive logic programming to program agents that learn rules of behaviour from simulated histories of their embedding systems. We have shown how a ILP system can be used to learn ru... 详细信息
来源: 评论
From causal theories to logic programs (sometimes)  5th
收藏 引用
5th International conference on logic programming and Nonmonotonic Reasoning (LPNMR 99)
作者: Lin, FZ Wang, KW Hong Kong Univ Sci & Technol Dept Comp Sci Kowloon Hong Kong Peoples R China
In this paper, we shall provide a translation of a class of causal theories in (Lin [3]) to Gelfond and Lifschitz's disjunctive logic programs with classical negation [1]. We found this translation interesting for... 详细信息
来源: 评论
Planning and scheduling in hybrid domains using answer set programming  5
Planning and scheduling in hybrid domains using answer set p...
收藏 引用
5th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2012, co-located with the 28th International conference on logic programming, ICLP 2012
作者: Chintabathina, Sandeep University of Arkansas at Pine Bluff Pine Bluff AR71601 United States
In this paper we present an Action Language-Answer Set programming based approach to solving planning and scheduling problems in hybrid domains - domains that exhibit both discrete and continuous behavior. We use acti... 详细信息
来源: 评论
Learning Requirements Analysis to Software Design Transformation Rules by Examples: Limitations of Current ILP Systems  5
Learning Requirements Analysis to Software Design Transforma...
收藏 引用
5th IEEE International conference on Software Engineering and Service Science (ICSESS)
作者: Al-Jamimi, Hamdi A. Ahmed, Moataz A. King Fahd Univ Petr & Minerals Dept Informat & Comp Sci Dhahran 31261 Saudi Arabia
Model transformation is defined as a central concept in model driven engineering. Identifying the transformation rules is nontrivial task, where it might be much easier for the experts to provide examples of the trans... 详细信息
来源: 评论
CUSC: Composable User-Centric Smart Contracts  5
CUSC: Composable User-Centric Smart Contracts
收藏 引用
5th conference on Blockchain Research and Applications for Innovative Networks and Services (BRAINS)
作者: Knecht, Markus Stiller, Burkhard Univ Zurich UZH Dept Informat IfI Commun Syst Grp CSG Binzmuhlestr 14 CH-8050 Zurich Switzerland Univ Appl Sci Northwestern Switzerland Inst Mobile & Distributed Syst IMVS Bahnhofstr 6 CH-5210 Windisch Switzerland
Smart Contract (SC) programming Languages (PL) are inspired by Non-SC PLs. Many, like Solidity, use an object-oriented approach with interfaces and inheritance-based subtyping. However, the main focus of these concept... 详细信息
来源: 评论
Fixed-parameter complexity in AI and nonmonotonic reasoning  5th
收藏 引用
5th International conference on logic programming and Nonmonotonic Reasoning (LPNMR 99)
作者: Gottlob, G Scarcello, F Sideri, M Vienna Univ Technol Inst Informat Syst A-1040 Vienna Austria Athens Univ Econ & Business Dept Comp Sci Athens Greece
We study the fixed-parameter complexity of various problems in Al and nonmonotonic reasoning. We show that a number of relevant parameterized problems in these areas are fixed-parameter tractable. Among these problems... 详细信息
来源: 评论