咨询与建议

限定检索结果

文献类型

  • 162 篇 会议
  • 16 册 图书
  • 6 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 134 篇 工学
    • 127 篇 计算机科学与技术...
    • 60 篇 软件工程
    • 14 篇 电气工程
    • 13 篇 控制科学与工程
    • 6 篇 机械工程
    • 5 篇 信息与通信工程
    • 4 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 安全科学与工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 土木工程
    • 1 篇 水利工程
    • 1 篇 测绘科学与技术
    • 1 篇 航空宇航科学与技...
    • 1 篇 环境科学与工程(可...
  • 24 篇 理学
    • 19 篇 数学
    • 3 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 生物学
  • 9 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 2 篇 图书情报与档案管...
  • 2 篇 艺术学
    • 2 篇 设计学(可授艺术学...
  • 1 篇 法学
    • 1 篇 法学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 56 篇 logic programmin...
  • 14 篇 mathematical log...
  • 12 篇 logics and meani...
  • 10 篇 artificial intel...
  • 9 篇 programming lang...
  • 8 篇 software enginee...
  • 7 篇 computer circuit...
  • 7 篇 formal logic
  • 6 篇 semantics
  • 5 篇 temporal logic
  • 4 篇 optimization
  • 4 篇 programming tech...
  • 4 篇 algorithm analys...
  • 4 篇 knowledge repres...
  • 3 篇 fuzzy logic
  • 3 篇 programmable log...
  • 3 篇 higher-order log...
  • 3 篇 programming
  • 3 篇 symbolic and alg...
  • 3 篇 computer communi...

机构

  • 3 篇 new mexico state...
  • 2 篇 tu wien austria
  • 2 篇 tech univ munich...
  • 2 篇 eth dept comp sc...
  • 2 篇 institute of log...
  • 2 篇 katholieke univ ...
  • 2 篇 univ massachuset...
  • 2 篇 imdea software i...
  • 2 篇 michigan state u...
  • 2 篇 univ hawaii dept...
  • 2 篇 suny stony brook...
  • 2 篇 temple univ dept...
  • 1 篇 univ calabria de...
  • 1 篇 national institu...
  • 1 篇 escola politécni...
  • 1 篇 laboratoire pps ...
  • 1 篇 new mexico state...
  • 1 篇 university of te...
  • 1 篇 univ aizu grad s...
  • 1 篇 department of in...

作者

  • 3 篇 eiter thomas
  • 2 篇 pontelli e
  • 2 篇 giovannetti tani...
  • 2 篇 leone nicola
  • 2 篇 avrunin gs
  • 2 篇 sakama chiaki
  • 2 篇 yamaguchi takehi...
  • 2 篇 mehta f
  • 2 篇 fink m
  • 2 篇 woltran stefan
  • 2 篇 martono niken pr...
  • 2 篇 eiter t
  • 2 篇 serebrenik a
  • 2 篇 sciavicco guido
  • 2 篇 ohwada hayato
  • 2 篇 faber wolfgang
  • 2 篇 abe keisuke
  • 2 篇 nipkow t
  • 2 篇 dillon lk
  • 2 篇 inoue katsumi

语言

  • 182 篇 英文
  • 1 篇 其他
  • 1 篇 中文
检索条件"任意字段=19th International Conference on Logic Programming, ICLP 2003"
184 条 记 录,以下是71-80 订阅
排序:
Incremental tabling for query-driven propagation of logic program updates
Incremental tabling for query-driven propagation of logic pr...
收藏 引用
19th international conference on logic for programming, Artificial Intelligence, and Reasoning, LPAR 2013
作者: Saptawijaya, Ari Pereira, Luís Moniz Departamento de Informática Univ. Nova de Lisboa 2829-516 Caparica Portugal Fakultas Ilmu Komputer Universitas Indonesia Depok Indonesia
We foster a novel implementation technique for logic program updates, which exploits incremental tabling in logic programming - using XSB Prolog to that effect. Propagation of updates of fluents is controlled by initi... 详细信息
来源: 评论
An algorithm for enumerating maximal models of horn theories with an application to modal logics
An algorithm for enumerating maximal models of horn theories...
收藏 引用
19th international conference on logic for programming, Artificial Intelligence, and Reasoning, LPAR 2013
作者: Aceto, Luca Della Monica, Dario Ingólfsdóttir, Anna Montanari, Angelo Sciavicco, Guido ICE-TCS School of Computer Science Reykjavik University Reykjavik Iceland Department of Mathematics and Computer Science University of Udine Udine Italy Department of Information Engineering and Communications University of Murcia Murcia Spain
the fragment of propositional logic known as Horn theories plays a central role in automated reasoning. the problem of enumerating the maximal models of a Horn theory (MAXMOD) has been proved to be computationally har... 详细信息
来源: 评论
Multi-agent Based Approach of Botnet Detection in Computer Systems
Multi-agent Based Approach of Botnet Detection in Computer S...
收藏 引用
19th international conference on Computer Networks
作者: Savenko, Oleg Lysenko, Sergiy Kryschuk, Andriy Khmelnytskyi Natl Univ Inst Telecommun & Comp Syst Dept Syst Programming Khmelnytskyi Ukraine
A new approach for the botnet detection based on multi-agent system is proposed. For increasing of the efficiency of botnet detection multi-agent systems were involve that allowed to make antivirus diagnosis via agent... 详细信息
来源: 评论
Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations
Negotiation Strategies for Probabilistic Contracts in Web Se...
收藏 引用
IEEE international conference on Web Services (ICWS)
作者: Ajay Kattepur Albert Benveniste Claude Jard Equipe DistribCom IRISA/INRIA Campus Universitaire de Beaulieu Rennes France ENS Cachan Equipe DistribCom IRISA Université Européenne de Bretagne Bruz France
Service Level Agreements (SLAs) have been proposed in the context of web services to maintain acceptable quality of service (QoS) performance. this is specially crucial for composite service orchestrations that invoke... 详细信息
来源: 评论
System-level infrastructure for boot-time testing and configuration of networks-on-chip with programmable routing logic
System-level infrastructure for boot-time testing and config...
收藏 引用
2011 IEEE/IFIP 19th international conference on VLSI and System-on-Chip, VLSI-SoC 2011
作者: Ghiribaldi, Alberto Ludovici, Daniele Favalli, Michele Bertozzi, Davide ENDIF University of Ferrara 44100 Ferrara Italy
Networks-on-chip need to survive to manufacturing faults in order to sustain yield. An effective testing and configuration strategy however implies two opposite requirements. On one hand, a fast and scalable built-in ... 详细信息
来源: 评论
Inductive logic programming - 19th international conference, ILP 2009, Revised Papers
Inductive Logic Programming - 19th International Conference,...
收藏 引用
19th international conference on Inductive logic programming, ILP 2009
the proceedings contain 24 papers. the topics discussed include: knowledge-directed theory revision;towards clausal discovery for stream mining;on the relationship between logical Bayesian networks and probabilistic l...
来源: 评论
System-level infrastructure for boot-time testing and configuration of networks-on-chip with programmable routing logic
System-level infrastructure for boot-time testing and config...
收藏 引用
IFIP international conference on Very Large Scale Integration (VLSI-SoC)
作者: Alberto Ghiribaldi Daniele Ludovici Michele Favalli Davide Bertozzi ENDIF University of Ferrara Ferrara Italy
Networks-on-chip need to survive to manufacturing faults in order to sustain yield. An effective testing and configuration strategy however implies two opposite requirements. On one hand, a fast and scalable built-in ... 详细信息
来源: 评论
CP-logic theory Inference with Contextual Variable Elimination and Comparison to BDD Based Inference Methods
CP-Logic Theory Inference with Contextual Variable Eliminati...
收藏 引用
19th international conference on Inductive logic programming
作者: Meert, Wannes Struyf, Jan Blockeel, Hendrik Katholieke Univ Leuven Dept Comp Sci Louvain Belgium
there is a growing interest in languages that combine probabilistic models with logic to represent complex domains involving uncertainty. Causal probabilistic logic (CP-logic), which has been designed to model causal ... 详细信息
来源: 评论
On the Relationship between logical Bayesian Networks and Probabilistic logic programming Based on the Distribution Semantics
On the Relationship between Logical Bayesian Networks and Pr...
收藏 引用
19th international conference on Inductive logic programming
作者: Fierens, Daan Katholieke Univ Leuven Dept Comp Sci B-3001 Heverlee Belgium
A significant part of current research on (inductive) logic programming deals with probabilistic logical models. Over the last decade many logics or languages for representing such models have been introduced. there i... 详细信息
来源: 评论
Knowledge-Directed theory Revision
Knowledge-Directed Theory Revision
收藏 引用
19th international conference on Inductive logic programming
作者: Ali, Kamal Leung, Kevin Konik, Tolga Choi, Dongkyu Shapiro, Dan Stanford Univ Ctr Study Language & Informat Cognit Syst Lab Stanford CA 94305 USA
Using domain knowledge to speed up learning is widely accepted but theory revision of such knowledge continues to use general syntactic operators. Using such operators for theory revision of teleoreactive logic progra... 详细信息
来源: 评论