咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
***: A set of student's characteristics for modeling in adaptive programming tutoring systems
***: A set of student's characteristics for modeling in adap...
收藏 引用
International conference on Information, Intelligence, Systems and Applications (IISA)
作者: Konstantina Chrysafiadi Maria Virvou Department of Informatics University of Piraeus Piraeus Greece
In this paper a set of student's characteristics that have to be considered in an adaptive and/or personalized programming tutoring system is presented. this set is called *** and includes: knowledge, errors, moti... 详细信息
来源: 评论
Learning requirements analysis to software design transformation rules by examples: Limitations of current ILP systems
Learning requirements analysis to software design transforma...
收藏 引用
IEEE International conference on Software Engineering and Service Sciences (ICSESS)
作者: Hamdi A. Al-Jamimi Moataz A. Ahmed Information and Computer Science Department King Fahd University of Petroleum and Minerals Dhahran 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... 详细信息
来源: 评论
Learning Requirements Analysis to Software Design Transformation Rules by Examples:Limitations of Current ILP Systems
Learning Requirements Analysis to Software Design Transforma...
收藏 引用
2014 IEEE 5th International conference on Software Engineering and Service Science
作者: Hamdi A.Al-Jamimi Moataz A.Ahmed Information and Computer Science Department King Fahd University of Petroleum and Minerals Dhahran Saudi Arabia
Model transformation is defined as a central concept in model driven *** the transformation rules is nontrivial task,where it might be much easier for the experts to provide examples of the transformations rather than... 详细信息
来源: 评论
logic-based Benders decomposition to solve the permutation flowshop scheduling problem with time lags
Logic-based Benders decomposition to solve the permutation f...
收藏 引用
5th International conference on Modeling, Simulation and Applied Optimization (ICMSAO)
作者: Hamdi, Imen Loukil, Taicir Fac Econ Sci & Management Dept Quantitat Methods Sfax Tunisia
In this paper, we consider the problem of scheduling n jobs in an m-machine permutation flowshop with time lags between consecutive operations of each job. the processing order of jobs is the same for each machine. th... 详细信息
来源: 评论
Automatic Web Services Composition Using Maude Strategies
Automatic Web Services Composition Using Maude Strategies
收藏 引用
5th International conference on Modeling, Simulation and Applied Optimization (ICMSAO)
作者: Fateh, Latreche Hacene, Sebih Faiza, Belala Constantine 2 Univ LIRE Lab Constantine Algeria
Web services are modular, self-descriptive and loosely coupled applications;they provide a simple programming and deployment model. Besides, they are designed to interact with other services to form larger application... 详细信息
来源: 评论
Patterns for interfacing between logic programs and multiple ontologies
Patterns for interfacing between logic programs and multiple...
收藏 引用
5th International conference on Knowledge Engineering and Ontology Development, KEOD 2013
作者: Cruz-Filipe, Lúis Nunes, Isabel Gaspar, Graca Dept. of Maritime Engineering Escola Superior Ńautica Infante D. Henrique Paço d'Arcos Portugal CMAF Lisbon Portugal Dept. Informatics Faculty of Sciences University of Lisbon Lisbon Portugal LabMag Lisbon Portugal
Originally proposed in the mid-90s, design patterns for software development played a key role in objectoriented programming not only in increasing software quality, but also by giving a better understanding of the po... 详细信息
来源: 评论
Saturated semantics for coalgebraic logic programming
Saturated semantics for coalgebraic logic programming
收藏 引用
5th International conference on Algebra and Coalgebra in Computer Science, CALCO 2013
作者: Bonchi, Filippo Zanasi, Fabio U. de Lyon CNRS INRIA UCBL ENS Lyon France
A series of recent papers introduces a coalgebraic semantics for logic programming, where the behavior of a goal is represented by a parallel model of computation called coinductive tree. this semantics fails to be co... 详细信息
来源: 评论
Towards epistemic planning agents
Towards epistemic planning agents
收藏 引用
5th International conference on Agents and Artificial Intelligence, ICAART 2013
作者: Eppe, Manfred Dylla, Frank Department of Computer Science and Mathematics University of Bremen Bremen Germany Cognitive Systems SFB/TR8 Spatial Cognition University of Bremen Bremen Germany
We propose an approach for single-agent epistemic planning in domains with incomplete knowledge. We argue that on the one hand the integration of epistemic reasoning into planning is useful because it makes the use of... 详细信息
来源: 评论
A logic-programming semantics of services
A logic-programming semantics of services
收藏 引用
5th International conference on Algebra and Coalgebra in Computer Science, CALCO 2013
作者: Ţuţu, Ionuţ Fiadeiro, José Luiz Dept. Computer Science Royal Holloway University of London United Kingdom Institute of Mathematics of the Romanian Academy Research Group of the Project ID-3-0439 Romania
We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work provides semantics for the service overlay by abstracting concepts from logic programming. It draws a str... 详细信息
来源: 评论
Towards Practical Tabled Abduction Usable in Decision Making
收藏 引用
5th KES International conference on Intelligent Decision Technologies (KES-IDT)
作者: Saptawijaya, Ari Pereira, Luis Moniz Univ Indonesia Fak Ilmu Komputer Depok Indonesia Univ Nova Lisboa Fac Ciencias & Tecnol Dept Informat P-2829516 Caparica Portugal
Abduction as reasoning paradigm has been much explored in Artificial Intelligence, but not yet taken up by decision making as much as its potential warrants. Indeed, abduction permits the generation of hypothetical kn... 详细信息
来源: 评论